Publication -
 Bernhard Rumpe
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.


Available as pdf


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