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

fYear

2009

fDate

15-16 May 2009

Firstpage

400

Lastpage

403

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Ubiquitous Computing and Education, 2009 International Symposium on

Conference_Location

Chengdu

Print_ISBN

978-0-7695-3619-4

Type

conf

DOI

10.1109/IUCE.2009.67

Filename

5222930