Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A Rigorous Semantics for BPMN 2.0 Process DiagramsA Rigorous Semantics for BPMN 2.0 Process Diagrams

A Rigorous Semantics for BPMN 2.0 Process Diagrams: A Rigorous Semantics for BPMN 2.0 Process... [In this chapter we present an Abstract State Machine (ASM)Abstract state machines (ASMs) ground model designed to rigorously specify the semantics of Business Process Model and Notation (BPMN)Business Process Model and Notation (BPMN) Process Diagrams, based on the BPMNBusiness Process Model and Notation (BPMN) 2.0 standard [95]. However, we deviate from the standard in several points, having identified several inconsistencies as well as ambiguities there. Moreover, we are not convinced that every construct in the standard is really helpful. We discuss these issues in detail.] http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png

Loading next page...
 
/lp/springer-journals/a-rigorous-semantics-for-bpmn-2-0-process-diagrams-a-rigorous-jNjjMqjBBO

References (0)

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
Springer International Publishing
Copyright
© Springer International Publishing Switzerland 2014
ISBN
978-3-319-09930-9
Pages
29 –152
DOI
10.1007/978-3-319-09931-6_4
Publisher site
See Chapter on Publisher Site

Abstract

[In this chapter we present an Abstract State Machine (ASM)Abstract state machines (ASMs) ground model designed to rigorously specify the semantics of Business Process Model and Notation (BPMN)Business Process Model and Notation (BPMN) Process Diagrams, based on the BPMNBusiness Process Model and Notation (BPMN) 2.0 standard [95]. However, we deviate from the standard in several points, having identified several inconsistencies as well as ambiguities there. Moreover, we are not convinced that every construct in the standard is really helpful. We discuss these issues in detail.]

Published: Nov 3, 2014

Keywords: Process Instance; Abstract Rule; Correlation Information; Sequence Flow; Abstract State Machine

There are no references for this article.