Interactive specification and verification of behavioral adaptation contracts - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Information and Software Technology Année : 2012

Interactive specification and verification of behavioral adaptation contracts

Résumé

Context. 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 interaction protocols are considered in service interfaces. Objective. In this article, we propose a tool-based, interactive approach to support the contract design process. Method. Our approach includes: (i) a graphical notation to define port bindings, and an interface compatibility 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. Results. Our results show a reduction both in the amount of effort that the designer has to put into building the contract, as well as in the number of errors present in the final result (noticeably higher in the case of manual specification). Conclusion. We conclude that it is important to provide integrated tool support for the specification and verification of adaptation contracts, since their incorrect specification induces erroneous executions of the system. To the best of our knowledge, such tool support has not been provided by any other approach so far, and hence we consider the techniques described in this paper as an important contribution to the area of behavioral software adaptation.
Fichier principal
Vignette du fichier
CSCO-IST3-1.pdf (1.3 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00694516 , version 1 (05-05-2012)

Identifiants

  • HAL Id : hal-00694516 , version 1

Citer

Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni. Interactive specification and verification of behavioral adaptation contracts. Information and Software Technology, 2012, 54 (7), pp.701-723. ⟨hal-00694516⟩
327 Consultations
441 Téléchargements

Partager

Gmail Facebook X LinkedIn More