The Community for Technology Leaders
Quality Software, International Conference on (2009)
Jeju, Korea
Aug. 24, 2009 to Aug. 25, 2009
ISSN: 1550-6002
ISBN: 978-0-7695-3828-0
pp: 65-75
ABSTRACT
Adaptation is a crucial issue when building new applications by reusing existing software services which were not initially designed to interoperate with each other. Adaptation contracts describe composition constraints and adaptation requirements among these services. The writing of this specification by a designer is a difficult and error-prone task, especially when service protocol needs to be considered and service functionality accessed through behavioural interfaces. In this paper, we propose an interactive approach to support the contract design process, and more specifically: (i) a graphical notation to define port bindings, and an interface similarity measure to compare protocols and suggest some port connections to the designer, (ii) compositional and hierarchical techniques to facilitate the specification of adaptation contracts by building them incrementally, (iii) validation and verification techniques to check that the contract will make the involved services work correctly and as expected by the designer. Our approach is fully supported by a prototype tool we have implemented.
INDEX TERMS
components and services, behavioural interface, adaptation, graphical notation, validation and verification
CITATION

M. Ouederni, C. Canal, J. Cámara and G. Salaün, "Interactive Specification and Verification of Behavioural Adaptation Contracts," 2009 9th International Conference on Quality Software (QSIC 2009)(QSIC), Jeju, 2009, pp. 65-75.
doi:10.1109/QSIC.2009.17
98 ms
(Ver 3.3 (11022016))