Detecting feature interactions in CPL

被引：2
|
作者：
Xu, Yiqun
Logrippo, Luigi [1 ]
Sincennes, Jacques
机构：
[1] Univ Quebec, Dept Comp Sci & Engn, Gatineau, PQ J8X 3X7, Canada
[2] Univ Ottawa, Sch Informat Technol & Engn, Ottawa, ON K1N 6N5, Canada
来源：
JOURNAL OF NETWORK AND COMPUTER APPLICATIONS | 2007年 / 30卷 / 02期
基金：
加拿大自然科学与工程研究理事会;
关键词：
Internet telephony; VoIP; features; services; feature interaction; CPL; Call Processing Language;
D O I：
10.1016/j.jnca.2005.10.001
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
An approach for detecting feature interactions in IETF's Call Processing Language (CPL) scripts is presented. The approach is logic based in the sense that it uses a logic representation of CPL scripts, of requirements and of detection rules and, in several cases, specific detection rules are shown to be derived from requirements by logical deduction. The Simple Formal Specification Language (SFSL) is introduced to express the intentions of CPL scripts in logic format. A method for translating CPL into SFSL is presented. The rules address both interactions within a single script, and interactions between two scripts. An automatic feature interaction detection tool applying these rules was implemented in SWI-Prolog. The general method is not specific to CPL and could be used in other feature interaction research. (C) 2005 Elsevier Ltd. All rights reserved.
引用
收藏
页码：775 / 799
页数：25
相关论文
共 50 条
  • [11] Detecting feature interactions in home appliance networks
    Leelaprute, Pattara
    Matsuo, Takafumi
    Tsuchiya, Tatsuhiro
    Kikuno, Tohru
    PROCEEDINGS OF NINTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING, 2008, : 895 - +
  • [12] Detecting Beneficial Feature Interactions for Recommender Systems
    Su, Yixin
    Zhang, Rui
    Erfani, Sarah
    Xu, Zhenghua
    THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 4357 - 4365
  • [13] An algorithm for detecting 3-way feature interactions
    Kawauchi, S
    Ohta, T
    IEICE TRANSACTIONS ON COMMUNICATIONS, 2004, E87B (07) : 1910 - 1917
  • [14] Detecting feature interactions in telecommunication services with a SAT solver
    Tsuchiya, T
    Nakamura, M
    Kikuno, T
    2002 PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2002, : 131 - 134
  • [15] Method for detecting functional feature interactions of web services
    Weiss, Michael
    Oreshkin, Alexander
    Esfandiari, Babak
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2006, 21 (04): : 273 - 284
  • [16] Detecting and resolving email feature interactions through constraints
    Crespo, R. G.
    IET SOFTWARE, 2011, 5 (02) : 238 - 245
  • [17] Detecting Feature Interactions in Web Services with Timed Automata
    Luo, Xiangyu
    Xuan, Aicheng
    Dong, Rongsheng
    THIRD INTERNATIONAL CONFERENCE ON GENETIC AND EVOLUTIONARY COMPUTING, 2009, : 276 - 279
  • [18] Detecting feature interactions in Web services with model checking techniques
    ZHANG, Jian-yin
    YANG, Fang-chun
    SU, Sen
    Journal of China Universities of Posts and Telecommunications, 2007, 14 (03): : 108 - 112
  • [19] Detecting Arbitrary Order Beneficial Feature Interactions for Recommender Systems
    Su, Yixin
    Zhao, Yunxiang
    Erfani, Sarah
    Gan, Junhao
    Zhang, Rui
    PROCEEDINGS OF THE 28TH ACM SIGKDD CONFERENCE ON KNOWLEDGE DISCOVERY AND DATA MINING, KDD 2022, 2022, : 1676 - 1686
  • [20] Detecting feature interactions between SIP call control services
    Kolberg, M
    Magill, EH
    FEATURE INTERACTIONS IN TELECOMMUNICATIONS AND SOFTWARE SYSTEMS VIII, 2005, : 147 - 162
12345