Automatic Analysis of Inconsistencies in Inter-Enterprise Business Processes: Introducing a Formal Adaptation Patterns Catalog

Business process management determines the activities of organizations that create value for customers. One of the main challenges in business processes management emerges when organizations are cooperating and their business processes are being combined. Although enterprise architecture can be helpful in this context and plays an important role in integrating business processes, the existence of potential inconsistencies in the processes of two different businesses points to need for adaptive patterns to resolve these inconsistencies. This study aims to identify some of these inconsistencies through experts’ opinions and proposes adaptive patterns to detect and resolve these inconsistencies to integrate inter-enterprise business processes. To model these patterns, Alloy modelling language is used to present a model and automatically detect business processes integration inconsistencies and introduce the solutions. The findings showed that inconsistencies detection has higher accuracy and speed relative to other modelling methods.