Formal Criteria for Feature Interactions in Telecommunications Systems

Bredereke, Jan

doi:10.1007/978-0-387-35066-0_7

Cited by 3 publications

(4 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Bredereke [50,30] presents an automata theoretic formalisation of the feature interaction problem. He introduces a specification style that is based on the principles of modification on a coarsegrained level and addition of transitions as the only allowed change of a specification (deletions are not allowed).…”

Section: Formal Techniquesmentioning

confidence: 99%

“…Based on these principles, the term of feature interaction is formally defined, and necessary conditions for interactions are presented. The detection technique is implemented in the tool CONFINE based on the formal description technique ESTELLE [50,51]. A resolution mechanism is sketched, which is based on the introduction of precedence relations between transitions and on the specification of additional behaviour in order to resolve the conflict.…”

Section: Formal Techniquesmentioning

confidence: 99%

“…Precedences between transitions are used in the resolution method sketched by Bredereke [50], however, in cases where this is not sufficient, additional behaviour has to be specified. This method is described in more detail in a technical report [106], where ESTELLE is used as a specification language.…”

Section: Situation Dependent Restrictionmentioning

confidence: 99%

See 2 more Smart Citations

The feature and service interaction problem in telecommunications systems: a survey

Keck

Kuehn

1998

IIEEE Trans. Software Eng.

153

View full text Add to dashboard Cite

Today's telecommunications systems are enhanced by a large and steadily growing number of supplementary services, each of which consists of a set of service features. A situation where a combination of these services behaves differently than expected from the single services' behaviours, is called service interaction. This interaction problem is considered as a major obstacle to the introduction of new services into telecommunications networks. In this contribution, we give a survey of the work carried out in this field during the last decade. After a brief review of classification criteria that exist for feature interactions so far, we use a perspective we call the emergence level view. This perspective pays respect to the fact that the sources for interactions can be of many different kinds, like, e. g., requirement conflicts or resource contentions. It is used to rationalise the impossibility of coping with the problem with one single approach. Afterwards, we present a framework of four different criteria in order to classify the approaches dealing with the problem: The general kind of approach taken, a refinement of the well-known detection, resolution, and prevention categories, serves as the main classification criterion. It is complemented by the method used, the stage during the feature lifecycle where an approach applies, and the system (network) context. The major results of the different approaches are then presented briefly using this classification framework. We finally draw some conclusions on the applicability of this framework and on possible directions of further research in this field.

show abstract

Section: Formal Techniquesmentioning

confidence: 99%

Section: Formal Techniquesmentioning

confidence: 99%

See 1 more Smart Citation

The feature and service interaction problem in telecommunications systems: a survey

Keck

Kuehn

1998

IIEEE Trans. Software Eng.

153

View full text Add to dashboard Cite

show abstract

“…Among them we recall [3], presenting feature specifications based on logical formulae conceptually similar to our rules, but their idea of "feature composition" and of "interaction" is really less flexible than our (e.g., using our terminology transitions are composed only when have the same label, and interaction is just atomic). In e.g., [4] Bredereke, trying to give a formal view of features and interactions, considers the importance of the behavioral aspects. Also [5] presents a formal based treatment of features for telecommunication systems, but at a more concrete level (i.e.…”

Section: Conclusion and Related Workmentioning

confidence: 99%

A Discipline for Handling Feature Interaction

Astesiano

Reggio

1998

Requirements Targeting Software and Systems Engineering

View full text Add to dashboard Cite

A challenging problem within the wider software evolution problem is the development of systems by features. While most of the recent work centered around the detection of feature interactions, we present an approach based on modular specification, separation of concerns and prevention of unwanted interactions. We illustrate our approach extending a formalism for the specification of reactive systems and showing its application to some aspects of the well-known case of telephone systems (POTS and variations). The paper concentrates more on the methodological aspects, which are, at large extent, independent of the formalism. Indeed, this seems to be the case of some rather novel concepts like the distinction between pre-features (features in isolation) and features, closed and open semantics, feature composition and discipline of feature interaction, and finally the pervading role of a kind of anti-frame assumption

show abstract

Unsuccessful calls in PBX-human factor considerations

Jevtic

MELECON '98. 9th Mediterranean Electrotechnical Conference. Proceedings (Cat. No.98CH36056)

View full text Add to dashboard Cite

Formal Criteria for Feature Interactions in Telecommunications Systems

Cited by 3 publications

References 6 publications

The feature and service interaction problem in telecommunications systems: a survey

The feature and service interaction problem in telecommunications systems: a survey

A Discipline for Handling Feature Interaction

Unsuccessful calls in PBX-human factor considerations

Contact Info

Product

Resources

About