Journal ArticleDOI
A visual token-based formalization of BPMN 2.0 based on in-place transformations
Pieter Van Gorp,Remco M. Dijkman +1 more
TLDR
A BPMN 2.0 semantics formalization that is more complete and intuitive than existing formalizations and can be used by tool vendors for verifying conformance to the standard.Abstract:
Context: The Business Process Model and Notation (BPMN) standard informally defines a precise execution semantics. It defines how process instances should be updated in a model during execution. Existing formalizations of the standard are incomplete and rely on mappings to other languages. Objective: This paper provides a BPMN 2.0 semantics formalization that is more complete and intuitive than existing formalizations. Method: The formalization consists of in-place graph transformation rules that are documented visually using BPMN syntax. In-place transformations update models directly and do not require mappings to other languages. We have used a mature tool and test-suite to develop a reference implementation of all rules. Results: Our formalization is a promising complement to the standard, in particular because all rules have been extensively verified and because conceptual validation is facilitated (the informal semantics also describes in-place updates). Conclusion: Since our formalization has already revealed problems with the standard and since the BPMN is still evolving, the maintainers of the standard can benefit from our results. Moreover, tool vendors can use our formalization and reference implementation for verifying conformance to the standard.read more
Citations
More filters
Journal ArticleDOI
Bpmn 2.0
TL;DR: An analysis of the current state and evolution of BPMN2.0 support and implementation shows that the implementation of the standard is more or less concluded from the perspective of the implementers, suggesting that features which are not available by now will be implemented in the future.
Proceedings ArticleDOI
BPMN Conformance in Open Source Engines
TL;DR: An evaluation of the standard conformance of five open source BPEL engines is presented and it is demonstrated that full standard conformity in contemporary engines is still far from given.
Proceedings ArticleDOI
BPEL conformance in open source engines
TL;DR: This paper investigates the standard conformance of open source BPMN engines to provide a clear picture of the current state of the implementation of the Business Process Model and Notation, and develops a testing approach that allows to build fully BPMn-compliant tests and automatically execute these tests on different engines.
Journal ArticleDOI
A formal approach to modeling and verification of business process collaborations
TL;DR: This paper provides a direct formalization of the execution semantics of the OMG standard BPMN 2.0 in terms of Labeled Transition Systems to avoid possible miss-interpretations, and to overcome issues due to the mapping of the standard specification to other formal languages, which are equipped with their own semantics.
Proceedings ArticleDOI
BPMN Formalization and Verification using Maude
Nissreen El-Saber,Artur Boronat +1 more
TL;DR: This paper proposes a formal characterization and semantics specification of well-formed BPMN processes in rewriting logic using Maude with a focus on data-based decision gateways and data objects semantics.
References
More filters
Journal ArticleDOI
Petri nets: Properties, analysis and applications
TL;DR: The author proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis, and one section is devoted to marked graphs, the concurrent system model most amenable to analysis.
Journal ArticleDOI
Workflow Patterns
TL;DR: In this paper, the authors describe a number of workflow patterns addressing what they believe identify comprehensive workflow functionality and provide the basis for an in-depth comparison of commercial workflow management systems.
Book
The Theory and Practice of Concurrency
TL;DR: This book provides a detailed foundation for working with CSP, using as little mathematics as possible, and introduces the ideas behind operational, denotational and algebraic models of CSP.
Book ChapterDOI
Business Process Model and Notation—BPMN
TL;DR: The basics of the BPMN notation will be described—that is, the types of graphical shapes, their purpose, and how they work together as part of a Business Process Model/Diagram.
Reference BookDOI
Encyclopedia of Database Systems
Ling Liu,M. Tamer Zsu +1 more
TL;DR: This comprehensive reference contains 1,300 illustrated entries, organized alphabetically, providing easy access to important concepts relevant information on all aspects of very large databases, data management, and database systems, including areas of current interest and research results of historical significance.