Detecting feature interactions with CAESAR/ALDEBARAN

被引：1
|
作者：
Korver, H
机构：
来源：
SCIENCE OF COMPUTER PROGRAMMING | 1997年 / 29卷 / 1-2期
关键词：
ALDEBARAN; CAESAR; feature interaction; intelligent networks (IN); LOTOS;
D O I：
10.1016/S0167-6423(96)00037-8
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Bouma and Zuidweg (Dutch PTT) formalised a simple example of feature interaction between two telephone services in LOTOS. The interaction takes place between the Abbreviated Dialling and Originating Call Screening service in the IN CS-1 Global Functional Plane. This paper reports on the results that were gained by analysing the example in CAESAR/ALDEBARAN, which is an advanced LOTOS verification toolbox. The results show that even for very small examples, verification goes beyond simulation and testing. (C) 1997 Elsevier Science B.V.
引用
收藏
页码：259 / 278
页数：20
相关论文
共 50 条
  • [31] Detecting Drug-Target Interactions with Feature Similarity Fusion and Molecular Graphs
    Lin, Xiaoli
    Xu, Shuai
    Liu, Xuan
    Zhang, Xiaolong
    Hu, Jing
    BIOLOGY-BASEL, 2022, 11 (07):
  • [32] Using Aspect-Oriented State Machines for Detecting and Resolving Feature Interactions
    Dinkelaker, Tom
    Erradi, Mohammed
    Ayache, Meryeme
    COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2012, 9 (03) : 1045 - 1074
  • [33] Modeling and Detecting Feature Interactions among Integrated Services of Home Network Systems
    Igaki, Hiroshi
    Nakamura, Masahide
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2010, E93D (04): : 822 - 833
  • [34] Detecting Service Chains and Feature Interactions in Sensor-Driven Home Network Services
    Inada, Takuya
    Igaki, Hiroshi
    Ikegami, Kosuke
    Matsumoto, Shinsuke
    Nakamura, Masahide
    Kusumoto, Shinji
    SENSORS, 2012, 12 (07): : 8447 - 8464
  • [35] Detecting and Visualizing Implementation Feature Interactions in Extracted Core Assets of Software Product Line
    Salman, Hamzeh Eyal
    Al-Ma'aitah, Yaqin
    Seriai, Abdelhak-Djamel
    INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2024, 15 (03) : 1354 - 1363
  • [36] Detecting feature interactions in the terrestrial trunked radio (TETRA) network using Promela and Xspin
    Adekunle, CB
    Schneider, S
    THEORETICAL AND PRACTICAL ASPECTS OF SPIN MODEL CHECKING, 1999, 1680 : 136 - 151
  • [37] An efficient method for testing reachability using knowledge in detecting non-determinacy feature interactions
    Kobayashi, J
    Yoneda, T
    Ohta, T
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2002, E85D (04): : 607 - 614
  • [38] Feature Selection for Detecting Gene-Gene Interactions in Genome-Wide Association Studies
    Dorani, Faramarz
    Hu, Ting
    APPLICATIONS OF EVOLUTIONARY COMPUTATION, EVOAPPLICATIONS 2018, 2018, 10784 : 33 - 46
  • [39] An efficient method for testing reachability using knowledge in detecting non-determinacy feature interactions
    Kobayashi, Junpei
    Yoneda, Tae
    Ohta, Tadashi
    2002, Institute of Electronics, Information and Communication, Engineers, IEICE (E85-D) : 607 - 614
  • [40] Feature article - Detecting connectedness
    Roelfsema, PR
    Singer, W
    CEREBRAL CORTEX, 1998, 8 (05) : 385 - 396
12345