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

Full description

Saved in:

Bibliographic Details
Published in:	Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence pp. 521 - 527
Main Authors:	Mitra, Saayan, Basu, Samik, Kumar, Ratnesh
Format:	Conference Proceeding
Language:	English
Published:	Washington, DC, USA IEEE Computer Society 02.11.2007
Series:	ACM Conferences
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!