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

Dominique Cansell 1 Dominique Méry 1
1 MODEL - MODEL (Méthodes formelles et applications)
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Keywords : b formal method interaction service refinement raffinement méthode formelle
Type de document :
Communication dans un congrès
Jonathan P. Bowen & Steve Dunne & Andy Galloway & Steve King. International Conference on B & Z Users - ZB'2000, 2000, York, GB, Springer-Verlag, 1878, pp.148-167, 2000, Lecture Notes in Computer Science
Liste complète des métadonnées
https://hal.inria.fr/inria-00099157
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:51:25
Dernière modification le : mardi 24 avril 2018 - 13:34:57

Identifiants

  • HAL Id : inria-00099157, version 1

Collections

INRIA | LORIA | UNIV-LORRAINE

Citation

Dominique Cansell, Dominique Méry. Playing with abstraction and refinement for managing features interactions. A methodological approach to feature interaction problem. Jonathan P. Bowen & Steve Dunne & Andy Galloway & Steve King. International Conference on B & Z Users - ZB'2000, 2000, York, GB, Springer-Verlag, 1878, pp.148-167, 2000, Lecture Notes in Computer Science. 〈inria-00099157〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

101

Contact


archive-ouverte@inria.fr