Formal definitions of feature interactions in telecommunications software

被引：0
|
作者：
Ohta, T [1 ]
Cristian, F
机构：
[1] Soka Univ, Fac Engn, Hachioji, Tokyo 1928577, Japan
[2] Univ Calif San Diego, San Diego, CA 92103 USA
来源：
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES | 1998年 / E81A卷 / 04期
关键词：
telecommunication service; feature interaction; formal definition;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：635 / 638
页数：4
相关论文
共 50 条
  • [31] FORMAL DEFINITIONS OF PARAPHYLY AND POLYPHYLY
    FARRIS, JS
    SYSTEMATIC ZOOLOGY, 1974, 23 (04): : 548 - 554
  • [32] ARE DEFINITIONS ELIMINABLE IN FORMAL SYSTEMS
    SCHARLE, TW
    JOURNAL OF SYMBOLIC LOGIC, 1970, 35 (01) : 182 - &
  • [33] Formal approaches for detecting feature interactions, their experimental results, and application to VoIP
    Yoneda, T
    Kawauchi, S
    Yoshida, J
    Ohta, T
    FEATURE INTERACTIONS IN TELECOMMUNICATIONS AND SOFTWARE SYSTEMS VII, 2003, : 205 - 212
  • [34] Feature Similarity: A Method to Detect Unwanted Feature Interactions Earlier in Software Product Lines
    Khoshmanesh, Seyedehzahra
    Lutz, Robyn R.
    SIMILARITY SEARCH AND APPLICATIONS (SISAP 2019), 2019, 11807 : 356 - 361
  • [35] Feature Interactions in a Software Product Line for E-voting
    Gibson, J. Paul
    Lallet, Eric
    Raffy, Jean-Luc
    FEATURE INTERACTIONS IN SOFTWARE AND COMMUNICATION SYSTEMS X, 2009, : 91 - 106
  • [36] Identifying traceability between feature model and software architecture in software product line using formal concept analysis
    Satyananda, Tonny Kurniadi
    Lee, Danhyung
    Kang, Sungwon
    Hashmi, Sajid Ibrahim
    ICCSA 2007: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND APPLICATIONS, 2007, : 380 - +
  • [37] QUALITY ASSURANCE FOR TELECOMMUNICATIONS SOFTWARE
    DUNN, RH
    IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, 1986, 4 (07) : 1002 - 1008
  • [38] Mobile software agents for telecommunications
    Karmouch, A
    IEEE COMMUNICATIONS MAGAZINE, 1998, 36 (07) : 24 - 25
  • [39] Software architectures for telecommunications networks
    Zuidweg, H
    COMPUTER COMMUNICATIONS, 2002, 25 (02) : 119 - 120
  • [40] SOFTWARE PRODUCTION SYSTEM FOR TELECOMMUNICATIONS
    VEILLON, A
    NICOLAS, B
    COMMUTATION & TRANSMISSION, 1988, 10 (03): : 61 - 70
12345