Playing with abstraction and refinement for managing features interactions. A methodological approach to feature interaction problem - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2000

Playing with abstraction and refinement for managing features interactions. A methodological approach to feature interaction problem

Résumé

The feature interaction problem can be managed by the use of abstract models related by the refinement relationship. A service is incrementally built with respect to the requirement and the combination of services is defined as an instance of the refinement relationship. We use the B method and especially the event-based approach and we show how features and services can be safely combined to obtain a sound model of combined services. Two refinements are defined following directions of refinement and the refinement-as-composition principle is developed with the B-event-based approach called B system. Although service composition is non monotonic, B system provides a framework for analysing services and services composition.

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

inria-00099157 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00099157 , version 1

Citer

Dominique Cansell, Dominique Méry. Playing with abstraction and refinement for managing features interactions. A methodological approach to feature interaction problem. International Conference on B & Z Users - ZB'2000, 2000, York, GB, pp.148-167. ⟨inria-00099157⟩
75 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More