Behavioral analysis of web services for supporting mediated service interoperations

ABSTRACT

Web service interoperations have triggered a growing interest in analyzing compatibility and similarity for public processes. However, current approaches are limited since they mainly focus on control-flow but largely ignore data-flow. This ignorance causes that they improperly regard public processes, which can interact with or be replaced by each other with the help of process mediators, as incompatible or different. To address these problems, we propose a novel approach to check compatibility and similarity of public processes considering both control-flow and data-flow. We firstly generate scenarios and views to describe a public process. Then the degree of compatibility and similarity of public processes are computed based on pairwise compatibility or similarity of their views. Our approach will benefit service modelers and users not only for a better understanding of public processes, but also for checking compatibility and similarity of public processes, which will further identify and solve mismatches, and thus facilitate Web service interoperations.

REFERENCES

• 1: Wombacher, A. 2005. Decentralized establishment of consistent, multi-lateral collaborations. Doctoral Thesis at Facultiy of Informatics, Technical University Darmstad.
• 2: Axel Martens, A. 2003. On Compatibility of Web Service. AWPN2003. 65 (2003) 12--20.
• 3: Martens, A. 2005. Analyzing Web Service based Business Processes. In Proc. of FASE'05.
• 4: Bendick Mahleko , Andreas Wombacher, Indexing Business Processes based on Annotated Finite State Automata, Proceedings of the IEEE International Conference on Web Services, p.303-311, September 18-22, 2006 [doi>10.1109/ICWS.2006.74]
• 5: Boualem Benatallah , Fabio Casati , Farouk Toumani , Julien Ponge , Hamid Reza Motahari Nezhad, Service Mosaic: A Model-Driven Framework for Web Services Life-Cycle Management, IEEE Internet Computing, v.10 n.4, p.55-63, July 2006 [doi>10.1109/MIC.2006.87]
• 6: Boualem Benatallah , Fabio Casati , Farouk Toumani, Representing, analysing and managing web service protocols, Data & Knowledge Engineering, v.58 n.3, p.327-357, September 2006 [doi>10.1016/j.datak.2005.07.006]
• 7: Fensel, D. and Bussler, C. 2002. The Web Service Modeling Framework WSMF. Electronic Commerce Research and Applications. 2002, 113--137.
• 8: Issam Chebbi , Schahram Dustdar , Samir Tata, The view-based approach to dynamic inter-organizational workflow cooperation, Data & Knowledge Engineering, v.56 n.2, p.139-173, February 2006 [doi>10.1016/j.datak.2005.03.008]
• 9: Jan Hidders , Marlon Dumas , Wil M. P. van der Aalst , Arthur H. M. ter Hofstede , Jan Verelst, When are two workflows the same?, Proceedings of the 2005 Australasian symposium on Theory of computing, p.3-11, January 01, 2005, Newcastle, Australia
• 10: Zdravkovic, J. 2006. Process Integration for the Extended Enterprise, Doctoral Thesis at Royal Institute of Technology.
• 11: Jos de Bruijn, J., Bussler, C. and Domingue, J. 2006. D2v1.3. Web Service Modeling Ontology. Available at http://www.wsmo.org/TR/d2/v1.3/.
• 12: Kwang-Hoon Kim, Control-path Oriented Workflow Intelligence Analysis on EnterprizeWorkflow Grids, Proceedings of the First International Conference on Semantics, Knowledge and Grid, p.32, November 27-29, 2005 [doi>10.1109/SKG.2005.58]
• 13: Bordeaux, L., Salaun, G., Berardi, D. and Mecella, M. 2004. When are Two Web Services Compatible? In Proc. of Workshop at TES 2004.
• 14: Martin, D. etc. 2006. OWL-S: Semantic Markup for Web Services. http://www.ai.sri.com/daml/services/owl/1.2/.
• 15: Wu, Q., Pul, C., Sahai, A. and Barga, R. 2007. Categorization and Optimization of Synchronization Dependencies in Business Processes., In Proc. of ICDE'07.
• 16: Rob J. van Glabbeek , W. Peter Weijland, Branching time and abstraction in bisimulation semantics, Journal of the ACM (JACM), v.43 n.3, p.555-600, May 1996 [doi>10.1145/233551.233556]
• 17: Liu, R. and Kumar, A. 2005. An analysis and taxonomy of unstructured workflows. In Proc. of BPM'05.
• 18: Keller, U., Lausen, H. and Stollberg, M. 2006. On the Semantics of Functional Descriptions of Web Services. In Proc. of ESWC'06.
• 19: W. M. P. Van der Aalst, Modeling and Analyzing Interorganizational Workflows, Proceedings of the 1998 International Conference on Application of Concurrency to System Design, p.262, March 23-26, 1998
• 20: Wil M. P. van der Aalst , Kristian Bisgaard Lassen, Translating unstructured workflow processes to readable BPEL: Theory and implementation, Information and Software Technology, v.50 n.3, p.131-159, February, 2008 [doi>10.1016/j.infsof.2006.11.004]
• 21: van der Aalst, W. M. P., de Medeiros, A. K. A. and Weijters, A. J. M. M. 2006. Process Equivalence: Comparing Two Process Models Based on Observed Behavior. In Proc. of BPM'06.
• 22: Zhao, X. and Liu, C. 2006. Tracking over Collaborative Business Processes. In Proc. of BPM '06.
• 23: Hao, Y., Zhang, Y. and Cao, J. 2007. WSXplorer: Searching for Desired Web Services., In Proc. of CAiSE'07.
• 24: Yuliang Shi , Liang Zhang , Fangfang Liu , Lili Lin , Baile Shi, Compatibility Analysis of Web Services, Proceedings of the 2005 IEEE/WIC/ACM International Conference on Web Intelligence, p.483-486, September 19-22, 2005 [doi>10.1109/WI.2005.50]

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.4 INFORMATION SYSTEMS APPLICATIONS
      H.4.1 Office Automation

General Terms:
Algorithms, Design

Keywords:
compatibility, public process, similarity, web services