A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Declarative Composition and Peer-to-Peer Provisioning of Dynamic Web Services
ICDE '02 Proceedings of the 18th International Conference on Data Engineering
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
International Journal on Software Tools for Technology Transfer (STTT)
| Hi-index | 0.00 |
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.