Investigating Completeness of Coding in Business Process Model and Notation

Autor: Carlos Habekost dos Santos, Lucinéia Heloisa Thom, Marcelo Fantinato
Rok vydání: 2015
Předmět:
Zdroj: ICEIS (3)
DOI: 10.5220/0005464603280333
Popis: One of the ways to represent a business process graphically is using the Business Process Model and Notation (BPMN). One of the things defined by the BPMN specification is a textual rule and a correspondent XML Schema for each notational element. However, there are some limitations regarding textual rules of notational elements and their XML Schema. For example, the XML Schema of end event element do not have any control to not connect any element after it, which can lead to a modeling issue. This paper introduces an approach to increment the XML Schema in a set of notational elements. The approach considers the BPMN textual rules and compares with the current XML schema, proposed by BPMN. To evaluate the approach, we will develop a prototype, to verify the completeness of the developed XML Schema allows better understanding compared with the current schema and will use mathematical formalism to verify the correctness of this new schema. We expect that our approach facilitate the understanding of business process by users and minimize possible implementation problems (e.g. deadlocks, lack of synchronization, livelocks, etc). Altogether, the results of this research can be interesting for users who want develop the BPM tools.
Databáze: OpenAIRE