Modeling and Analyzing Composite Semantic Web Service Using Petri nets
The semantic WS specification OWL-S is used to describe the application logic of composite service process. There is a need for formal modeling and analyzing techniques for reliable web services and their composition because of dynamic and complex service composition process. In order to reduce the complexity of model, we use Petri nets to model atomic processes and seven basic structures of the Web service composition. In this model, input, output and precondition are represented through different kinds of tokens, effect is represented by the change of the token number during firing the transition, the composition model can be described unambiguously and the composite process can be analyzed and verified conveniently. Then, a definition of reachable service graph is given and algorithms are proposed to construct the Petri and verify the mode. Finally, the composite service model is applied to a case.
Huaikou Miao Tao He Zhongsheng Qian
School of Computer Engineering and Science, Shanghai University, Shanghai, China, 200072 School of Information Technology, Jiangxi University of Finance and Economics, Nanchang, China, 3300
国际会议
AiR08，EM2108，SOAIC08，SIOKM08，BIMA08，DKEEE08(2008IEEE国际电子商务工程学术会议)
西安
英文
660-664
2008-10-22（万方平台首次上网日期，不代表论文的发表时间）