Addis Gebremichael - Analysis of BPMN Models

The Business Process Modeling Notation (BPMN) is a standard notation for capturing business processes. The mix of constructs found in BPMN and the lack of an unambiguous definition of the notation makes it possible to create models with semantic errors. Hence, analysis of BPMN models is desirable. This paper, thus, gives a highlight to the basic constructs of BPMN and employs model driven engineering approach to provide denotational semantics by mapping BPMN onto a formal language, namely Petri nets, for which analysis techniques are available.