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 条

[21] Detecting feature interactions in Web services with model checking techniques
ZHANG Jian-yin
TheJournalofChinaUniversitiesofPostsandTelecommunications, 2007, (03) : 108 - 112
[22] On detecting feature interactions in the programmable service environment of Internet telephony
Nakamura, M
Leelaprute, P
Matsumoto, K
Kikuno, T
COMPUTER NETWORKS, 2004, 45 (05) : 605 - 624
[23] A semi-automated iterative process for detecting feature interactions
Rocha, Larissa
Machado, Ivan
Almeida, Eduardo
Kastner, Christian
Nadi, Sarah
34TH BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING, SBES 2020, 2020, : 778 - 787
[24] Model Inference Approach for Detecting in Feature Interactions in Integrated Systems
Shahbaz, Muzammil
Parreaux, Benoit
Klay, Francis
FEATURE INTERACTIONS IN SOFTWARE AND COMMUNICATION SYSTEMS IX, 2008, : 161 - +
[25] Automatic elicitation of knowledge for detecting feature interactions in telecommunication services
Yoneda, T
Ohta, T
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2000, E83D (04) : 640 - 647
[26] The impact of illumination on feature fidelity for CPL mask technology
Kuijten, JP
Verhappen, A
Conley, W
van de Goor, S
Litt, L
Wu, W
Lucas, K
Roman, B
Kasprowicz, B
Progler, C
Socha, R
van den Broeke, D
Wampler, K
Laidig, T
Hsu, S
Optical Microlithography XVIII, Pts 1-3, 2005, 5754 : 1557 - 1561
[27] Investigation of intermolecular interactions by NMR and CPL spectroscopy
Nguyen, Ngoc M.
Vo, Fitzgerald K.
Muller, Gilles
ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2009, 237
[28] Reduction of the number of terminal assignments for detecting feature interactions in telecommunication services
Yoneda, T
Ohta, T
SIXTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2000, : 202 - 209
[29] Reduction of the number of terminal assignments for detecting feature interactions in telecommunication services
Yoneda, Tae
Ohta, Tadashi
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, 2000, : 202 - 209
[30] Resource-Centric Goal Model Slicing for Detecting Feature Interactions
Peng, Zedong
Dahiya, Mahima
Khalil, Tessneem
Niu, Nan
Bhowmik, Tanmay
Yang, Yilong
2023 IEEE 24TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION FOR DATA SCIENCE, IRI, 2023, : 58 - 63

← 1 2 3 4 5 →