Title :
Web Service Composition and Analysis: A Petri-net Based Approach
Author :
Bing, Liu ; Huaping, Chen
Author_Institution :
Sch. of Manage., Univ. of Sci. & Technol. of China, Hefei
Abstract :
Discovering and assembling individual Web services into more complex yet new and more useful Web processes is an important challenge. In this paper, we propose a Petri net-based algebra to capture the semantics of complex Web service combinations. Based on atomic Web services, a Petri net is created to represent all possible combinations of atomic operations and specify the desired goal as a state of this Petri net. With the standard Petri net techniques, we are able to analyze the essential properties such as usability and satisfiability of a Web service.
Keywords :
Petri nets; Web services; computability; Petri-net; Web processes; Web service analysis; Web service composition; satisfiability; usability; Algebra; Assembly; Communication standards; Petri nets; Samarium; Technology management; Usability; Visual communication; Web services; Yarn;
Conference_Titel :
Semantics, Knowledge and Grid, 2005. SKG '05. First International Conference on
Conference_Location :
Beijing
Print_ISBN :
0-7695-2534-2
Electronic_ISBN :
0-7695-2534-2
DOI :
10.1109/SKG.2005.143
