SFI: a Feature Integration Tool

  • Malte Plath
  • Mark Ryan
Part of the Advances in Computing Science book series (ACS)


The concept of feature has emerged in telephone systems analysis as a way of describing optional services to which telephone users may subscribe. Features offered by telephone companies include call-forwarding, automatic-call-back, and voice-mail. Features are not restricted to telephone systems, however. Any part or aspect of a specification which the user perceives as having a self-contained functional role is a feature. For example, a printer may exhibit such features as: ability to understand PostScript; Ethernet card; ability to print double-sided; having a serial interface; and others. The ability to think in terms of features is important to the user, who often understands a complex system as a basic system plus a number of features. It is also an increasingly common way of designing products.


Versus Versus Versus Base System Versus Versus Versus Versus Feature Interaction Versus Versus Versus Versus Versus 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Barney, G. C. and dos Santos, S. M. (1985). Elevator Analysis, Design and Control. IEE Control Engineering Series 2. Peter Peregrinus Ltd.Google Scholar
  2. Berry, M. (1996). Proving properties of the lift system. Master’s thesis, School of Computer Science, University of Birmingham.Google Scholar
  3. Bouma, L. G. and Velthuijsen, H., editors (1994). Feature Interactions in Telecommunications Systems, Amsterdam, The Netherlands. IOS Press.Google Scholar
  4. Cheng, K. E. and Ohta, T., editors (1995). Feature Interactions in Telecommunications III, Tokyo, Japan. IOS Press.Google Scholar
  5. Clarke, E., Grumberg, O., and Long, D. (1993). Verification tools for finite-state concurrent systems. In A Decade of Concurrency, number 803 in Lecture Notes in Computer Science, pages 124–175. Springer Verlag.CrossRefGoogle Scholar
  6. Dini, P. et al., editors (1997). Feature Interactions in Telecommunications and Distributed Systems IV, Montreal, Canada. IOS Press.Google Scholar
  7. Griffeth, N., editor (1992). 1st International Workshop on Feature Interactions in Telecommunications Software Systems, St. Petersburg, Florida, USA.Google Scholar
  8. Huth, M. R. and Ryan, M. D. (1998). Logic in Computer Science: modelling and reasoning about systems. Cambridge University Press. Book in preparation.Google Scholar
  9. Katz, S. (1993). A superimposition control construct for distributed systems. ACM Transactions on Programming Languages and Systems,15(2):337–356.CrossRefGoogle Scholar
  10. Kimbler, K. and Bouma, L. G., editors (1998). Feature Interactions in Telecommunications and Software Systems V, Lund, Sweden. IOS Press.Google Scholar
  11. K.L. McMillan (1993). Symbolic Model Checking. Kluwer Academic Publishers.MATHCrossRefGoogle Scholar
  12. Plath, M. and Ryan, M. (1998). Plug-and-play features. In (Kimbler Bouma 1998), pages 150–164.Google Scholar

Copyright information

© Springer-Verlag Wien 1999

Authors and Affiliations

  • Malte Plath
  • Mark Ryan

There are no affiliations available

Personalised recommendations