A Multi-Stage Modeling Framework for Web Service Composition

Jian Xiao,Li Zheng
DOI: https://doi.org/10.1109/ieem.2007.4419499
2007-01-01
Abstract:This paper considers Web service as a process net and defines it as an extended Petri net, in order to inherit the closure property of Petri nets. Some operators in the web service calculus are illustrated and mapped to the Petri nets operation. Then a multi-stage modeling framework for Web service composition is proposed based on formal modeling language. The framework is semi-automatic. It leverages the advantages of process algebra and semantic web modeling approaches, and integrates various practical tools proposed by literatures in each stage to improve productivity and reduce the expert skill requirements.
What problem does this paper attempt to address?