%0 Conference Proceedings
%T Compositional Development of BPMN
%+ SDL Fredhopper
%A Wong, Peter, H.
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 12th International Conference on Software Composition (SC)
%C Budapest, Hungary
%Y Walter Binder
%Y Eric Bodden
%Y Welf Löwe
%I Springer
%3 Software Composition
%V LNCS-8088
%P 97-112
%8 2013-06-19
%D 2013
%R 10.1007/978-3-642-39614-4_7
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 2
%Z WG 2.4
%2 https://inria.hal.science/hal-01492779/document
%2 https://inria.hal.science/hal-01492779/file/978-3-642-39614-4_7_Chapter.pdf
%L hal-01492779
%U https://inria.hal.science/hal-01492779
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC2
%~ IFIP-LNCS-8088
%~ IFIP-SC
%~ IFIP-WG2-4