Models for Feature Descriptions and Interactions

  title={Models for Feature Descriptions and Interactions},
  author={Jan A. Bergstra and Wiet Bouma},
The problem of feature interactions in telephone-and other software systems ((13]) has been identiied as being of great importance, but its solution remains elusive. In recent years, amongst others, several formal approaches have been tried, but the use of formal methods has met with limitations and even criticism. This criticism is discussed in more detail, and two modelling approaches, viz. Interworkings and Timed Frames are proposed that (partially) meet the objections. The models are… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications referenced by this paper.
Showing 1-4 of 4 references

Formalisation of a user view of network and services forfeature interaction detection

  • T. Ohta
  • 1995

Using temporal logic for modular speci cationsof telephone services

  • L. Kempe
  • In Bouma and Velthuijsen
  • 1994

Similar Papers

Loading similar papers…