350
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Feature Interactions: a Mixed Semantic Model Approach

      , ,

      Proceedings of the 1st Irish Workshop on Formal Methods (FM)

      Irish Workshop on Formal Methods

      3-4 July 1997

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          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.

          Related collections

          Most cited references 2

          • Record: found
          • Abstract: not found
          • Article: not found

          The temporal logic of actions

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            The operational versus the conventional approach to software development

             Pamela Zave (1984)
              Bookmark

              Author and article information

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

              Vandoeuvre-lès-Nancy, France
              Article
              10.14236/ewic/FM1997.3
              © 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
              Product
              Product Information: 1477-9358BCS Learning & Development
              Self URI (journal page): https://ewic.bcs.org/
              Categories
              Electronic Workshops in Computing

              Comments

              Comment on this article