BPMN 2.0 Execution Semantics Formalized as Graph Rewrite Rules

Remco M. Dijkman, Pieter Van Gorp. BPMN 2.0 Execution Semantics Formalized as Graph Rewrite Rules. In Jan Mendling, Matthias Weidlich, Mathias Weske, editors, Business Process Modeling Notation - Second International Workshop, BPMN 2010, Potsdam, Germany, October 13-14, 2010. Proceedings. Volume 67 of Lecture Notes in Business Information Processing, pages 16-30, Springer, 2010. [doi]

Abstract

Abstract is missing.