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 条

[1] Feature interactions in telecommunications software
Dini, P
Logrippo, L
COMPUTER NETWORKS AND ISDN SYSTEMS, 1998, 30 (15): : 1359 - 1362
[2] FEATURE INTERACTIONS AND FORMAL SPECIFICATIONS IN TELECOMMUNICATIONS
ZAVE, P
COMPUTER, 1993, 26 (08) : 20 - &
[3] Feature interactions in telecommunications systems
Bouma, LG
Griffeth, N
Kimbler, K
COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, 2000, 32 (04): : 383 - 387
[4] FEATURE INTERACTIONS IN TELECOMMUNICATIONS SYSTEMS
CAMERON, EJ
VELTHUIJSEN, H
IEEE COMMUNICATIONS MAGAZINE, 1993, 31 (08) : 18 - 23
[5] Guest editorial - Introduction to the special section - Managing feature interactions in telecommunications software systems
Lin, YJ
Jazayeri, M
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1998, 24 (10) : 777 - 778
[6] MANAGING FEATURE INTERACTIONS IN TELECOMMUNICATIONS SYSTEMS
LIN, YJ
GRIFFETH, ND
IEEE COMMUNICATIONS MAGAZINE, 1993, 31 (08) : 16 - 17
[7] A formal verification of feature interactions
Leneutre, J
Tingaud, R
ALCATEL TELECOMMUNICATIONS REVIEW, 1999, (01): : 16 - 18
[8] An architectural approach to minimizing feature interactions in telecommunications
Zibman, I
Woolf, C
OReilly, P
Strickland, L
Willis, D
Visser, J
IEEE-ACM TRANSACTIONS ON NETWORKING, 1996, 4 (04) : 582 - 596
[9] SPECS - FORMAL METHODS AND TECHNIQUES FOR TELECOMMUNICATIONS SOFTWARE-DEVELOPMENT
DAUPHIN, M
MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 117 - 124
[10] A formal approach to reactive systems software: A telecommunications application in ESTEREL
Jagadeesan, LJ
Puchol, C
VonOlnhausen, JE
FORMAL METHODS IN SYSTEM DESIGN, 1996, 8 (02) : 123 - 151

← 1 2 3 4 5 →