Mate' Sztipanovits
ABSTRACT
This paper proposes a web service process verification method which can be used by engineers to effectively evaluate web service compositions. A Web Service composition verification process would provide a valuable oversight on the engineering of web service based applications. Using a process known as graph-transformation we formalize the translation of a well known web service composition specification called the Business Process Execution Language (BPEL) to a practically useful modeling language with which extensive analysis, including program verification, can be performed. The modeling language used is the Coloured Petri-Net specification which comes with well tested analysis methods and tools. This translation process can be used to formalize a Web service Composition Process verification (WeseCoP) tool. The usefulness of such a tool lies in how it facilitates visual simulation analyses of BPEL process execution.
- Benatallah, B., Medjahed, B., Bouguettaya, A., Elmagarmid, A. & Beard, J. (2000), Composing and Maintaining Web-based Virtual Enterprises, in 'Proceedings of the Workshop on Technologies for E-Services (in Cooperation with VLDB'00)', Cairo, Egypt.Google Scholar
- Benatallah, B., Dumas, M., Sheng, Q. & Ngu, A. (2002), Declarative Composition and Peer-to-Peer Provisioning of Dynamic Web Services, in 'Proceedings of the 18th International Conference on Data Engineering (ICDE'02)', IEEE Computer Society, California, USA, pp. 297--308. Google ScholarDigital Library
- R. Hamadi, B. Benatallah. "A Petri Net-Based Model for Web Service Composition". In Proceedings of the 14th Australasian Database Conference (ADC 2003) Google ScholarDigital Library
- Jonathan Sprinkle, "Model-Integrated Computing", IEEE Potentials, vol. 23, no. 1, pp. 28--30, Feb., 2004.Google ScholarCross Ref
- Gabor Karsai, Aditya Agrawal, Feng Shi, Jonathan Sprinkle, "On the Use of Graph Transformation in the Formal Specification of Model Interpreters", Journal of Universal Computer Science, vol. 9, no. 11, pp. 1296--1321, Nov., 2003.Google Scholar
- Kurt Jensen, Lars Michael Kristensen, Lisa Wells, "Coloured Petri Nets and CPN Tools for Modeling and Validation of Concurrent Systems", Software Tools for Technology Transfer, Department of Computer Science, University of Aarhus, 2007 Google ScholarDigital Library
- http://uddi.xml.org/uddi-org, 2007Google Scholar
- http://www.w3.org/TR/wsdl, 2007Google Scholar
- http://www.w3.org/TR/soap/, 2007Google Scholar
- http://wiki.daimi.au.dk/cpntools/cpntools.wiki.Google Scholar
- CPN Tools, 2007Google Scholar
- Institute for Software Integrated Systems (ISIS) http://isis.vanderbilt.edu/, 2008 Generic Modeling Environment (GME) http://www.isis.vanderbilt.edu/projects/gme/, 2008Google Scholar
- Janos Mathe, ISIS Vanderbilt University, ([email protected]), 2008Google Scholar
Index Terms
- Web service composition process verification methods
Recommendations
Dynamic Web Service Composition: A New Approach in Building Reliable Web Service
AINA '08: Proceedings of the 22nd International Conference on Advanced Information Networking and ApplicationsThe use of services, especially Web services, became a common practice. In Web services, standard communication protocols and simple broker-request architectures are needed to facilitate exchange of services, and this standardization simplifies ...
Web services discovery and constraints composition
RR'07: Proceedings of the 1st international conference on Web reasoning and rule systemsThe most promising feature of the Web services platform is its ability to form new (composite) services by combining the capabilities of already existing (component) services. The existing services may themselves be composite leading to a hierarchical ...
A model for web services composition based on QoS and providers' benefit
WiCOM'09: Proceedings of the 5th International Conference on Wireless communications, networking and mobile computingTo deal with the problems such as Web Services selection algorithm, availability of Web Services composition and QoS(Quality of Service) guarantee, presents a model for Web Services composition based on QoS and providers' benefit. In this model, the ...
Comments