Distributed Feature Composition: A Virtual Architecture for Telecommunications Services
IEEE Transactions on Software Engineering
GRASP: A Search Algorithm for Propositional Satisfiability
IEEE Transactions on Computers
Feature interaction detection using a synchronous approach and testing
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on the feature interactions in telecommunications systems
Chaff: engineering an efficient SAT solver
Proceedings of the 38th annual Design Automation Conference
Feature Interactions in Telecommunications and Software Systems V
Feature Interactions in Telecommunications and Software Systems V
Feature specification and automated conflict detection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Maintaining telephone switching software requirements
IEEE Communications Magazine
Hi-index | 0.00 |
While designing a service-oriented system, deciding whether a service interaction is desired or harmful is a subjective choice which depends on the requirements expressed by the user with respect to the service integration. In this paper, we define both a formalism and a methodology which, respectively, allow us to automatically analyse interactions based on specification consistency. For the latter (i.e. the methodology), we take advantage of both specifier expertise and formal methods.