Semi-automatic Specification of Behavioural Service Adaptation Contracts

Abstract : An adaptation contract describes composition constraints and adaptation requirements among several services which were not initially built to interoperate with each other. The manual writing of this specification by a designer is a difficult and error-prone task, especially when services are reused taking their behavioural descriptions into account. In this paper, we present a semi-automatic approach to build adaptation contracts. To this purpose, we propose an adaptation contract design process supported by an interactive environment based on a graphical notation, and an engine capable of automatically generating contracts without any human intervention. We also present an experimental study that we carried out using the tool support that we implemented in order to evaluate our approach.
Type de document :
Communication dans un congrès
7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'10), Mar 2010, Paphos, Cyprus. 264(1), pp.19-34, 2010, Electronic Proceedings in Theoretical Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00539116
Contributeur : Christine Mckinty <>
Soumis le : jeudi 25 novembre 2010 - 11:43:42
Dernière modification le : lundi 28 février 2011 - 11:43:05
Document(s) archivé(s) le : samedi 26 février 2011 - 02:35:59

Fichier

FESCA10.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00539116, version 1

Collections

Citation

Javier Cámara, Jose Antonio Martin, Gwen Salaün, Carlos Canal, Ernesto Pimentel. Semi-automatic Specification of Behavioural Service Adaptation Contracts. 7th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'10), Mar 2010, Paphos, Cyprus. 264(1), pp.19-34, 2010, Electronic Proceedings in Theoretical Computer Science. <inria-00539116>

Partager

Métriques

Consultations de
la notice

189

Téléchargements du document

128