A Model to Design and Verify Context-Aware Adaptive Service Composition

Authors:
Javier Cubo;Michele Sama;Franco Raimondi;David Rosenblum
Affiliations:
-;-;-;-
Venue:
SCC '09 Proceedings of the 2009 IEEE International Conference on Services Computing
Year:
2009

Citing 0
Cited 4

DAMASCo: a framework for the automatic composition of component-based and service-oriented architectures

ECSA'11 Proceedings of the 5th European conference on Software architecture
Towards behaviour-aware compositions of things in the future internet

Proceedings of the 2nd International Workshop on Adaptive Services for the Future Internet and 6th International Workshop on Web APIs and Service Mashups
AFChecker: Effective model checking for context-aware adaptive applications

Journal of Systems and Software
Test-and-adapt: An approach for improving service interchangeability

ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance

Quantified Score

Hi-index	0.00

Visualization

Abstract

The introduction of mobile clients and context-aware behaviors into Web Service compositions may generate faults and inconsistencies. We introduce an extension of a composition model where context-awareness is made explicit and a number of correctness properties are verifiable. In particular, our extended model enables the verification of properties commonly used to validate context dependent applications. We also propose a set of algorithms to verify these properties efficiently.