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 条
  • [21] Software Security Vulnerabilities Seen As Feature Interactions
    Jourdan, Guy-Vincent
    FEATURE INTERACTIONS IN SOFTWARE AND COMMUNICATION SYSTEMS X, 2009, : 149 - 159
  • [22] Modeling interactions in feature oriented software designs
    Liu, J
    Batory, D
    Nedunuri, S
    FEATURE INTERACTIONS IN TELECOMMUNICATIONS AND SOFTWARE SYSTEMS VIII, 2005, : 178 - 197
  • [23] Hybrid approach to software interworking problems: Managing interactions between legacy and evolving telecommunications software
    Calder, E.
    Magill, E.
    Marples, D.
    IEE Proceedings: Software, 1999, 146 (03): : 167 - 175
  • [24] INDUSTRIALIZING FORMAL METHODS FOR TELECOMMUNICATIONS
    NORRIS, MT
    STOCKMAN, SG
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 387 : 159 - 175
  • [25] New definitions and measures of telecommunications access
    Mueller, M
    SOCIAL SCIENCE COMPUTER REVIEW, 1996, 14 (01) : 60 - 61
  • [26] Feature Definitions in Feature Catalogues
    Racetin, I.
    CARTOGRAPHIC JOURNAL, 2015, 52 (01): : 67 - 72
  • [27] A feature-based classification of formal verification techniques for software models
    Sebastian Gabmeyer
    Petra Kaufmann
    Martina Seidl
    Martin Gogolla
    Gerti Kappel
    Software & Systems Modeling, 2019, 18 : 473 - 498
  • [28] A feature-based classification of formal verification techniques for software models
    Gabmeyer, Sebastian
    Kaufmann, Petra
    Seidl, Martina
    Gogolla, Martin
    Kappel, Gerti
    SOFTWARE AND SYSTEMS MODELING, 2019, 18 (01): : 473 - 498
  • [29] SOFTWARE - INTELLIGENT TELECOMMUNICATIONS
    ZWEIER, P
    WESTERN ELECTRIC ENGINEER, 1981, 25 (01): : U4 - U5
  • [30] Towards Visualization of Feature Interactions in Software Product Lines
    Illescas, Sheny
    Lopez-Herrejon, Roberto E.
    Egyed, Alexander
    2016 IEEE WORKING CONFERENCE ON SOFTWARE VISUALIZATION, 2016, : 46 - 50
12345