3,002
views
0
recommends
+1 Recommend
1 collections
    0
    shares

      Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

      scite_
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Feature Interactions: a Mixed Semantic Model Approach

      proceedings-article
      , ,
      Proceedings of the 1st Irish Workshop on Formal Methods (FM)
      Irish Workshop on Formal Methods
      3-4 July 1997
      Bookmark

            Abstract

            The feature interaction problem is prominent in telephone service development. Many of the problems which arise when features combine are due to badly developed requirements models for individual features. With sufficiently good requirements models, in which each feature is formally modelled and validated against customer understanding, the feature interaction problem is much more tractable. Through a number of case studies, we have discovered that no one semantic framework is suitable for the synthesis and analysis of formal feature requirements models. Consequently we advocate a mixed-model approach. Firstly, we have an operational model, written in LOTOS using an object-based style, which is useful for constructing an executablemodel for validation. Secondly,we have a logical model (based on the B method) which is used to verify the state invariant properties of our system. Finally, we use TLA to provide semantics for a static analysis of liveness and fairness properties. No one model can treat each of these aspects, yet each of these aspects of the conceptualisation are necessary in the formal development of features. A simple example, in which we combine call forwarding and call screening features, illustrates the roles played by each of the models.

            Content

            Author and article information

            Conference
            September 1997
            September 1997
            : 1-14
            Affiliations
            [0001]CRIN-CNRS, Université Henri Poincaré Nancy 1

            Vandoeuvre-lès-Nancy, France
            Article
            10.14236/ewic/FM1997.3
            23c952c4-5878-4205-90de-33b4783f9bb5
            © Paul Gibson et al. Published by BCS Learning and Development Ltd. Proceedings of the 1st Irish Workshop on Formal Methods, Dublin

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Proceedings of the 1st Irish Workshop on Formal Methods
            FM
            1
            Dublin
            3-4 July 1997
            Electronic Workshops in Computing (eWiC)
            Irish Workshop on Formal Methods
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FM1997.3
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction

            Comments

            Comment on this article