Online and minimum-cost ad hoc delegation in e-service composition

The paradigm of automated e-service composition through the integration of existing services promises a fast and efficient development of new services in cooperative business environments. Although the "why" part of this paradigm is well understood, many key pieces are missing to utilize the available opportunities. Recently "e-service communities" where service providers with similar interests can register their services are proposed towards realizing this goal. In these communities, delegating them to already registered services, and orchestrating their executions can process requests for services posed by users. We use the service framework of the "Roman" model and further extend it to integrate activity processing costs into the "ad hoc" delegation computation. We investigate the problem of efficient processing of service requests in service communities and develop polynomial time ad hoc delegation techniques guaranteeing optimality.

[1]  Munindar P. Singh Semantical Considerations on Workflows: An Algebra for Intertask Dependencies , 1995, DBPL.

[2]  Xiang Fu,et al.  Conversation protocols: a formalism for specification and verification of reactive electronic services , 2003, Theor. Comput. Sci..

[3]  David Haussler,et al.  On the Complexity of Iterated Shuffle , 1984, J. Comput. Syst. Sci..

[4]  Sheila A. McIlraith,et al.  Simulation, verification and automated composition of web services , 2002, WWW.

[5]  Jerry R. Hobbs,et al.  DAML-S: Semantic Markup for Web Services , 2001, SWWS.

[6]  Oscar H. Ibarra,et al.  Composability of Infinite-State Activity Automata , 2004, ISAAC.

[7]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[8]  ACM SIGMOD Record staff Science of design for information systems: report of the NSF workshop, Seattle, 2003 , 2004, SGMD.

[9]  Anne H. H. Ngu,et al.  Declarative composition and peer-to-peer provisioning of dynamic Web services , 2002, Proceedings 18th International Conference on Data Engineering.

[10]  Tran Cao Son,et al.  Adapting Golog for Composition of Semantic Web Services , 2002, KR.

[11]  Xiang Fu,et al.  Conversation specification: a new approach to design and analysis of e-service composition , 2003, WWW '03.

[12]  Diego Calvanese,et al.  Automatic Composition of E-services That Export Their Behavior , 2003, ICSOC.

[13]  Ewa Orlowska,et al.  Service-Oriented Computing - ICSOC 2003 , 2003, Lecture Notes in Computer Science.

[14]  Diego Calvanese,et al.  Synthesis of underspecified composite e-services based on automated reasoning , 2004, ICSOC '04.

[15]  Oscar H. Ibarra,et al.  Automated composition of e-services: lookaheads , 2004, ICSOC '04.

[16]  M. W. Shields An Introduction to Automata Theory , 1988 .

[17]  Shiyong Lu,et al.  Semantic correctness of transactions and workflows , 2002 .

[18]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[19]  W.M.P. van der Aalst,et al.  On the automatic generation of workflow processes based on product structures , 1999 .

[20]  Jianwen Su,et al.  Tools for design of composite Web services , 2004, ACM SIGMOD Conference.