Synthy: A system for end to end composition of web services

The demand for quickly delivering new applications is increasingly becoming a business imperative today. However, application development is often done in an ad hoc manner resulting in poor reuse of software assets and longer time-to-delivery. Web services have received much interest due to their potential in facilitating seamless business-to-business or enterprise application integration. A web service composition system can help automate the process, from specifying business process functionalities, to developing executable workflows that capture non-functional (e.g. Quality of Service (QoS)) requirements, to deploying them on a runtime infrastructure. Intuitively, web services can be viewed as software components and the process of web service composition similar to software synthesis. In addition, service composition needs to address the build-time and runtime issues of the integrated application, thereby making it a more challenging and practical problem than software synthesis. However, current solutions based on business web services (using WSDL, BPEL, SOAP, etc.) or semantic web services (using ontologies, goal-directed reasoning, etc.) are both piecemeal and insufficient. We formulate the web service composition problem and describe the first integrated system for composing web services end to end, i.e., from specification to deployment. The proposed solution is based on a novel two-staged composition approach that addresses the information modeling aspects of web services, provides support for contextual information while composing services, employs efficient decoupling of functional and non-functional requirements, and leads to improved scalability and failure handling. We also present Synthy, a prototype of the service composition system, and demonstrate its effectiveness with the help of an application scenario from the telecom domain.

[1]  Sunil Chandra,et al.  Orchestrating composite Web services under data flow constraints , 2005, IEEE International Conference on Web Services (ICWS'05).

[2]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[3]  Antonio Jorge Silva Cardoso,et al.  Quality of service and semantic composition of workflows , 2002 .

[4]  Schahram Dustdar,et al.  A survey on web services composition , 2005, Int. J. Web Grid Serv..

[5]  Yolanda Gil,et al.  The Role of Planning in Grid Computing , 2003, ICAPS.

[6]  Sheila A. McIlraith,et al.  Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation , 2003, SEMWEB.

[7]  Richard E. Korf,et al.  Proceedings of the twelfth national conference on Artificial intelligence (vol. 1) , 1994 .

[8]  Vivek Sarkar,et al.  Decentralizing execution of composite web services , 2004, OOPSLA.

[9]  Koustuv Dasgupta,et al.  A service creation environment based on end to end composition of Web services , 2005, WWW '05.

[10]  Subbarao Kambhampati,et al.  Sapa: A Scalable Multi-objective Heuristic Metric Temporal Planner , 2002 .

[11]  Karen A. Loveland,et al.  LARGE SCALE , 1991 .

[12]  Anne H. H. Ngu,et al.  QoS-aware middleware for Web services composition , 2004, IEEE Transactions on Software Engineering.

[13]  Fabio Casati,et al.  Probabilistic, context-sensitive, and goal-oriented service selection , 2004, ICSOC '04.

[14]  Stanley B. Zdonik,et al.  Why properties are objects or some refinements of “is-a” , 1986 .

[15]  Mitsuru Ikeda,et al.  Hozo: An Environment for Building/Using Ontologies Based on a Fundamental Consideration of "Role" and "Relationship" , 2002, EKAW.

[16]  Marco Pistore,et al.  Automated Composition of Semantic Web Services into Executable Processes , 2004, SEMWEB.

[17]  Subbarao Kambhampati,et al.  Sapa: A Multi-objective Metric Temporal Planner , 2003, J. Artif. Intell. Res..

[18]  Vikas Agarwal,et al.  An information model for metering and accounting , 2004, 2004 IEEE/IFIP Network Operations and Management Symposium (IEEE Cat. No.04CH37507).

[19]  Amit P. Sheth,et al.  A semantic template based designer for Web processes , 2005, IEEE International Conference on Web Services (ICWS'05).

[20]  Paolo Toth,et al.  Knapsack Problems: Algorithms and Computer Implementations , 1990 .

[21]  Fabio Casati,et al.  eFlow: a platform for developing and managing composite e-services , 2000, Proceedings Academia/Industry Working Conference on Research Challenges '00. Next Generation Enterprises: Virtual Organizations and Mobile/Pervasive Technologies. AIWORC'00. (Cat. No.PR00628).

[22]  Barry Norton Quality of Service Profiles in Web Service Discovery , 2005, ICCBSS.

[23]  Yigal Hoffner,et al.  A Web Services Matchmaking Engine for Web Services , 2003, EC-Web.

[24]  G. G. Stokes "J." , 1890, The New Yale Book of Quotations.

[25]  Sumit Mittal,et al.  Information Modeling for End to End Composition of Semantic Web Services , 2005, SEMWEB.

[26]  Amit P. Sheth,et al.  Modeling Quality of Service for Workflows and Web Service Processes , 2002 .

[27]  Jana Koehler,et al.  Web Service Composition - Current Solutions and Open Problems , 2003 .

[28]  Justus Klingemann,et al.  Controlled Flexibility in Workflow Management , 2000, CAiSE.

[29]  Marc Roubens,et al.  Multiple criteria decision making , 1994 .

[30]  Bijan Parsia,et al.  Planning for Semantic Web Services , 2004, SWS@ISWC.

[31]  Kunal Verma,et al.  Constraint driven Web service composition in METEOR-S , 2004, IEEE International Conference onServices Computing, 2004. (SCC 2004). Proceedings. 2004.

[32]  H. Kunzi,et al.  Lectu re Notes in Economics and Mathematical Systems , 1975 .

[33]  Piero A. Bonatti,et al.  On optimal service selection , 2005, WWW '05.

[34]  Koustuv Dasgupta,et al.  Evaluating Planning based Approaches for End to End Composition and Execution of Web Services , 2005 .

[35]  Quan Z. Sheng,et al.  Quality driven web services composition , 2003, WWW '03.

[36]  Tom Bylander,et al.  Complexity Results for Planning , 1991, IJCAI.

[37]  Lawrence Chung,et al.  Dealing with Non-Functional Requirements: Three Experimental Studies of a Process-Oriented Approach , 1995, 1995 17th International Conference on Software Engineering.

[38]  Sunil Chandra,et al.  Decentralized orchestration of composite web services , 2004, WWW Alt. '04.

[39]  James A. Hendler,et al.  Information Gathering During Planning for Web Service Composition , 2004, SEMWEB.

[40]  Steffen Staab,et al.  Web Services: Been There, Done That? , 2003, IEEE Intell. Syst..

[41]  Bijan Parsia,et al.  Composition-driven Filtering and Selection of Semantic Web Services , 2004 .

[42]  Xiaomeng Su,et al.  A Survey of Automated Web Service Composition Methods , 2004, SWSWPC.

[43]  Enn Tyugu,et al.  Strategies of Structural Synthesis of Programs and its Extensions , 2001, Comput. Artif. Intell..

[44]  Amedeo Cesta,et al.  Recent Advances in AI Planning , 1997, Lecture Notes in Computer Science.

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

[46]  Jussi Rintanen,et al.  Complexity of Planning with Partial Observability , 2004, ICAPS.

[47]  Mihhail Matskin,et al.  Value-Added Web Services Composition Using Automatic Program Synthesis , 2002, WES.

[48]  Boi Faltings,et al.  Large scale, type-compatible service composition , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[49]  Biplav Srivastava,et al.  Planning with Workflows - An Emerging Paradigm for Web Service Composition , 2004 .

[50]  Mangala Gowri Nanda,et al.  Synchronization analysis for decentralizing composite Web services , 2003, SAC '03.

[51]  Ramanathan V. Guha,et al.  Contexts for the Semantic Web , 2004, SEMWEB.

[52]  Jos de Bruijn,et al.  Semantic Web Services: description requirements and current technologies , 2003 .

[53]  Takahiro Kawamura,et al.  Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

[54]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[55]  James A. Hendler,et al.  HTN Planning: Complexity and Expressivity , 1994, AAAI.

[56]  Subbarao Kambhampati,et al.  Planning the project management way: Efficient planning by effective integration of causal and resource reasoning in RealPlan , 2001, Artif. Intell..

[57]  Tran Cao Son,et al.  Semantic Web Services , 2001, IEEE Intell. Syst..