Sciweavers

FIW
2007

Conflict Detection in Call Control Using First-Order Logic Model Checking

13 years 5 months ago
Conflict Detection in Call Control Using First-Order Logic Model Checking
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually assumed to be known in the application domain. A method is proposed for identifying potential conflicts between call control actions, based on analysis of their pre/post-conditions. First of all, pre/post-conditions for call processing actions are defined. Then, conflicts among the pre/post-conditions are defined. Finally, action conflicts are identified as a result of these conflicts. These cover several possibilities where the actions could be simultaneous or sequential. A first-order logic modelchecking tool can be used for automated conflict detection. As a case study, the APPEL call control language is used to illustrate the approach, with the Alloy tool serving as the model checker for automated conflict detection. This case study focuses on pre/post-conditions describing call control state and media st...
Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turne
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2007
Where FIW
Authors Ahmed F. Layouni, Luigi Logrippo, Kenneth J. Turner
Comments (0)