Title :
Verification of Service Replaceability with Colored Petri Net
Author :
Liu, Ying ; Zhang, Bin ; Wang, De-Shuai ; Zhang, Ming-Wei ; Zhu, Zhi-Liang
Author_Institution :
Coll. of Inf. Sci. & Eng., Northeastern Univ., Shenyang, China
Abstract :
The verification of service replaceability is an important issue for service composition in a seamless way. In this paper, it proposes the definition of service behavior impaction to judge the service replaceability. It defines the service behavior model based on the colored Petri Net, put forward service behavior impaction and service replaceability. The application of the method in the scenarios of replacing services dynamically shows that the verification is very useful for correctly building and reliably executing composing service after service replacement.
Keywords :
Internet; Petri nets; Web services; Internet technology; Web service; colored Petri net; service behavior impaction; service behavior model; service replaceability; Bicycles; Cost function; Educational institutions; Formal verification; Information science; Quality of service; Ubiquitous computing; Vehicles; Web and internet services; Web services; Colored Petri Net; Service Behavior; Service Replaceability; Verification;
Conference_Titel :
Intelligent Ubiquitous Computing and Education, 2009 International Symposium on
Conference_Location :
Chengdu
Print_ISBN :
978-0-7695-3619-4
DOI :
10.1109/IUCE.2009.67
