A Framework for Time Consistency Verification for Web Processes Based on Annotated OWL-S

The paper presents a timing constraint modeling and analyzing method for Web processes based on annotated OWL-S. The method allows us to find whether Web processes are schedulable and which processes in Web processes are not schedulable without actual execution based on its specification. This also...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Guilan Dai, Xiaoying Bai, Chongchong Zhao
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Computer science Information analysis Microstrip Paper technology Processor scheduling Protocols Testing Time factors Timing Web services
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!