Feature Specification and Refinement with State Transition Diagrams
Fourth IEEE Workshop on Feature Interactions in Telecommunications Networks and Distributed Systems
Author(s): Cornel Klein, Christian Prehofer, Bernhard Rumpe Year: 1997 Publisher: IOS-Press Editor: P. Dini Abstract:In this paper, we introduce a graphic specification technique, called state transition diagrams (STD), and show the application to the feature interaction problem. Using a stream-based formal semantics, we provide refinement rules for STDs. Refinements define an implementation relation on STD specifications. We view features as particular refinements which add previously unspecified behavior to a given STD specification. The refinement relation is then used to add features, and to define the notion of conflicting features. Our techniques are demonstrated by a systematic development of an example given by Zave 1995.
BibTeX-Entry:
@inproceedings{ Klein-FIW97,
author = {Cornel Klein and Christian Prehofer and Bernhard Rumpe},
title = {Feature Specification and Refinement with State Transition Diagrams },
booktitle = {Fourth IEEE Workshop on Feature Interactions in Telecommunications Networks and Distributed Systems},
year = {1997},
publisher = {IOS-Press},
editor = {P. Dini}
}
Bernhard Rumpe