A formal specification based approach to feature interaction: Application with Prolog.
type: CreativeWork
description: 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.
abstract: 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.
author: Colle, Serge.
keywords: Computer Science.
identifier: Source: Masters Abstracts International, Volume: 38-05, page: 1321.
date published: 2009-03-23T17:39:38Z
date modified: 2026-07-24T03:39:34Z
provider: University of Ottawa
publisher: Networked Digital Library of Theses and Dissertations
type: WebPage
source organization: University of Ottawa (Canada)

PropertyValue
property ID: Handle
value: http://hdl.handle.net/10393/8895

PropertyValue
property ID: DOI
value: 10.20381/ruor-16040