Title :
A multi-stage modeling framework for web service composition
Author :
Xiao, Jian ; Zheng, Li
Author_Institution :
Tsinghua Univ., Beijing
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.
Keywords :
Petri nets; Web services; expert systems; formal languages; process algebra; semantic Web; Petri net closure properties; Web service calculus; Web service composition; closure property; formal modeling language; multistage modeling framework; process algebra; semantic Web modeling; Algebra; Business; Calculus; Industrial engineering; Petri nets; Productivity; Semantic Web; Service oriented architecture; Web services; XML; Modeling; Petri nets; Web service calculus; Web service composition;
Conference_Titel :
Industrial Engineering and Engineering Management, 2007 IEEE International Conference on
Conference_Location :
Singapore
Print_ISBN :
978-1-4244-1529-8
Electronic_ISBN :
978-1-4244-1529-8
DOI :
10.1109/IEEM.2007.4419499
