Author | Conference | Journal | Organization | Year | DOI
Look for results that meet for the following criteria:
Academic
Publications
Integration Problems in Telephone Feature Requirements
Edit
Integration Problems in Telephone Feature Requirements   (Citations: 5)
BibTex | RIS | RefWorks Download
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable for the synthesis and analysis of formal feature requirements models, and the choice of modelling language has certain knock-on effects on the transformational design steps which lead to imple- mentation. We initially describe a mixed semantic model approach whilst acknowledging that integration is a major concern. Our method incorporates operational state transition models, temporal logic formulae and object oriented structuring mechanisms. Each of these approaches gives rise to certain advantages and disadvantages, and we propose a complementary integration which allows the client to express their requirements in the way in which they understand their needs, whilst building formal models for transformation and verification during design. This paper evaluates such a mixed semantic approach in the domain of telephone feature de- velopment. It motivates the need for a single formal language which provides a unified semantic framework and incorporates all of the desirable properties of each of the semantic models used in the mixed semantic approach. We propose the hidden algebraic approach as providing just such a suitable semantic framework.
Conference: Integrated Formal Methods - IFM , pp. 129-148, 1999
Cumulative Annual
    • ...Modeling and verification of telephone networks with interacting features has been considered in the interesting papers [1,2,3,5,13,14,17], where communicating EFA or 84 D. Beloglazov and V. Nepomniaschy...
    • ...related models are used in [1,3,5,17] and high-level Petri nets are used in [2,13,14]...

    Dmitri M. Beloglazov, et al. A Two-Level Approach for Modeling and Verification of Telecommunicatio...

    • ...Assuming that a property P holds for some specification of a system S, i.e., P (S), we expect a refined specification S� to preserve that property, i.e., P (S) ⇒ P (S� ). Refinement is a classical software engineering technique [2,3] developed to support transformational design and implementation, that has recently been deployed in defining essential concepts for component technology [12,13] and also for interference analysis [14,15]...
    • ...Feature interaction in telephony systems poses a similar problem [14,15]...
    • ...In [15], an investigation into common simple telephone systems and advanced features such as call waiting and call forwarding is carried out...
    • ...Suitable environments for proof support could be tools supporting pre- and postcondition based specification or tools such as tools for the B specification language, which have also been used in [25] and in the feature interaction analysis [15] discussed earlier on. 348 C.Pahl...

    Claus Pahl. Interference Analysis for Dependable Systems Using Refinement and Abst...

    • ...Our idea is directed by our previous experiments on B and TLA + [22,23,26,24,33, 36], where we have effectively developed case studies, because a tool [40] was available and usable and we were able to manage complex proofs of developments...
    • ...‐ State-based approach for defining and detecting feature interactions [24,33,44,21] ‐ Relational approach for defining and detecting feature interactions [20] ‐ Logical approach for defining and detecting feature interactions [12,11,22,24,25, 10]...

    Dominique Cansell, et al. Playing with Abstraction and Refinement for Managing Features Interact...

Order by:

Citations (5)

Share this on | Contribute to Academic