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žené v:

Podrobná bibliografia
Vydané v:	Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence s. 521 - 527
Hlavní autori:	Mitra, Saayan, Basu, Samik, Kumar, Ratnesh
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	Washington, DC, USA IEEE Computer Society 02.11.2007
Edícia:	ACM Conferences
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!