Rafael Accorsi, Carlos Areces, Wiet Bouma, Maarten De Rijke
Abstract. We report on ongoing work on using a constraint-based approach towards feature interaction. Starting from a logic specication of the Basic Call Service (BCS), we obtain a labeled transition...
Rafael Accorsi, Carlos Areces, Wiet Bouma, Maarten De Rijke
Abstract. We report on ongoing work on using a constraint-based approach towards feature interaction detection. Constraint programming is introduced as a natural way of handling the inherent...
Rijke. Feature Interaction as a Satisfiability Problem (2000)
Carlos Areces, Wiet Bouma, Maarten De Rijke
We present a formal model for the specification of telephone features by means of description logics. Our framework permits the formal definition of the basic telephone system as well as the...
Description Logics and Feature Interaction (1999)
Carlos Areces, Wiet Bouma, Maarten De Rijke
We present a formal model for the specification of telephone features by means of description logics. Our framework permits the formal definition of the basic telephone system as well as the...
Validating Architectural Feature Descriptions using LOTOS (1998)
Lotos In, Kristofer Kimbler, Wiet Bouma, Proc Feature, Kenneth J. Turner
. The phases of the ANISE project (Architectural Notions In Service Engineering) are briefly explained with reference to the work reported here. An outline strategy is given for translating ANISE...
Validating Architectural Feature Descriptions using LOTOS (1998)
Lotos In, Kristofer Kimbler, Wiet Bouma, Proc Feature, Kenneth J. Turner
Abstract.
Models for Feature Descriptions and Interactions (1997)
The problem of feature interactions in telephone - and other software systems ([13]) has been identified as being of great importance, but its solution remains elusive. In recent years, amongst...