Model Checking for Web Service Flow Based on Annotated OWL-S

Verification for interaction protocol of Web services is crucial to both implementation and composition of Web services. The verification process can prove important and desirable properties of the control flow and data flow of Web services. Model checking is a promising technique for verification a...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Rujuan Liu, Changjun Hu, Chongchong Zhao
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Analytical models Annotated OWL-S Computational modeling Firing Model Checking Protocols Time Constraints Petri Net Time factors Time Ontology Timing Verification of WS Flow Web services
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!