<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-01484688</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-21T02:39:04+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">An Application of the ψ-Theory to the Analysis of Business Process Models</title>
            <author role="aut">
              <persName>
                <forename type="first">Artur</forename>
                <surname>Caetano</surname>
              </persName>
              <email type="md5">a5c100255590dc9769bc2659a2baa29f</email>
              <email type="domain">ist.utl.pt</email>
              <idno type="idhal" notation="numeric">976739</idno>
              <idno type="halauthorid" notation="string">998290-976739</idno>
              <affiliation ref="#struct-341794"/>
              <affiliation ref="#struct-46348"/>
              <affiliation ref="#struct-487869"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Aurélio</forename>
                <surname>Assis</surname>
              </persName>
              <email type="md5">c827730a7f59062dbb6096a930ead2bd</email>
              <email type="domain">ist.utl.pt</email>
              <idno type="idhal" notation="numeric">1003591</idno>
              <idno type="halauthorid" notation="string">1145905-1003591</idno>
              <affiliation ref="#struct-341794"/>
              <affiliation ref="#struct-487869"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">José</forename>
                <surname>Borbinha</surname>
              </persName>
              <email type="md5">91724807d2e33cfdac46846844d64b9b</email>
              <email type="domain">ist.utl.pt</email>
              <idno type="idhal" notation="numeric">1003592</idno>
              <idno type="halauthorid" notation="string">527885-1003592</idno>
              <affiliation ref="#struct-341794"/>
              <affiliation ref="#struct-46348"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">José</forename>
                <surname>Tribolet</surname>
              </persName>
              <email type="md5">6626e084117090deb12f3f1e564f0382</email>
              <email type="domain">ist.utl.pt</email>
              <idno type="idhal" notation="numeric">1003593</idno>
              <idno type="halauthorid" notation="string">1145906-1003593</idno>
              <affiliation ref="#struct-341794"/>
              <affiliation ref="#struct-487869"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Hal</forename>
                <surname>Ifip</surname>
              </persName>
              <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2017-03-07 15:48:38</date>
              <date type="whenModified">2025-12-18 08:52:03</date>
              <date type="whenReleased">2017-03-07 16:51:56</date>
              <date type="whenProduced">2012-09-19</date>
              <date type="whenEndEmbargoed">2016-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01484688v1/document">
                <date notBefore="2016-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01484688v1/file/978-3-642-36611-6_24_Chapter.pdf" id="file-1484688-1550433">
                <date notBefore="2016-01-01"/>
              </ref>
              <ref type="externalLink" target="https://link.springer.com/content/pdf/10.1007%2F978-3-642-36611-6_24.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="200187">
                <persName>
                  <forename>Hal</forename>
                  <surname>Ifip</surname>
                </persName>
                <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01484688</idno>
            <idno type="halUri">https://inria.hal.science/hal-01484688</idno>
            <idno type="halBibtex">caetano:hal-01484688</idno>
            <idno type="halRefHtml">&lt;i&gt;6th Conference on Research and Practical Issues in Enterprise Information Systems (CONFENIS)&lt;/i&gt;, Sep 2012, Ghent, Belgium. pp.258-267, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-642-36611-6_24"&gt;&amp;#x27E8;10.1007/978-3-642-36611-6_24&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">6th Conference on Research and Practical Issues in Enterprise Information Systems (CONFENIS), Sep 2012, Ghent, Belgium. pp.258-267, &amp;#x27E8;10.1007/978-3-642-36611-6_24&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1484688-1550433"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="SHS">Sciences de l'Homme et de la Société</idno>
            <idno type="stamp" n="IFIP">IFIP - International Federation for Information Processing</idno>
            <idno type="stamp" n="IFIP-TC" corresp="IFIP">IFIP Technical Committees </idno>
            <idno type="stamp" n="IFIP-LNBIP" corresp="IFIP">LNBIP Proceedings</idno>
            <idno type="stamp" n="IFIP-WG" corresp="IFIP">Working Groups</idno>
            <idno type="stamp" n="IFIP-TC8" corresp="IFIP-TC">IFIP-TC8: Information Systems</idno>
            <idno type="stamp" n="IFIP-WG8-9" corresp="IFIP-WG">WG8-9: Enterprise Information Systems</idno>
            <idno type="stamp" n="IFIP-CONFENIS">IFIP-CONFENIS</idno>
            <idno type="stamp" n="IFIP-LNBIP-139" corresp="IFIP-LNBIP">Enterprise Information Systems of the Future</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Part 2: Short Papers</note>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">An Application of the ψ-Theory to the Analysis of Business Process Models</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Artur</forename>
                    <surname>Caetano</surname>
                  </persName>
                  <email type="md5">a5c100255590dc9769bc2659a2baa29f</email>
                  <email type="domain">ist.utl.pt</email>
                  <idno type="idhal" notation="numeric">976739</idno>
                  <idno type="halauthorid" notation="string">998290-976739</idno>
                  <affiliation ref="#struct-341794"/>
                  <affiliation ref="#struct-46348"/>
                  <affiliation ref="#struct-487869"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Aurélio</forename>
                    <surname>Assis</surname>
                  </persName>
                  <email type="md5">c827730a7f59062dbb6096a930ead2bd</email>
                  <email type="domain">ist.utl.pt</email>
                  <idno type="idhal" notation="numeric">1003591</idno>
                  <idno type="halauthorid" notation="string">1145905-1003591</idno>
                  <affiliation ref="#struct-341794"/>
                  <affiliation ref="#struct-487869"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">José</forename>
                    <surname>Borbinha</surname>
                  </persName>
                  <email type="md5">91724807d2e33cfdac46846844d64b9b</email>
                  <email type="domain">ist.utl.pt</email>
                  <idno type="idhal" notation="numeric">1003592</idno>
                  <idno type="halauthorid" notation="string">527885-1003592</idno>
                  <affiliation ref="#struct-341794"/>
                  <affiliation ref="#struct-46348"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">José</forename>
                    <surname>Tribolet</surname>
                  </persName>
                  <email type="md5">6626e084117090deb12f3f1e564f0382</email>
                  <email type="domain">ist.utl.pt</email>
                  <idno type="idhal" notation="numeric">1003593</idno>
                  <idno type="halauthorid" notation="string">1145906-1003593</idno>
                  <affiliation ref="#struct-341794"/>
                  <affiliation ref="#struct-487869"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Business Information Processing</title>
                <meeting>
                  <title>6th Conference on Research and Practical Issues in Enterprise Information Systems (CONFENIS)</title>
                  <date type="start">2012-09-19</date>
                  <date type="end">2012-09-21</date>
                  <settlement>Ghent</settlement>
                  <country key="BE">Belgium</country>
                </meeting>
                <editor>Geert Poels</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Enterprise Information Systems of the Future</biblScope>
                  <biblScope unit="volume">LNBIP-139</biblScope>
                  <biblScope unit="pp">258-267</biblScope>
                  <date type="datePub">2013</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-642-36611-6_24</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">BPMN</term>
                <term xml:lang="en">DEMO</term>
                <term xml:lang="en">ψ-theory</term>
                <term xml:lang="en">business transaction</term>
                <term xml:lang="en">business process modelling</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="shs.info">Humanities and Social Sciences/Library and information sciences</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>This paper presents a method to analyse the consistency and completeness of process models according to the principles of the ψ-theory and the underlying concept of business transaction. Transactions specify the collaborative behaviour between actors while services are being requested and provided. The method assesses the consistency of a process in terms of the business transactions that can be inferred from it. To do so, it takes as input a process model that is converted to a transactional model. The transactional model is then analysed and revised so that all transactions become consistent and complete according to the transactional pattern. This enables to identify the problems on the original process model and to prompt areas of improvement.</p>
            </abstract>
            <particDesc>
              <org type="consortium">TC 8</org>
              <org type="consortium">WG 8.9</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-341794" status="OLD">
          <orgName>Technical University of Lisbon</orgName>
          <date type="start">1930-01-01</date>
          <date type="end">2013-01-01</date>
          <desc>
            <address>
              <country key="PT"/>
            </address>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-46348" status="VALID">
          <orgName>Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa</orgName>
          <orgName type="acronym">INESC-ID</orgName>
          <desc>
            <address>
              <addrLine>Rua Alves Redol 9 - Apartado 13069 - 1000-029 Lisboa</addrLine>
              <country key="PT"/>
            </address>
            <ref type="url">http://www.inesc-id.pt/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-234799" type="direct"/>
            <relation active="#struct-1114557" type="indirect"/>
            <relation active="#struct-300952" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-487869" status="VALID">
          <orgName>INOV [Lisbon]</orgName>
          <date type="start">2017-03-13</date>
          <desc>
            <address>
              <addrLine>Rua Alves Redol, 91000-029 Lisbon</addrLine>
              <country key="PT"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-300952" type="direct"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-234799" status="VALID">
          <idno type="IdRef">032804172</idno>
          <idno type="ISNI">0000000417941114</idno>
          <idno type="ROR">https://ror.org/03db2by73</idno>
          <idno type="Wikidata">Q1636837</idno>
          <orgName>Instituto Superior Técnico (Universidade de Lisboa) [Lisboa]</orgName>
          <orgName type="acronym">IST / Técnico Lisboa</orgName>
          <date type="start">1911-05-23</date>
          <desc>
            <address>
              <addrLine>Campus Tecnológico e Nuclear – Pólo de Loures do IST – Estrada Nacional 10 – ao Km 139,7 – 2695-066 Bobadela LRS – Portugal</addrLine>
              <country key="PT"/>
            </address>
            <ref type="url">https://tecnico.ulisboa.pt/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-1114557" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-1114557" status="VALID">
          <idno type="IdRef">238704718</idno>
          <idno type="ISNI">0000 0001 2181 4263</idno>
          <idno type="ROR">https://ror.org/01c27hj86</idno>
          <idno type="Wikidata">Q1122926</idno>
          <orgName>Universidade de Lisboa = University of Lisbon = Université de Lisbonne [Lisboa]</orgName>
          <orgName type="acronym">ULISBOA</orgName>
          <desc>
            <address>
              <addrLine>Alameda da Universidade 1649-004 Lisboa</addrLine>
              <country key="PT"/>
            </address>
            <ref type="url">https://www.ulisboa.pt/en</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300952" status="VALID">
          <orgName>Instituto de Engenharia de Sistemas e Computadores</orgName>
          <orgName type="acronym">INESC</orgName>
          <desc>
            <address>
              <addrLine>Rua Alves Redol, n. 91000-029 Lisboa</addrLine>
              <country key="PT"/>
            </address>
            <ref type="url">http://www.inesc.pt/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>