We found a match
Your institution may have rights to this item. Sign in to continue.
- Title
FORMAL ANALYSIS OF BPMN MODELS:: A NuSMV-BASED APPROACH.
- Authors
LAM, VITUS S. W.
- Abstract
Business Process Modeling Notation (BPMN) plays a significant role in the specification of business processes. To ascertain the validity of BPMN models, a disciplined approach to analyze their behavior is of particular interest to the field of business process management. This paper advocates a semantics-preserving method for transforming BPMN models into New Symbolic Model Verifier (NuSMV) language as a means to verify the models. A subset of BPMN is specified rigorously in the form of a mathematical model. With this foundation in place, the translation for the subset of BPMN notational elements is then driven by a set of formally defined rules. The practicality of our approach is exemplified using an on-line flight reservation service.
- Subjects
BUSINESS mathematics; BUSINESS models; WORKFLOW; MATHEMATICAL statistics; WORK measurement; INFORMATION theory; MATHEMATICAL models
- Publication
International Journal of Software Engineering & Knowledge Engineering, 2010, Vol 20, Issue 7, p987
- ISSN
0218-1940
- Publication type
Article
- DOI
10.1142/S0218194010005079