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

See all articles by Henry H. Bi

Henry H. Bi

Willamette University - Atkinson Graduate School of Management

John Nolt

University of Tennessee, Knoxville - Department of Philosophy

Date Written: February 29, 2012

Abstract

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

Bi, Henry H. and Nolt, John, Toward a Formal Semantics for Control-Flow Process Models (February 29, 2012). 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, Available at SSRN: https://ssrn.com/abstract=2633794

Henry H. Bi (Contact Author)

Willamette University - Atkinson Graduate School of Management ( email )

900 State Street
Salem, OR 97301
United States

HOME PAGE: http://willamette.edu/mba/faculty-research/faculty/bi/index.html

John Nolt

University of Tennessee, Knoxville - Department of Philosophy ( email )

801 McClung Tower
Knoxville, TN 37996
United States

Here is the Coronavirus
related research on SSRN

Paper statistics

Downloads
12
Abstract Views
377
PlumX Metrics