Towards Correctness Assurance in Adaptive Service-Based Applications

Service-based applications (SBAs) increasingly have to become adaptive in order to operate and evolve in highly dynamic environments. Research on SBAs thus has already produced a range of adaptation techniques and strategies. However, adaptive SBAs are prone to specific failures that would not occur in "static" applications. Examples are faulty adaptation behaviours due to changes not anticipated during design-time, or conflicting adaptations due to concurrently occurring events. For adaptive SBAs to become reliable and thus applicable in practice, novel techniques that ensure the correctness of adaptations are needed. To pave the way towards those novel techniques, this paper identifies different kinds of adaptation-specific failures. Based on a classification of existing adaptation approaches and generic correctness assurance techniques, we discuss how adaptation-specific failures can be addressed and where new advanced techniques for correctness assurance of adaptations are required.

[1]  Raman Kazhamiakin,et al.  Representation, Verification, and Computation of Timed Properties in Web , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[2]  Marco Pistore,et al.  Run-Time Monitoring of Instances and Classes of Web Service Compositions , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[3]  Peter Dadam,et al.  Adaptive process management with ADEPT2 , 2005, 21st International Conference on Data Engineering (ICDE'05).

[4]  Philip Mayer,et al.  Towards a BPEL unit testing framework , 2006, TAV-WEB '06.

[5]  Omer F. Rana,et al.  QoS Adaptation in Service-Oriented Grids , 2003, Middleware Workshops.

[6]  Michael Gruninger.  Applications of PSL to semantic web services , 2003 .

[7]  Maria Luisa Villani,et al.  An approach for QoS-aware service composition based on genetic algorithms , 2005, GECCO '05.

[8]  Jos Nijhuis,et al.  DySOA: Making Service Systems Self-adaptive , 2005, ICSOC.

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

[10]  Koustuv Dasgupta,et al.  Adaptation inWeb Service Composition and Execution , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[11]  D. Skogan,et al.  Web service composition in UML , 2004 .

[12]  Esperanza Marcos,et al.  A model driven method for service composition modelling: a case study , 2006, Int. J. Web Eng. Technol..

[13]  George Spanoudakis,et al.  Monitoring WS-Agreement s: An Event Calculus-Based Approach , 2007, Test and Analysis of Web Services.

[14]  Fabio Casati,et al.  Automated SLA Monitoring for Web Services , 2002, DSOM.

[15]  Gilbert Babin,et al.  Management Technologies for E-Commerce and E-Business Applications , 2002, Lecture Notes in Computer Science.

[16]  Luciano Baresi,et al.  Self-healing BPEL processes with Dynamo and the JBoss rule engine , 2007, ESSPE '07.

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

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

[19]  Maria Grazia Fugini,et al.  Quality Analysis of Composed Services through Fault Injection , 2007, Business Process Management Workshops.

[20]  Carlo Ghezzi,et al.  Automated Dynamic Maintenance of Composite Services Based on Service Reputation , 2007, ICSOC.

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

[22]  Yinong Chen,et al.  Adaptive Web Services Testing , 2007, 31st Annual International Computer Software and Applications Conference (COMPSAC 2007).

[23]  Daniel Kroening,et al.  Model Checking with Abstraction for Web Services , 2007, Test and Analysis of Web Services.

[24]  Manfred Reichert,et al.  Managing Process Variants in the Process Life Cycle , 2007, ICEIS.

[25]  Luciano Baresi,et al.  Test and Analysis of Web Services , 2007, Test and Analysis of Web Services.

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

[27]  I. V. Ramakrishnan,et al.  CTR-S: a logic for specifying contracts in semantic web services , 2004, WWW Alt. '04.

[28]  Annapaola Marconi,et al.  AutomatedWeb Service Composition at Work: the Amazon/MPS Case Study. , 2007, IEEE International Conference on Web Services (ICWS 2007).

[29]  Gerardo Canfora,et al.  SOA: Testing and Self-Checking , 2006 .

[30]  Peter Dadam,et al.  Integration and verification of semantic constraints in adaptive process management systems , 2008, Data Knowl. Eng..

[31]  Amit P. Sheth,et al.  The METEOR-S Approach for Configuring and Executing Dynamic Web Processes , 2005 .

[32]  Fabio Casati,et al.  Service-Oriented Computing - ICSOC 2005, Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings , 2005, ICSOC.