Integrity Checking Rules for Independent Changes of Collaboration Processes

Traditional business process management systems provide verification tools of process models to deploy and automate the models. However, there are not so many studies on how to maintain systematically collaborative process models such as supply chain processes when companies are willing to change and update the collaborative process models. In this paper, we analyze change patterns of collaborative pro-cesses and declare 19 change patterns. In addition, we apply the change patterns to the process interopera-bility patterns in order to identify the change problems in case of independent process changes of colla-borative processes. As a result, we devise an independency checking algorithm of process changes in colla-borative processes.