A Rigorous Semantics for BPMN 2.0 Process Diagrams

This book provides the most complete formal specification of the semantics of the Business Process Model and Notation  (BPMN) 2.0 standard 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...

Full description

Main Authors: Kossak, Felix. (Author, http://id.loc.gov/vocabulary/relators/aut), Illibauer, Christa. (http://id.loc.gov/vocabulary/relators/aut), Geist, Verena. (http://id.loc.gov/vocabulary/relators/aut), Kubovy, Jan. (http://id.loc.gov/vocabulary/relators/aut), Natschläger, Christine. (http://id.loc.gov/vocabulary/relators/aut), Ziebermayr, Thomas. (http://id.loc.gov/vocabulary/relators/aut), Kopetzky, Theodorich. (http://id.loc.gov/vocabulary/relators/aut), Freudenthaler, Bernhard. (http://id.loc.gov/vocabulary/relators/aut), Schewe, Klaus-Dieter. (http://id.loc.gov/vocabulary/relators/aut)
Corporate Author: SpringerLink (Online service)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2014.
Edition:1st ed. 2014.
Subjects:
Online Access:https://doi.org/10.1007/978-3-319-09931-6