LAUSR

Service-oriented computing paradigm and web service technologies facilitate cross-organizational cooperation. The business processes of involved organizations are referred to as service-based business processes (SBPs). The dynamic nature makes SBPs subject to changes in the internal and external requirements. It is critical to have a method to manage changes in SBPs. In this work, we propose a Petri net-based model with the correctness verification capability for modeling. We also identify a set of SBP change patterns. An SBP change management framework is proposed with a demonstration. Even though the problem of change management has been extensively studied in BPM field and web service field, existing approaches are limited to deal with the diversity of the SBP components and the complexity of the dependencies among these components.