<?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-01492779</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-20T23:06:51+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Compositional Development of BPMN</title>
            <author role="aut">
              <persName>
                <forename type="first">Peter</forename>
                <forename type="middle">H.</forename>
                <surname>Wong</surname>
              </persName>
              <email type="md5">cd2ad2cb92e821b2f6e8d0c3cd2370fb</email>
              <email type="domain">fredhopper.com</email>
              <idno type="idhal" notation="numeric">1004351</idno>
              <idno type="halauthorid" notation="string">1150903-1004351</idno>
              <affiliation ref="#struct-488223"/>
            </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-20 15:35:03</date>
              <date type="whenModified">2018-01-16 15:43:54</date>
              <date type="whenReleased">2017-03-20 15:37:45</date>
              <date type="whenProduced">2013-06-19</date>
              <date type="whenEndEmbargoed">2016-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01492779v1/document">
                <date notBefore="2016-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01492779v1/file/978-3-642-39614-4_7_Chapter.pdf" id="file-1492779-1556579">
                <date notBefore="2016-01-01"/>
              </ref>
              <ref type="externalLink" target="https://link.springer.com/content/pdf/10.1007%2F978-3-642-39614-4_7.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-01492779</idno>
            <idno type="halUri">https://inria.hal.science/hal-01492779</idno>
            <idno type="halBibtex">wong:hal-01492779</idno>
            <idno type="halRefHtml">&lt;i&gt;12th International Conference on Software Composition (SC)&lt;/i&gt;, Jun 2013, Budapest, Hungary. pp.97-112, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-642-39614-4_7"&gt;&amp;#x27E8;10.1007/978-3-642-39614-4_7&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">12th International Conference on Software Composition (SC), Jun 2013, Budapest, Hungary. pp.97-112, &amp;#x27E8;10.1007/978-3-642-39614-4_7&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1492779-1556579"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="IFIP-LNCS" corresp="IFIP">IFIP - Lecture Notes in Computer Science</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-TC2" corresp="IFIP-TC">IFIP TC 2: Software:Theory and Practice</idno>
            <idno type="stamp" n="IFIP-LNCS-8088" corresp="IFIP-LNCS">Software Composition</idno>
            <idno type="stamp" n="IFIP-SC">Software Composition</idno>
            <idno type="stamp" n="IFIP-WG2-4">Software Implementation Technology</idno>
          </seriesStmt>
          <notesStmt>
            <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">Compositional Development of BPMN</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Peter</forename>
                    <forename type="middle">H.</forename>
                    <surname>Wong</surname>
                  </persName>
                  <email type="md5">cd2ad2cb92e821b2f6e8d0c3cd2370fb</email>
                  <email type="domain">fredhopper.com</email>
                  <idno type="idhal" notation="numeric">1004351</idno>
                  <idno type="halauthorid" notation="string">1150903-1004351</idno>
                  <affiliation ref="#struct-488223"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>12th International Conference on Software Composition (SC)</title>
                  <date type="start">2013-06-19</date>
                  <date type="end">2013-06-19</date>
                  <settlement>Budapest</settlement>
                  <country key="HU">Hungary</country>
                </meeting>
                <editor>Walter Binder</editor>
                <editor>Eric Bodden</editor>
                <editor>Welf Löwe</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Software Composition</biblScope>
                  <biblScope unit="volume">LNCS-8088</biblScope>
                  <biblScope unit="pp">97-112</biblScope>
                  <date type="datePub">2013</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-642-39614-4_7</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</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>Business Process Modelling Notation (BPMN) intends to bridge the gap between business process design and implementation. Previously we provided a process semantics to a subset of BPMN in the language of Communicating Sequential Processes (CSP). This semantics allows developers to formally analyse and compare BPMN diagrams using CSP’s traces and failures refinements. In this paper we introduce a comprehensive set of operations for constructing BPMN diagrams, provide them a CSP semantics, and characterise the conditions under which the operations are monotonic with respect to CSP refinements, thereby allowing compositional development of business processes.</p>
            </abstract>
            <particDesc>
              <org type="consortium">TC 2</org>
              <org type="consortium">WG 2.4</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-488223" status="VALID">
          <orgName>SDL Fredhopper</orgName>
          <date type="start">2017-03-14</date>
          <desc>
            <address>
              <country key="GB"/>
            </address>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>