Authors:
Anass Rachdi
;
Abdeslam En-Nouaary
and
Mohamed Dahchour
Affiliation:
Institut National des Postes et Télécommunications, Morocco
Keyword(s):
BPMN, Business Process Modeling, Formal Verification, Dataflow Anti-patterns, Information Systems.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
e-Business
;
Enterprise Engineering
;
Enterprise Information Systems
;
Information Systems Analysis and Specification
;
Knowledge Management and Information Sharing
;
Knowledge-Based Systems
;
Modeling of Distributed Systems
;
Semiotics
;
Symbolic Systems
Abstract:
Business Process Management and Notation (BPMN) is the defacto standard used in enterprises for modeling business processes.However, this standard was not provided with a formal semantics, which makes the possibility of analysis limited to informal approaches such as observation. While most of the existing formal approaches for BPMN models verification focus on the control-flow, only few has treated the data-flow angle. The latter is important since the correct execution of activities in BPMN models is based on data’s availability and correctness. In this paper, we present a new approach that uses the DataRecord concept, adapted for the BPMN standard. The main advantage of our approach is that it locates the stage where the data flow anomaly has taken place as well as the source of data flow problem. Therefore the designer can easily correct the data flow anomaly.The model’s data flow problems are detected using an algorithm specific for the BPMN standard.