.png){kind=icon}
返回
Detecting feature interactions in CPL
.png){kind=icon}
PRE
AI
DOI：10.1016/j.jnca.2005.10.001.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
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.
Keyword:
Internet telephony
VoIP
features
services
feature interaction
CPL
Call Processing Language
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
8
论文数:
3.6K
被引数:
1.1W
机构
暂无机构信息
引用论文
.png){kind=icon}
分享收藏
没有更多内容
没有更多内容