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.
Type de document :
Communication dans un congrès
Walter Binder; Eric Bodden; Welf Löwe. 12th International Conference on Software Composition (SC), Jun 2013, Budapest, Hungary. Springer, Lecture Notes in Computer Science, LNCS-8088, pp.97-112, 2013, Software Composition. 〈10.1007/978-3-642-39614-4_7〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01492779
Contributeur : Hal Ifip <>
Soumis le : lundi 20 mars 2017 - 15:35:03
Dernière modification le : mardi 16 janvier 2018 - 15:43:54
Document(s) archivé(s) le : mercredi 21 juin 2017 - 13:20:26

Fichier

978-3-642-39614-4_7_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Peter Wong. Compositional Development of BPMN. Walter Binder; Eric Bodden; Welf Löwe. 12th International Conference on Software Composition (SC), Jun 2013, Budapest, Hungary. Springer, Lecture Notes in Computer Science, LNCS-8088, pp.97-112, 2013, Software Composition. 〈10.1007/978-3-642-39614-4_7〉. 〈hal-01492779〉

Partager

Métriques

Consultations de la notice

24

Téléchargements de fichiers

28