Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
Feature interaction: a critical review and considered forecast
Computer Networks: The International Journal of Computer and Telecommunications Networking
Feature interaction in policies
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
Policy-enabled mechanisms for feature interactions: reality, expectations, challenges
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
On detecting feature interactions in the programmable service environment of internet telephony
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
A feature-interaction benchmark for IN and beyond
IEEE Communications Magazine
Personalization of internet telephony services for presence with SIP and extended CPL
Computer Communications
A stepwise approach to developing languages for SIP telephony service creation
Proceedings of the 1st international conference on Principles, systems and applications of IP telecommunications
Modeling and analysis of value added services using message sequence charts
Journal of Network and Computer Applications
Hi-index | 0.00 |
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.