Toward a Formal Semantics for Control-Flow Process Models
Henry H. Bi, John Nolt. 2012. Toward a Formal Semantics for Control-Flow Process Models. Journal of Database Management (1063-8016). 23(2): 72-97. DOI: 10.4018/jdm.2012040104
26 Pages Posted: 22 Jul 2015 Last revised: 26 Apr 2019
Date Written: February 29, 2012
A number of information systems have been developed to automate business processes. For process modeling, verification, and automation in information systems, a formal semantics of control-flow process models is needed. Usually process modeling languages (e.g., BPMN, EPC, IDEF3, UML, and WfMC standards) are used to represent control-flow process models. When these process modeling languages are developed, their informal semantics are typically described using examples, but their formal semantics are not defined. Although many different semantics for control-flow process models have been proposed, the existing semantics specifications have limitations because they do not support certain desirable features. In this paper, we propose a new formal semantics for control-flow process models. We show that it is more accurate, complete, and applicable than the existing semantics specifications.
Keywords: Control-Flow Process Models, Desirable Features, Formal Semantics, Formalization Principles, Information Systems
JEL Classification: C88
Suggested Citation: Suggested Citation