Compositional Development of BPMN

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-01492779
Contributor : Hal Ifip <>
Submitted on : Monday, March 20, 2017 - 3:35:03 PM
Last modification on : Tuesday, January 16, 2018 - 3:43:54 PM
Long-term archiving on : Wednesday, June 21, 2017 - 1:20:26 PM

File

978-3-642-39614-4_7_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Peter Wong. Compositional Development of BPMN. 12th International Conference on Software Composition (SC), Jun 2013, Budapest, Hungary. pp.97-112, ⟨10.1007/978-3-642-39614-4_7⟩. ⟨hal-01492779⟩

Share

Metrics

Record views

63

Files downloads

135