Skip to main content
SpringerLink
Log in

Playing with Abstraction and Refinement for Managing Features Interactions

A Methodological Approach to Feature Interaction Problem

  • Conference paper
  • First Online:
ZB 2000: Formal Specification and Development in Z and B (ZB 2000)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1878))

Included in the following conference series:

Abstract

The feature interaction problem can be managed by the use of abstract models related by the refinement relationship. A service is incrementally built with respect to the requirement and the combination of services is defined as an instance of the refinement relationship. We use the B method and especially the event-based approach and we show how features and services can be safely combined to obtain a sound model of combined services. Two refinements are defined following directions of refinement and the refinement-as-composition principle is developed with the B-event-based approach called B system. Although service composition is non monotonie, B system provides a framework for analysing services and services composition.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Abadi and L. Lamport. Composing specifications. Transactions On Programming Languages and Systems, 15(1):73–132, January 1993.

    Google Scholar 

  2. J.-R. Abrial. The B book-Assigning Programs to Meanings. Cambridge University Press, 1996.

    Google Scholar 

  3. J.-R. Abrial. Extending b without changing it (for developing distributed systems). In H. Habrias, editor, 1 st Conference on the B method, pages 169–190, November 1996.

    Google Scholar 

  4. J.-R. Abrial and L. Mussat. Introducing dynamic constraints in B. In D. Bert, editor, B’98:Recent Advances in the Development and Use of the B Method, volume 1393 of Lecture Notes in Computer Science. Springer-Verlag, 1998.

    Google Scholar 

  5. J.R. Abrial. Cryptographic protocol specification and design. Steria Meeting on protocols, May 1997.

    Google Scholar 

  6. J.R. Abrial. Development of the abr protocol. ps file, february 1999.

    Google Scholar 

  7. J.R. Abrial. Event-driven sequential programs, ps file, March 2000.

    Google Scholar 

  8. J.R. Abrial and L. Mussat. Specification and design of a transmission protocol by sucessive refinements using B. Steria Meeting on Protocols, May 1997.

    Google Scholar 

  9. K. R. Apt and E. R. Olderog. Proof rules and transformations dealing with fairness. Science of Computer Programming, 3:65–100, 1983.

    Article  MATH  MathSciNet  Google Scholar 

  10. C. Areces, W. Bouma, and M. de Rijke. Description logics and feature interaction. Technical report, KPN Research, 1999.

    Google Scholar 

  11. J. Blom, B. Johnsson, and L. Kempe. Automatic detection of feature interactions in temporal logic. In K. E. Cheng and T. Ohta, editors, Feature Interactions in Telecommunications Systems, pages 1–19. IOS Press, 1996. [15].

    Google Scholar 

  12. J. Blom, B. Jonsson, and L. Kempe. Using temporal logic for modular specification of telephone services. In L. G. Bouma and H. Velthuijsen, editors, Feature Interactions in Telecommunications Systems, pages 197–216. IOS Press, 1994.

    Google Scholar 

  13. L. G. Bouma and H. Velthuijsen, editors. Feature Interactions in Telecommunications Systems. IOS Press, 1994.

    Google Scholar 

  14. K. M. Chandy and J. Misra. Parallel Program Design A Foundation. Addison-Wesley Publishing Company, 1988. ISBN 0-201-05866-9.

    Google Scholar 

  15. K. E. Cheng and T. Ohta, editors. Feature Interactions in Telecommunications Systems. IOS Press, 1996.

    Google Scholar 

  16. P. Combes, M. Michel, and B. Renard. Formalisation verification of telecommunications service interactions using sfl methods and tools. In 6th SDL Forum, 1993.

    Google Scholar 

  17. P. Combes and S. Pickin. Formalisation of a user view of network and services for feature interaction detection. In L. G. Bouma and H. Velthuijsen, editors, Feature Interactions in Telecommunications Software System, pages 120–135. IOS Press, 1994. [13].

    Google Scholar 

  18. P. Dini, R. Boutaba, and L. Logrippo, editors. Feature Interactions in Telecommunications Newtworks IV, Montreal, 1997. IOS Press.

    Google Scholar 

  19. L. du Bousquet, F. Ouebdessalam, J.-L. Richier, and N. Zuanon. Incremental Feature Validation: A Synchronous Point of View. In K. Kimbler and W. Bouma, editors, Feature Interaction Workshop. IOS Press, 1998. In [30].

    Google Scholar 

  20. M. Frappier, A. Mili, and J. Desharnais. Detecting Feature Interaction on Relational Specifications. In P. Dini, R. Boutaba, and L. Logrippo, editors, Feature Interaction Workshop. IOS Press, 1997. In [18].

    Google Scholar 

  21. A. Gammelgaard and J. E. Kristensen. Interaction detection, a logical approach. In L. G. Bouma and H. Velthuijsen, editors, Feature Interactions in Telecommunications Systems, pages 178–196. IOS Press, 1994.

    Google Scholar 

  22. J.-P. Gibson, G. Hamilton, and D. Méry. Integration problems in telephone feature requirements. In A. Galloway and K. Taguchi, editors, IFM’99 Integrated Formal Methods 1999, Workshop In Computing Science, YORK, June 1999. Springer Verlag.

    Google Scholar 

  23. J.-P. Gibson, G. Hamilton, and D. Méry. A taxonomy for triggered interactions using fair objects semantics. In Muffy Calder and Evan Magill, editors, FIW’00 Sixth International Workshop on Feature Interactions in Telecommunications and Software Systems, Glasgow, Scotland, United Kingdom, 17th–19th May 2000.

    Google Scholar 

  24. J.-P. Gibson, B. Mermet, and D. Méry. Feature interactions: A mixed semantic model approach. In Gerard O’Regan and Sharon Flynn, editors, 1st Irish Workshop on Formal Methods, Dublin, Ireland, July 1997. Irish Formal Methods Special Interest Group (IFMSIG), Springer Verlag, http://ewic.springer.co.uk/.

  25. J.-P. Gibson and D. Méry. Telephone feature verification: Translating sdl to tla+. In Eighth SDL Forum Evolving methods. North-Holland, 1997. Evry, France, 22–26 September 1997.

    Google Scholar 

  26. P. Gibson and D. Méry. Formal modelling of services for getting a better understanding of the feature interaction problem-multi-view approach. In PSI’99, Andrei Ershov Third International Conference, PERSPECTIVES OF SYSTEM INFORMATICS, Lecture Notes in Computer Science, page 25, Novosibirsk, Akademgorodok, Russia, 6–9 July 1999. Springer Verlag. Lecture Notes in Computer Science.

    Google Scholar 

  27. IEEE, editor. Special Section Managing Feature Interactions in Telecommunications Sofware Systems, volume 24. IEEE Computer Society, October 1998.

    Google Scholar 

    Google Scholar 

  28. C. B. Jones. Tentative steps towards a development method for interfering programs. Transactions On Programming Languages and Systems, 5(4):576–619, 1983.

    Article  Google Scholar 

  29. D. O. Keck and P. J. Kuehn. The feature and service interaction problem in telecommunications systems: A survey. IEEE Transactions on Software Engineering, 24(10):779–796, October 1998. In [27].

    Google Scholar 

  30. K. Kimbler and L. G. Bouma, editors. Feature Interactions in Telecommunications and Software Systems V, Lund, 1998. IOS Press.

    Google Scholar 

  31. L. Lamport. A temporal logic of actions. Transactions On Programming Languages and Systems, 16(3): 872–923, May 1994.

    Google Scholar 

  32. F. J. Lin, H. Liu, and A. Ghosh. A Methodology for Feature Interaction Detection in the AIN 0.1 Framework. IEEE Transactions on Software Engineering, 24(10):797–817, October 1998. In [27].

    Google Scholar 

  33. B. Mermet and D. Méry. Incremental specification of telecommunication services. In M. Hinchey, editor, First IEEE International Conference on Formal Engineering Methods (ICFEM), Hiroshima, November 1997. IEEE.

    Google Scholar 

  34. B. Mermet and D. Méry. Safe combinations of services using b. In John McDermid, editor, SAFECOMP97 The 16th International Conference on Computer Safety, Reliability and Security, York, September 1997. Springer Verlag.

    Google Scholar 

  35. B. Mermet and D. Méry. Service specifications to b, or not to b. In Mark Ardis, editor, Second Workshop on Formal Methods in Software Practice, Clearwater Beach, Florida, March 4–5 1998. ACM Press.

    Google Scholar 

  36. D. Méry. Requirements for a temporal B: Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems. In A. Galloway and K. Taguchi, editors, IFM’99 Integrated Formal Methods 1999, Workshop In Computing Science, YORK, June 1999.

    Google Scholar 

  37. S. Owicki and D. Gries. An axiomatic proof technique for parallel programs i. Acta Informatica, 6:319–340, 1976.

    Article  MATH  MathSciNet  Google Scholar 

  38. M. Plath and M. Ryan. Plug-and-play features. In K. Kimbler and W. Bouma, editors, Feature Interaction Workshop. IOS Press, 1998. In [30].

    Google Scholar 

  39. E. Sekerinski and K. Sere, editors. Program Development by Refinement. Springer, 1999.

    Google Scholar 

  40. STERIA-Technologies de l’Information, Aix-en-Provence (F). AtelierB, Manuel Utilisateur, 1998. Version 3.5.

    Google Scholar 

  41. K. Turner. Validating Architectural Feature Descriptions using LOTOS. In K. Kimbler and W. Bouma, editors, Feature Interaction Workshop. IOS Press, 1998. In [30].

    Google Scholar 

  42. Kenneth J. Turner. Relating architecture and specification. Computer Networks and ISDN Systems, 1997. http://www.cs.stir.ac.uk/~kjt/research/publications.html.

  43. Union Internationale des Télécommunications. Réseau intelligent-introduction á l’ensemble de capacités 1 du réseau intelligent. Technical Report UIT-T Q.1211, Union Internationale des Télécommunications, October 1993. Réseau Intelligent.

    Google Scholar 

  44. T. Yoneda and T. Ohta. A Formal Approach for Definition and Detection of Feature Intercation. In K. Kimbler and W. Bouma, editors, Feature Interaction Workshop. IOS Press, 1998. In [30].

    Google Scholar 

  45. P. Zave. Feature interactions and formal specifications in telecommunications. Computer, August 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LORIA UMR 7503, BP 239, Cazmpus Scientifique, 54506, Vandœuvre-lés-Nancy Cédex, France

    Dominique Cansell & Dominique Méry

  2. Université de Metz Ile du Saulcy, 57045, Metz Cédex, France

    Dominique Cansell

  3. Université Henri Poincaré, Nancy 1, BP 239, Cazmpus Scientifique, 54506, Vandœuvre-lés-Nancy Cédex, France

    Dominique Méry

Authors
  1. Dominique Cansell
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dominique Méry
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cansell, D., Méry, D. (2000). Playing with Abstraction and Refinement for Managing Features Interactions. In: ZB 2000: Formal Specification and Development in Z and B. ZB 2000. Lecture Notes in Computer Science, vol 1878. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44525-0_10

Download citation

  • DOI: https://doi.org/10.1007/3-540-44525-0_10

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67944-8

  • Online ISBN: 978-3-540-44525-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation