Abstraction and refinement of features

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 composition of services and features often leads to unwanted situations, because it is a non-monotonic operation over services and features. When a new service is added to an existing system, conditions have to be checked to ensure that the resulting system satisfies a list of required properties. Following the system approach of Abrial, we develop services and features in an incremental way and use refinement to model the composition of services and features. Proof obligations state the preservation or the non-preservation of properties, namely invariant or more generally safety properties. The method helps us in understanding when a service is interfering with another, and allows us to give multiple views of each service according to the level of its refinement. Finally, we validate our method with the Atelier B tool.
Keywords : a completer
Type de document :
Chapitre d'ouvrage
Stephen, Gilmore et Mark, Ryan. Language Constructs for Designing Features, Springer, 2000
Liste complète des métadonnées

https://hal.inria.fr/inria-00099264
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:52:14
Dernière modification le : mardi 24 avril 2018 - 13:34:46

Identifiants

  • HAL Id : inria-00099264, version 1

Collections

Citation

Dominique Cansell, Dominique Méry. Abstraction and refinement of features. Stephen, Gilmore et Mark, Ryan. Language Constructs for Designing Features, Springer, 2000. 〈inria-00099264〉

Partager

Métriques

Consultations de la notice

79