Take a look at the new version of this page: [ beta version ]. Tell us what you think.

ABSTRACT

Designing web services-based processes (WSP) requires striking the balance between intuitive and easy to understand process representation for the interactive domain user and consolidated formal mathematical specification. An easy to understand process representation facilitates conformance of process correctness where as the formal mathematical specification ensures formal verification of service orchestration for executing the process. Orchestration of services involves overall service design, service selection, and composition of services to achieve the overall goal. In this paper we present a novel approach to service orchestration that combines an effective diagrammatic modeling, an appropriate formal framework and an implementation process for dynamic WSP and complex web service composition and verification. Specifically we introduce a new approach for WSP design and verification comprising of service orchestration using High Level Message Sequence Charts (HMSC) and Colored Petri Nets (CP Nets) that provides a methodology for analysis and verification at a process level as well as the service level.

REFERENCES

• 1: van der Aalst, W. M. P., Jørgensen, J. B., and Lassen, K. B. Let's Go All the Way: From Requirements via Colored Workflow Nets to a BPEL Implementation of a New Bank System. In Proc. CoopIS'05) Agia Napa, Cyprus, 2005
• 2: Marco Aiello , Mike P. Papazoglou , Jian Yang , M. Carman , Marco Pistore , Luciano Serafini , Paolo Traverso, A Request Language for Web-Services Based on Planning and Constraint Satisfaction, Proceedings of the Third International Workshop on Technologies for E-Services, p.76-85, August 23-24, 2002
• 3: ter Beek, M. H., Bucchiarone, A., and Gnesi, S. A Survey on Service Composition Approaches: From Industrial Standards to Formal Methods. Technical Report 2006-TR-15, 2006.
• 4: Cheung, R. C. A User Oriented Software Reliability Model. In IEEE Trans. on Software Engg., volume 6(2), 1980
• 5: Foster, H., Uchitel, S., Magee, J., and Kramer, J. Model-based Verification of Web Service Compositions. Presented at Eighteenth IEEE ASE-03, 2003.
• 6: Rachid Hamadi , Boualem Benatallah, A Petri net-based model for web service composition, Proceedings of the 14th Australasian database conference, p.191-200, February 01, 2003, Adelaide, Australia
• 7: Haugen, Â. Comparing UML 2.0 Interactions and MSC-2000. In SAM, pages 65--79, 2004
• 8: Rodrigues, G. N., Rosenblum, D. S. and Uchitel, S. Using scenarios to predict the reliability of concurrent component-based software systems. In FASE-05, pp. 111--126, 2005.
• 9: Winkelmann, K., and Luczak, H., Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri Nets. In Proc. ICATPN 2006, 2006, 362--380
• 10: Jian Yang , Mike P. Papazoglou, Web Component: A Substrate for Web Service Reuse and Composition, Proceedings of the 14th International Conference on Advanced Information Systems Engineering, p.21-36, May 27-31, 2002
• 11: YanPing Yang , QingPing Tan , Yong Xiao, Verifying web services composition based on hierarchical colored petri nets, Proceedings of the first international workshop on Interoperability of heterogeneous information systems, November 04-04, 2005, Bremen, Germany [doi>10.1145/1096967.1096977]
• 12: Xiaochuan Yi , Krys J. Kochut, A CP-nets-based Design and Verification Framework for Web Services Composition, Proceedings of the IEEE International Conference on Web Services (ICWS'04), p.756, June 06-09, 2004 [doi>10.1109/ICWS.2004.2]

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.3 INFORMATION STORAGE AND RETRIEVAL
      H.3.5 On-line Information Services
          Subjects: Commercial services

Additional Classification:
  H. Information Systems
  H.3 INFORMATION STORAGE AND RETRIEVAL
      H.3.5 On-line Information Services
          Subjects: Web-based services; Data sharing

General Terms:
Design, Management, Reliability, Verification

Keywords:
CP nets, MSC, composition, orchestration, verification, web services