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 条

[1] Detecting feature interaction in CPL
Gorse N.
Logrippo L.
Sincennes J.
Software & Systems Modeling, 2006, 5 (2) : 121 - 134
[2] Online Detection of Feature Interactions of CPL Services
Wang, Lixiang
Xu, Jiuyun
Reiff-Marganiec, Stephan
FEATURE INTERACTIONS IN SOFTWARE AND COMMUNICATION SYSTEMS X, 2009, : 19 - +
[3] Defining and detecting feature interactions
Frappier, M
Mili, A
Desharnais, J
ALGORITHMIC LANGUAGES AND CALCULI, 1997, : 212 - 239
[4] Detecting feature interactions on relational specifications
Frappier, M
Mili, A
Desharnais, J
FEATURE INTERACTIONS IN TELECOMMUNICATION NETWORKS IV, 1997, : 123 - 137
[5] Detecting the Web services feature interactions
Zhang, Jianyin
Yang, Fangchun
Su, Sen
WEB INFORMATION SYSTEMS - WISE 2006, PROCEEDINGS, 2006, 4255 : 169 - 174
[6] Detecting feature interactions by pattern analysis
Zuo, Ji-Hong
Wang, Qian-Xiang
Mei, Hong
Ruan Jian Xue Bao/Journal of Software, 2007, 18 (04): : 796 - 807
[7] Detecting feature interactions with CAESAR/ALDEBARAN
Korver, H
SCIENCE OF COMPUTER PROGRAMMING, 1997, 29 (1-2) : 259 - 278
[8] CPL clustering with feature costs
Bobrowski, Leon
ADVANCES IN DATA MINING, PROCEEDINGS: MEDICAL APPLICATIONS, E-COMMERCE, MARKETING, AND THEORETICAL ASPECTS, 2008, 5077 : 177 - 188
[9] Detecting feature interactions from accuracies of random feature subsets
Ioerger, TR
SIXTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-99)/ELEVENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE (IAAI-99), 1999, : 350 - 357
[10] Specification execution model for detecting feature interactions
Shimokura, Masayuki
Kawada, Sachiko
Kawauchi, Shizuko
Ohta, Tadashi
ELECTRONICS AND COMMUNICATIONS IN JAPAN PART I-COMMUNICATIONS, 2007, 90 (04): : 23 - 34

← 1 2 3 4 5 →