Advertisement

Defining and Detecting Feature Interactions

  • Marc Frappier
  • Ali Mili
  • Jules Desharnais
Chapter
Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT)

Abstract

We describe a relational method for specifying features and detecting feature interactions. The method allows for an independent specification of system features, and for a detection of interaction between features. The method is based on the lattice of relational specifications: the system specification is given as the conjunction (lattice operator meet) of the features; a feature interaction is detected when the meet of the features does not exist. Examples of detection are given using logic programming.*

Keywords

Feature interactions relational specifications logic programming 

References

  1. Apt, K.R. (1990) Logic Programming, in Handbook of Theoretical Computer Science, Vol. B, J. van Leeuwen, ed., North-Holland, 493–574.Google Scholar
  2. Blom, J., B. Jonsson, L. Kempe (1994) Using Temporal Logic for Modular Specification of Telephone Services, in Feature Interactions in Telecommunications Software Systems, W. Bouma and H. Velthuijsen, eds, IOS Press, 197–216.Google Scholar
  3. Boudriga, N., F. Elloumi, A. Mili (1992) On The Lattice of Specifications: Applications to a Specification Methodology, Formal Aspects of Computing 4 544–571.zbMATHCrossRefGoogle Scholar
  4. Bouma, W., H. Velthuijsen (1994) Feature Interactions in Telecommunications Software Systems. IOS Press.Google Scholar
  5. Bowen, T.F., F.S. Dworak, C.H. Chow, N. Griffeth, G.E. Herman, Y-J. Lin (1989) The Feature Interaction Problem in Telecommunications Systems, in Proc. 7th Int. Conf. on Software Engineering for Telecommunication Switching Systems, 59–62.Google Scholar
  6. Broy, M. (1995) Mathematics of Software Engineering, in Mathematics of Program Construction, 3rd Int. Conf., B. Möller, ed., Springer-Verlag, Lecture Notes in Computer Science 947, 18–48.CrossRefGoogle Scholar
  7. Butler, M.J. (1994) Feature Interaction Analysis Using Z, in Report on Methods and Tools for Service Creation (First Version) Part II: Methods and Tools for Service Interaction Analysis, CEC RACE project 2017 SCORE, R2017/SCO/WP2/DS/L/018/b2. ftp://ftp.abo.fi/pub/cs/papers/michael/fiz.ps.Z.Google Scholar
  8. Cameron, E.J., N. Griffeth, Y.-J. Linand, M.E. Nilson, W.K. Schnure, H. Velthuijsen (1994) A Feature Interaction Benchmark for IN and Beyond, in Feature Interactions in Telecommunications Software Systems, W. Bouma and H. Velthuijsen, eds, IOS Press, 1–23. ftp://thumper.bellcore.com/pub/nancyg/benchmark.psGoogle Scholar
  9. Cheng, K.E., T. Ohta (1995) Feature Interactions in Telecommunications III.IOS Press.Google Scholar
  10. Davey, B.A., H.A. Priestley (1990) Introduction to Lattices and Order.Cambridge University Press.zbMATHGoogle Scholar
  11. Deck, M.D., M.G. Plaszkoch, R.C. Linger and H.D. Mills (1992) Extended Semantics for Box Structures. Proceedings, 25th Hawaii International Conference on Systems Sciences. Kauwai, Hawaii, 382–393.Google Scholar
  12. Desharnais, J., N. Belkhiter, S. Ben Mohamed Sghaier, F. Tchier, A. Jaoua, A. Mili, and N. Zaguia (1995) Embedding a Demonic Semilattice in a Relation Algebra. Theoretical Computer Science 149 333–360.zbMATHMathSciNetCrossRefGoogle Scholar
  13. Faci, M., L. Logrippo (1994) Specifying Features and Analysing their Interactions in a LOTOS Environment, in Feature Interactions in Telecommunications Software Systems, W. Bouma and H. Velthuijsen, eds, IOS Press, 136–151.Google Scholar
  14. Gammelgaard, A., J.E. Kristensen (1994) Interaction Detection, a Logical Approach, in Feature Interactions in Telecommunications Software Systems, W. Bouma and H. Velthuijsen, eds, IOS Press, 178–196.Google Scholar
  15. Gunter, C.A., D.S. Scott (1990) Semantic Domains, in Handbook of Theoretical Computer Science, Vol. B, J. van Leeuwen, ed., North-Holland, 635–674.Google Scholar
  16. Kimbler, K.H. Velthuijsen (1995) Feature Interaction Benchmark, KPN Research, PO Box 421, 2260 AK Leidschendam, The Netherlands, 1–13. http://www.docs.uu.se /docs/fi/benchmark.ps.gz Google Scholar
  17. Mills, H.D., R.C. Linger, A.R. Hevner (1986) Principles of Information Systems Analysis and Design,Academic Press.Google Scholar
  18. Möller, B. (1991) Relations as a Program Development Language. In Constructing Programs from Specifications, B. Möller, ed., Proc. IFIP TC 2/WG 2.1 Pacific Grove, CA, USA, May 13–16, North-Holland, 373–397.Google Scholar
  19. Mili, A., J. Desharnais, F. Mili (1987) Relational Heuristics for the Design of Deterministic Programs. Acta Informatica 24 (3) 239–276.zbMATHMathSciNetCrossRefGoogle Scholar
  20. Mosses, P.D. (1990) Denotational Semantics, in Handbook of Theoretical Computer Science, Vol. B, J. van Leeuwen, ed., North-Holland, 575–631.Google Scholar
  21. Wang, Y., Parnas, D.L. (1994) Simulating the Behavior of Software Modules by Trace Rewriting. IEEE Transactions on Software Engineering, 20 (10) 750–759.CrossRefGoogle Scholar

Copyright information

© IFIP 1997

Authors and Affiliations

  • Marc Frappier
    • 1
  • Ali Mili
    • 2
  • Jules Desharnais
    • 3
  1. 1.Département de mathématiques et d’informatiqueUniversité de SherbrookeSherbrooke, QuébecCanada
  2. 2.Department of Computer ScienceUniversity of OttawaOttawa, OntarioCanada
  3. 3.Département d’informatiqueUniversité LavalSte-Foy, QuébecCanada

Personalised recommendations