Abstract
In this paper we focus on filling the gap between the formal Business Process Model and Notation (BPMN) Abstract State Machine (ASM) ground model[1, 3] and a Workflow Interpreter (WI) implementation. For that purpose we use an execution context concept and notification concept, a refinement of triggers (event definitions)[4].
Chapter PDF
References
Börger, E., Sörensen, O.: BPMN core modeling concepts: Inheritance-based execution semantics. In: Embley, D., Thalheim, B. (eds.) Handbook of Conceptual Modeling: Theory, Practice and Research Challenges. Springer (2011)
Börger, E., Stärk, R.: Abstract state machines: a method for high-level system design and analysis. Springer (2003)
Börger, E., Thalheim, B.: Modeling workflows, interaction patterns, web services and business processes: The ASM-based approach. In: Börger, E., Butler, M., Bowen, J.P., Boca, P. (eds.) ABZ 2008. LNCS, vol. 5238, pp. 24–38. Springer, Heidelberg (2008)
OMG, Business process model and notation (BPMN) 2.0 (2011), http://www.omg.org/spec/BPMN/2.0
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kubovy, J., Küng, J. (2013). Notification Concept for BPMN Workflow Interpreter Using the ASM Method. In: Moreno-Díaz, R., Pichler, F., Quesada-Arencibia, A. (eds) Computer Aided Systems Theory - EUROCAST 2013. EUROCAST 2013. Lecture Notes in Computer Science, vol 8111. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-53856-8_57
Download citation
DOI: https://doi.org/10.1007/978-3-642-53856-8_57
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-53855-1
Online ISBN: 978-3-642-53856-8
eBook Packages: Computer ScienceComputer Science (R0)