An introduction to self-healing Web services (tutorial summary)

The service-oriented approach is becoming more and more popular to integrate highly heterogeneous systems. Service-oriented architectures (SoAs) define a new flexible coordination paradigm for integrating components (services) in unstable and evolving contexts, where the high degree of flexibility and dynamism requires that available functionality be discovered at run-time and its quality parameters be negotiated dynamically. This is the case, for example, of ambient computing and automotive applications that need to cope with continuously evolving configurations. The dynamic nature of these systems precludes the a-priori identification of the components that define the system and demands for the run-time discovery and composition of such services, adding uncertainty to the system. It could be the case, for example, that a binding (request/provision) cannot span multiple executions since the changing context alters the set of available services. This means that problems related to the discovery of services should also be considered and handled at run-time. If the selection phase aborts, simply shutting down the system is not, in general, going to be a solution. The execution environment should be able to select new services and even reorganize the process to find a solution that uses what is available, if a perfect match does not exist.

[1]  Gustavo Alonso,et al.  The WISE approach to Electronic Commerce , 2000 .

[2]  G. Spanoudakis,et al.  A Framework for Requirements Monitoring of Service Based Systems , 2004 .

[3]  Marco Aiello,et al.  Associating assertions with business processes and monitoring their execution , 2004, ICSOC '04.

[4]  Fabio Casati,et al.  Web service conversation modeling: a cornerstone for e-business automation , 2004, IEEE Internet Computing.

[5]  Asit Dan,et al.  Cremona: an architecture and library for creation and monitoring of WS-agreents , 2004, ICSOC '04.

[6]  Alin Deutsch,et al.  Specification and verification of data-driven web services , 2004, PODS.

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

[8]  Quan Z. Sheng,et al.  The Self-Serv Environment for Web Services Composition , 2003, IEEE Internet Comput..

[9]  Frank Leymann,et al.  Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging, and More , 2005 .

[10]  C. Courbis,et al.  Towards aspect weaving applications , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[11]  Mike P. Papazoglou,et al.  Service Representation, Discovery, and Composition for E-marketplaces , 2001, CoopIS.

[12]  James A. Hendler,et al.  Automating DAML-S Web Services Composition Using SHOP2 , 2003, SEMWEB.

[13]  Craig A. Knoblock,et al.  Retrieving and semantically integrating heterogeneous data from the Web , 2004, IEEE Intelligent Systems.

[14]  Mike P. Papazoglou,et al.  Service components for managing the life-cycle of service compositions , 2004, Inf. Syst..

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

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

[17]  Asit Dan,et al.  Web services agreement specification (ws-agreement) , 2004 .

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

[19]  Luciano Baresi,et al.  Smart monitors for composed services , 2004, ICSOC '04.

[20]  Jianwen Su,et al.  E-services: a look behind the curtain , 2003, PODS.

[21]  Ann Q. Gates,et al.  A taxonomy and catalog of runtime software-fault monitoring tools , 2004, IEEE Transactions on Software Engineering.

[22]  Luciano Baresi,et al.  Towards Dynamic Monitoring of WS-BPEL Processes , 2005, ICSOC.

[23]  George Spanoudakis,et al.  A framework for requirents monitoring of service based systems , 2004, ICSOC '04.

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

[25]  Luciano Baresi,et al.  Dynamo: Dynamic Monitoring of WS-BPEL Processes , 2005, ICSOC.

[26]  Ahmed K. Elmagarmid,et al.  Composing Web services on the Semantic Web , 2003, The VLDB Journal.

[27]  Fabio Casati,et al.  Dynamic and adaptive composition of e-services , 2001, Inf. Syst..