Feature interaction detection: a LOTOS-based approach
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on the feature interactions in telecommunications systems
Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
An Algebraic Approach to Managing Feature Interaction in Telecommunication Systems
PARELEC '02 Proceedings of the International Conference on Parallel Computing in Electrical Engineering
Feature interaction detection by pairwise analysis of LTL properties: a case study
Formal Methods in System Design
Test generation for interaction detection in feature-rich communication systems
Computer Networks: The International Journal of Computer and Telecommunications Networking
Detecting Feature Interactions in Home Appliance Networks
SNPD '08 Proceedings of the 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing
Using coloured petri nets to model and verify telecommunications systems
CSR'08 Proceedings of the 3rd international conference on Computer science: theory and applications
Hi-index | 0.00 |
The paper presents an approach to detection of service interaction. Service interaction manifests itself as a function of services which is neither exactly the sum of every service nor behaves as expected. In Customized Application for Mobile network Enhanced Logic (CAMEL), services may interact both in call-related and call-unrelated context. Description logic is used to formally define the CAMEL basic call state models and mobility management model each of which may trigger services. The service behavior is considered as satisfiability problem which may be solved automatically using tableau calculus.