A multi-stage modeling framework for web service composition

Author

Xiao, Jian ; Zheng, Li

Author_Institution

Tsinghua Univ., Beijing

fYear

2007

fDate

2-4 Dec. 2007

Firstpage

1782

Lastpage

1786

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/IEEM.2007.4419499

Filename

4419499