Formal Definitions of Feature Interactions in Telecommunications Software
Summary :
Despite the fact that the necessity of FDT (formal description techniques) had been emphasized, many approaches to verifying feature interactions were insufficient. This paper proposes formal definitions for feature interactions which can occur when telecommunication services specified independently are operated in parallel. Seven types of feature interactions are defined formally.
- Publication
- IEICE TRANSACTIONS on Fundamentals Vol.E81-A No.4 pp.635-638
- Publication Date
- 1998/04/25
- Publicized
- Online ISSN
- DOI
- Type of Manuscript
- Special Section LETTER (Special Section on Concurrent Systems Technology)
- Category
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Tadashi OHTA, Flaviu CRISTIAN, "Formal Definitions of Feature Interactions in Telecommunications Software" in IEICE TRANSACTIONS on Fundamentals,
vol. E81-A, no. 4, pp. 635-638, April 1998, doi: .
Abstract: Despite the fact that the necessity of FDT (formal description techniques) had been emphasized, many approaches to verifying feature interactions were insufficient. This paper proposes formal definitions for feature interactions which can occur when telecommunication services specified independently are operated in parallel. Seven types of feature interactions are defined formally.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e81-a_4_635/_p
Copy
@ARTICLE{e81-a_4_635,
author={Tadashi OHTA, Flaviu CRISTIAN, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Formal Definitions of Feature Interactions in Telecommunications Software},
year={1998},
volume={E81-A},
number={4},
pages={635-638},
abstract={Despite the fact that the necessity of FDT (formal description techniques) had been emphasized, many approaches to verifying feature interactions were insufficient. This paper proposes formal definitions for feature interactions which can occur when telecommunication services specified independently are operated in parallel. Seven types of feature interactions are defined formally.},
keywords={},
doi={},
ISSN={},
month={April},}
Copy
TY - JOUR
TI - Formal Definitions of Feature Interactions in Telecommunications Software
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 635
EP - 638
AU - Tadashi OHTA
AU - Flaviu CRISTIAN
PY - 1998
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E81-A
IS - 4
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - April 1998
AB - Despite the fact that the necessity of FDT (formal description techniques) had been emphasized, many approaches to verifying feature interactions were insufficient. This paper proposes formal definitions for feature interactions which can occur when telecommunication services specified independently are operated in parallel. Seven types of feature interactions are defined formally.
ER -
English
