A Rigorous Semantics for BPMN 2.0 Process Diagrams

图书作者: Felix Kossak , Christa Illibauer , Verena Geist , Jan Kubovy , Christine Natschläger , Thomas Ziebermayr , Theodorich Kopetzky , Bernhard Freudenthaler , Klaus-Dieter Schewe
出版社: Springer
P-ISBN: 9783319385235
E-ISBN: 9783319099316
摘要: This book provides the most complete formal specification of the semantics of the Business Process Model and Notation 2.0 standard (BPMN) available to date, in a style that is easily understandable for a wide range of readers – not only for experts in formal methods, but e.g. also for developers of modeling tools, software architects, or graduate students specializing in business process management.
DOI: https://doi.org/10.1007/978-3-319-09931-6