| Models for Feature Descriptions and Interactions (1997) | |||||||||||||||
Abstract | |||||||||||||||
| The problem of feature interactions in telephone - and other software systems ([13]) has been identified 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 illustrated with examples. The paper concludes with directions for future work. 1 Introduction The problem of feature interactions in telephone - and other software systems ([13]) has been identified as being of great importance, but as of yet it seems further away from a solution than ever. In recent years, among others, several formal approaches have been tried (cf. [7, 9, 11, 12, 5, 4, 18, 14]), but recently there has been some disenchantment with the use of formal methods to tackle the... | |||||||||||||||
Details der Publikation | |||||||||||||||
| |||||||||||||||