Title :
Business process verification using a Formal Compositional Approach and Timed Automata
Author :
Morales, Luis E. Mendoza
Author_Institution :
Processes & Syst. Dept., Simon Bolivar Univ., Caracas, Venezuela
Abstract :
Several firms are defining their Business Processes (BPs) using the standard Business Process Model and Notation (BPMN). BPs modelled with BPMN are maintained and used by different workers within a company, thus the correctness of critical BPs should be validated and verified. In this work we present how Model Checking verification technique for software has been integrated within a Formal Compositional Verification Approach (FVCA) and Timed Automata (TA) to allow the automatic verification of critical BPs modelled with BPMN. The use of our FVCA support business analysts and designers in the formal specification of BP-task model with TA. The application of the FVCA is aimed at guaranteeing the correctness of the BP-task model with respect to initial properties specification derived from business rules. In order to show a practical use of our proposal and Uppaal tool, one instance of an enterprise-project related to Customer Relationship Management business is discussed.
Keywords :
business data processing; finite automata; formal specification; formal verification; software tools; BP-task model; BPMN; Business Process Model and Notation; FVCA; TA; UPPAAL tool; automatic verification; business process verification; business rules; customer relationship management business; enterprise-project; formal compositional verification approach; formal specification; model checking verification technique; timed automata; Adaptation models; Analytical models; Clocks; Computational modeling; Customer relationship management; Unified modeling language; Compositional verification; Critical Business Process; Model Checking; Task Model; Timed Automata;
Conference_Titel :
Computing Conference (CLEI), 2013 XXXIX Latin American
Conference_Location :
Naiguata
Print_ISBN :
978-1-4799-2957-3
DOI :
10.1109/CLEI.2013.6670616