On Utilizing Web Service Equivalence for Supporting the Composition Life Cycle

Deciding on Web service equivalence in process-aware service compositions is a crucial challenge throughout the composition life cycle. However, restricting such decisions to activity label equivalence is not sufficient for many practical applications: if two activities and Web services respectively have equivalent labels, does this necessarily mean they are equivalent as well? In many scenarios e.g., evolution of a composition schema or mining of completed composition instances, other factors also play an important role. Examples include context information e.g., input and output messages and information on the position of Web services within compositions. In this paper, the authors introduce the whole composition life cycle and discuss specific requirements for Web service equivalence along its different phases. The authors define adequate equivalence notions for the design, execution, analysis, and evolution of service compositions. This paper focuses on attribute and position equivalence and contributes a new understanding and treatment of equivalence notions in service compositions.

[1]  Manfred Reichert,et al.  Data-Driven Modeling and Coordination of Large Process Structures , 2007, OTM Conferences.

[2]  Frank Leymann,et al.  Business process choreography in WebSphere: Combining the power of BPEL and J2EE , 2004, IBM Syst. J..

[3]  Wil M. P. van der Aalst,et al.  Process Equivalence: Comparing Two Process Models Based on Observed Behavior , 2006, Business Process Management.

[4]  Yigal Hoffner,et al.  Web services and matchmaking , 2003, Int. J. Netw. Virtual Organisations.

[5]  Peter Dadam,et al.  Disjoint and Overlapping Process Changes: Challenges, Solutions, Applications , 2004, CoopIS/DOA/ODBASE.

[6]  Manfred Reichert,et al.  On Measuring Process Model Similarity Based on High-Level Change Operations , 2007, ER.

[7]  Stefanie Rinderle-Ma,et al.  Change patterns and change support features - Enhancing flexibility in process-aware information systems , 2008, Data Knowl. Eng..

[8]  Wil M. P. van der Aalst,et al.  Semantic Process Mining Tools: Core Building Blocks , 2008, ECIS.

[9]  C. Peltz,et al.  Web Services Orchestration and Choreography , 2003, Computer.

[10]  Wil M. P. van der Aalst,et al.  Process Mining in Web Services: The WebSphere Case , 2008, IEEE Data Eng. Bull..

[11]  Peter Dadam,et al.  Integration and verification of semantic constraints in adaptive process management systems , 2008, Data Knowl. Eng..

[12]  Hector Garcia-Molina,et al.  Efficient Snapshot Differential Algorithms for Data Warehousing , 1996, VLDB.

[13]  Peter Fettke,et al.  Business Process Modeling Notation , 2008, Wirtschaftsinf..

[14]  Erhard Rahm,et al.  A survey of approaches to automatic schema matching , 2001, The VLDB Journal.

[15]  Philip Bille,et al.  A survey on tree edit distance and related problems , 2005, Theor. Comput. Sci..

[16]  Vipin Kumar,et al.  Introduction to Data Mining, (First Edition) , 2005 .

[17]  Jun Sun,et al.  A Formal Semantic Model of the Semantic Web Service Ontology (WSMO) , 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).

[18]  Jan Verelst,et al.  When are two Workflows the Same? , 2005, CATS.

[19]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[20]  A. Wombacher,et al.  Soundness and Equivalence of Petri Nets and annotated Finite State Automate: A Comparison in the SOA context , 2007, 2007 Inaugural IEEE-IES Digital EcoSystems and Technologies Conference.

[21]  Rob J. van Glabbeek,et al.  Branching time and abstraction in bisimulation semantics , 1996, JACM.

[22]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

[23]  Stefanie Rinderle-Ma,et al.  Providing Integrated Life Cycle Support in Process-Aware Information Systems , 2009, Int. J. Cooperative Inf. Syst..

[24]  Noriaki Izumi,et al.  Coordinating Web Services based on business models , 2003, ICEC '03.

[25]  Stefanie Rinderle-Ma,et al.  Managing the Life Cycle of Access Rules in CEOSIS , 2008, 2008 12th International IEEE Enterprise Distributed Object Computing Conference.

[26]  Wil M. P. van der Aalst,et al.  Process mining: a research agenda , 2004, Comput. Ind..

[27]  Peter Dadam,et al.  Correctness criteria for dynamic changes in workflow systems - a survey , 2004, Data Knowl. Eng..

[28]  Stefanie Rinderle-Ma,et al.  Data-Driven Process Control and Exception Handling in Process Management Systems , 2006, CAiSE.

[29]  Erich J. Neuhold,et al.  IPSI-PF: a business process matchmaking engine , 2004, Proceedings. IEEE International Conference on e-Commerce Technology, 2004. CEC 2004..

[30]  Mike P. Papazoglou,et al.  Service components for managing the life-cycle of service compositions , 2004, Inf. Syst..

[31]  Fabio Casati,et al.  Workflow Evolution , 1996, ER.

[32]  W.M.P. van der Aalst,et al.  Don't go with the flow: web services composition standards exposed , 2003 .

[33]  Stefanie Rinderle-Ma,et al.  Schema Evolution in Process Management Systems , 2004, Encyclopedia of Database Systems.

[34]  Stefanie Rinderle-Ma,et al.  Equivalence of Web Services in Process-Aware Service Compositions , 2009, 2009 IEEE International Conference on Web Services.

[35]  Manfred Reichert,et al.  Analyzing Impact Factors on Composite Services , 2009, 2009 IEEE International Conference on Services Computing.

[36]  Manfred Reichert,et al.  The ADEPT project: a decade of research and development for robust and flexible process support , 2009, Computer Science - Research and Development.

[37]  Wil M. P. van der Aalst,et al.  Inheritance of workflows: an approach to tackling problems related to change , 2002 .

[38]  Wil M. P. van der Aalst,et al.  Translating BPMN to BPEL , 2006 .

[39]  Shlomit S. Pinter,et al.  Discovering workflow models from activities' lifespans , 2004, Comput. Ind..

[40]  Peter Dadam,et al.  On the Modeling of Correct Service Flows with BPEL4WS , 2004, EMISA.

[41]  van der Wmp Wil Aalst,et al.  Process Mining , 2005, Process-Aware Information Systems.

[42]  Manfred Reichert,et al.  Unleashing the Effectiveness of Process-Oriented Information Systems: Problem Analysis, Critical Success Factors, and Implications , 2008, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[43]  Manfred Reichert,et al.  Discovering Reference Process Models by Mining Process Variants , 2008, 2008 IEEE International Conference on Web Services.

[44]  Peter Dadam,et al.  Towards Truly Flexible and Adaptive Process-Aware Information Systems , 2008, UNISCON.

[45]  Janni Nielsen,et al.  European Conference on Information Systems (ECIS) , 2008 .

[46]  Manfred Reichert,et al.  Discovering Reference Models by Mining Process Variants Using a Heuristic Approach , 2009, BPM.

[47]  Omer F. Rana,et al.  Ontology-based semantic matchmaking approach , 2007, Adv. Eng. Softw..

[48]  Boudewijn F. van Dongen,et al.  Process Mining and Verification of Properties: An Approach Based on Temporal Logic , 2005, OTM Conferences.

[49]  Jan Recker,et al.  Using process mining to learn from process changes in evolutionary systems , 2008, Int. J. Bus. Process. Integr. Manag..

[50]  Peter Dadam,et al.  Flexible Support of Team Processes by Adaptive Workflow Systems , 2004, Distributed and Parallel Databases.

[51]  Andreas Wombacher,et al.  Evolution of Process Choreographies in DYCHOR , 2006, OTM Conferences.

[52]  Stefanie Rinderle-Ma,et al.  Relaxed Compliance Notions in Adaptive Process Management Systems , 2008, ER.

[53]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2003, Distributed and Parallel Databases.

[54]  Manfred Reichert,et al.  What are the Problem Makers: Ranking Activities According to their Relevance for Process Changes , 2009, 2009 IEEE International Conference on Web Services.

[55]  Quan Z. Sheng,et al.  The Self-Serv Environment for Web Services Composition , 2003, IEEE Internet Comput..

[56]  Manfred Reichert,et al.  Monitoring Dependencies for SLAs: The MoDe4SLA Approach , 2008, 2008 IEEE International Conference on Services Computing.

[57]  Andreas Wombacher,et al.  Evaluation of Workflow Similarity Measures in Service Discovery , 2006, Service Oriented Electronic Commerce.