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 metadatas
https://hal.inria.fr/inria-00099157
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 8:51:25 AM
Last modification on : Thursday, September 19, 2019 - 5:00:14 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

Share

Metrics

Record views

121

Contact


archive-ouverte@inria.fr