A formal specification based approach to feature interaction: Application with Prolog.

The rapid growth of new services for telecommunication and multimedia systems is being challenged by the feature interaction problem. A number of approaches for managing feature interaction have been proposed. A relational method for specifying software systems and detecting features interactions is presented. The method proposed allows features to be specified independently as well as detecting interactions between two or more features. This method is based on the lattice of relational specifications; a system is defined by the conjunction of the features and feature interaction is detected when such a conjunction does not exist. After reading this thesis a reader should be able to specify a simple system and detect interactions between its features