HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/inria-00099157
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 8:51:25 AM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM

Identifiers

  • HAL Id : inria-00099157, version 1

Collections

INRIA | CNRS | 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. International Conference on B & Z Users - ZB'2000, 2000, York, GB, pp.148-167. ⟨inria-00099157⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

74

 

Contact                    Legal Notice                    Personal Data