Using Business Transactions to Analyse the Consistency of Business Process Models

This paper presents a method to analyse the consistency of a process model according to business transactions. Business transactions focus on specifying the pattern-based behaviour resulting from the collaboration between actors and systems while services and products are being requested and provided. The method makes possible assessing the consistency of a business process in terms of the business transactions that can be inferred from it. To do so, it takes as input a process model that is converted to a transactional model. The transactional model is then analysed and revised so that all transactions become consistent according to the pat-terns of DEMO. Finally, the original process model is revised to comply with the transactional model. As a result, the revised business process becomes consistent with the corresponding transactional model.