Minimum-cost delegation in service composition

The paradigm of automated service composition through the integration of existing services promises a fast and efficient development of new services in cooperative service (e.g., business) environments. Although the ''why'' part of this paradigm is well understood, many key pieces are missing to utilize the available opportunities. Recently ''service communities'' where service providers with similar interests can register their services are proposed toward realizing this goal. In these communities, requests for services posed by users can be processed by delegating them to existing services, and orchestrating their executions. We use a service framework similar to the ''Roman'' model departing from it particularly assuming service requirements are specified in a sequence form. We also extend the framework to integrate activity processing costs into the delegation computation and to have services with bounded storage as opposed to finite storage. We investigate the problem of efficient processing of service requests in service communities and develop polynomial time delegation techniques guaranteeing optimality.

[1]  Xiang Fu,et al.  Analysis of interacting BPEL web services , 2004, WWW '04.

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

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

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

[5]  Roberto Gorrieri,et al.  Choreography and Orchestration Conformance for System Design , 2006, COORDINATION.

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

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

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

[9]  Anca Muscholl,et al.  A Lower Bound on Web Services Composition , 2008, Log. Methods Comput. Sci..

[10]  Diego Calvanese,et al.  Composition of Services with Nondeterministic Observable Behavior , 2005, ICSOC.

[11]  Jianwen Su,et al.  Web service discovery based on behavior signatures , 2005, 2005 IEEE International Conference on Services Computing (SCC'05) Vol-1.

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

[13]  Raman Kazhamiakin,et al.  Choreography Conformance Analysis: Asynchronous Communications and Information Alignment , 2006, WS-FM.

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

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

[16]  Oscar H. Ibarra,et al.  Online and minimum-cost ad hoc delegation in e-service composition , 2005, 2005 IEEE International Conference on Services Computing (SCC'05) Vol-1.

[17]  Sebastián Uchitel,et al.  WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography , 2007, Test and Analysis of Web Services.

[18]  Gösta Grahne,et al.  Parallel Composition of Finite State Activity Automata , 2006, DCFS.

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

[20]  Massimo Mecella,et al.  Tutorial 3: Automatic Web Service Composition , 2006, ICWS.

[21]  Oscar H. Ibarra,et al.  On composition and lookahead delegation of e-services modeled by automata, , 2005, Theor. Comput. Sci..

[22]  Diego Calvanese,et al.  Automatic Composition of Transition-based Semantic Web Services with Messaging , 2005, VLDB.

[23]  Sanjay Ghemawat,et al.  MapReduce: Simplified Data Processing on Large Clusters , 2004, OSDI.

[24]  Giuseppe De Giacomo,et al.  Automatic Web Service Composition , 2006, 2006 IEEE International Conference on Services Computing (SCC'06).

[25]  Gösta Grahne,et al.  Process Mediation in an Extended Roman Model , 2005 .

[26]  Giuseppe De Giacomo,et al.  Automatic Synthesis of New Behaviors from a Library of Available Behaviors , 2007, IJCAI.

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

[28]  Arnold L. Rosenberg,et al.  Counter machines and counter languages , 1968, Mathematical systems theory.

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

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

[31]  Annapaola Marconi,et al.  Automated synthesis of composite BPEL4WS Web services , 2005, IEEE International Conference on Web Services (ICWS'05).

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

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

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

[35]  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.