Modeling Web Service Behavior Based on Workflow Nets and Consume-Produce-Read Nets

To support automated service composition, adaptation and verification, there should be a formal model for web service behavior description. For the sake of accurately representing web service behavior, inspired by workflow nets and consume-produce-read nets, we propose a novel formal model for web s...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Key engineering materials 2011-01, Vol.467-469 (SUPPL.1), p.114-118
Hauptverfasser:	Cao, Guo Rong, Wu, Hao, Tan, Q.P.
Format:	Artikel
Sprache:	eng
Schlagworte:	Adaptation Consumption Mathematical models Messages Sake Strategy Web services Workflow
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!