Local and On-the-fly Choreography-based Web Service Composition

We present a goal-directed, local and on-the-fly algorithm for verifying the existence and synthesizing a choreographer forWeb service composition. We use i/o-automata to represent services, the desired functionality of the composition, and a choreographer to achieve the desired service by composing...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence S. 521 - 527
Hauptverfasser:	Mitra, Saayan, Basu, Samik, Kumar, Ratnesh
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	Washington, DC, USA IEEE Computer Society 02.11.2007
Schriftenreihe:	ACM Conferences
Schlagworte:	Computing methodologies > Modeling and simulation > Model development and analysis Computing methodologies > Modeling and simulation > Model development and analysis > Model verification and validation Information systems > World Wide Web > Web applications Information systems > World Wide Web > Web services Theory of computation > Logic Theory of computation > Semantics and reasoning Theory of computation > Semantics and reasoning > Program reasoning
ISBN:	0769530265, 9780769530260
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!