Web Service Composition and Choreography Verification

Overview

The Internet Enterprise: Composable e-Services - The goal of this project is to provide a web-based framework, where services (assumed to be) residing on the Internet can be searched for, located and invoked. Besides using these services, it should be possible to dynamically compose or federate a composite service based on existing (simple or composite) services. In other words, it should be possible to implement a workflow of diverse, autonomous services that communicate through the web. This infrastructure will enable businesses to identify the services they need and utilize them, in a just-in-time fashion. This notion of service-based infrastructure is very relevant and useful to domains like Internet-based, federated workflow (which is more than just web-based interfaces to workflow) and supply-chain, where various differing businesses need the services of one-another.

Choreography Verification - As web services become more complex it is important that all participants obey the so called rules of engagement. These rules of can be captured in an interaction protocol or choreography. A choreography provides rules on how various components act together, in terms of observable behavior. We investigate how we can extract a protocol from a web service and verify whether or not the implementation adheres to the protocol.

People

  • Dr. Sumi Helal
  • Raja Krithivasan
  • Arun Jagatheesan
  • Jie Meng
  • Jingting Lu
  • Erwin Jansen
  • Hen-I Yang

Publications

  • Erwin Jansen, Hen-I Yang and Sumi Helal, "Automated Verification of Proper Choreography Implementation," Proceedings of the IEEE/IPSJ International Symposium on Applications and the Internet (SAINT), Phoenix, Arizona, January 2006. ( pdf)
  • J. Meng, S. Su, H. Lam, and A. Helal “DynaFlow: A Dynamic Inter- Organizational Workflow,” The International Journal of Business Process Integration and Management (IJBPIM). Vol. 1, No. 2, March 2005. (pdf)
  • Stanley Y. W. Su, Jie Meng, Raja Krithivasan, Seema Degwekar and Sumi Helal, "Dynamic Inter-enterprise Workflow Management in a Constraint-based E-Service Infrastructure," Accepted for publication in Kluwer Electronic Commerce Research Journal. Special Issue on Business Process Integration and E-Commerce Infrastructure. Vol 3, July 2003. (pdf)
  • J. Meng, R. Krithivasan, S. Su and A. Helal, "Flexible Inter-enterprise Workflow Management using E-Services," Proceedings of the 4th IEEE International Workshop on Advanced Issues of E-Commerce and Web-based Information Systems (WECWIS), Newport Beach, California, USA, June 2002 (pdf)
  • Sumi Helal, Stanley Su, Jie Meng, Raja Krithivasan, and Arun Jagatheesan, "The Internet Enterprise," Proceedings of the Second IEEE/IPSJ Symposium on Applications and the Internet (SAINT'02), Jan/Feb 2002, Nara, Japan (pdf)
  • J. Meng, S. Y.W. Su, H. Lam and A. Helal, "Achieving Dynamic Inter-organizational Workflow Management by Integrating Business Processes, Events, and Rules," Proceedings of the Thirty-Fifth Hawaii International Conference on System Sciences (HICSS-35), January 2002 (pdf)
  • R. Krithivasan and A. Helal, "BizBuilder - An e-Services Framework Targeted for Internet Workflow," Proceedings of the third Workshop on Technologies for E-Services, Springer Lecture Notes in Computer Science series, VOL. 2193. In conjunction with VLDB 2001, Sept 2001, Rome, Italy (pdf)
  • A. Helal, M. Wang, A. Jagatheesan and R. Krithivasan, "Brokering Based Self Organizing E-Service Communities," Proceedings of the fifth International Symposium on Autonomous Decentralized Systems (ISADS) With an Emphasis on Electronic Commerce, March 26-28, 2001, Dallas, Texas (pdf)