Résumé
When engineers design a system with features, they wish to have
methods to prove that the features do not interact in ways which are
undesirable. One approach to demonstrating
that features do not interact undesirably is to equip them with
properties which are intended to hold of a system having the feature. In this view, a feature is a pair
consisting of the implementation of the feature and a set of properties.
Integrating
a feature with a base system
consists of modifying the base system in
the way described by the feature implementation.
The integration is
deemed successful if the resulting system satisfies the
properties of the feature (and of the base system). Evidence that a feature
does not negatively interact with second feature
may be obtained by verifying that introducing the second feature
does not destroy
the properties of the first feature.
langue originale | Anglais |
---|---|
titre | Language Constructs for Describing Features |
Sous-titre | Proceedings of the FIREworks workshop |
rédacteurs en chef | S Gilmore, M. D Ryan |
Lieu de publication | London |
Editeur | Springer |
Pages | 85-103 |
Nombre de pages | 19 |
Etat de la publication | Publié - 2000 |