ABSTRACT
ABSTRACT: 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 patterns 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.
