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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence s. 521 - 527
Hlavní autoři:	Mitra, Saayan, Basu, Samik, Kumar, Ratnesh
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	Washington, DC, USA IEEE Computer Society 02.11.2007
Edice:	ACM Conferences
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!