Automated SLA Monitoring for Web Services
DSOM '02 Proceedings of the 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management: Management Technologies for E-Commerce and E-Business Applications
Quality driven web services composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
CTR-S: a logic for specifying contracts in semantic web services
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Web Service Composition in UML
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
Associating assertions with business processes and monitoring their execution
Proceedings of the 2nd international conference on Service oriented computing
Adaptive Process Management with ADEPT2
ICDE '05 Proceedings of the 21st International Conference on Data Engineering
An approach for QoS-aware service composition based on genetic algorithms
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Towards a BPEL unit testing framework
Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications
Representation, Verification, and Computation of Timed Properties in Web
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Adaptation inWeb Service Composition and Execution
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Run-Time Monitoring of Instances and Classes of Web Service Compositions
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Self-healing BPEL processes with Dynamo and the JBoss rule engine
International workshop on Engineering of software services for pervasive environments: in conjunction with the 6th ESEC/FSE joint meeting
COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 02
Integration and verification of semantic constraints in adaptive process management systems
Data & Knowledge Engineering
A model driven method for service composition modelling: a case study
International Journal of Web Engineering and Technology
Automated Dynamic Maintenance of Composite Services Based on Service Reputation
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Quality analysis of composed services through fault injection
BPM'07 Proceedings of the 2007 international conference on Business process management
DySOA: making service systems self-adaptive
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Towards dynamic monitoring of WS-BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Composition of services with nondeterministic observable behavior
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
A distributed framework for reliable and efficient service choreographies
Proceedings of the 20th international conference on World wide web
Adaptation of service-based systems
Service research challenges and solutions for the future internet
Data oriented challenges of service architectures a data quality perspective
Proceedings of the 13th International Conference on Computer Systems and Technologies
Hi-index | 0.00 |
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.