Verification of Service Replaceability with Colored Petri Net

Verification of Service Replaceability with Colored Petri Net

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 s...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Ying Liu, Bin Zhang, De-shuai Wang, Ming-wei Zhang, Zhi-liang Zhu
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Bicycles
Colored Petri Net
Cost function
Educational institutions
Formal verification
Information science
Quality of service
Service Behavior
Service Replaceability
Ubiquitous computing
Vehicles
Verification
Web and internet services
Web services
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
DOI:10.1109/IUCE.2009.67