Skip to Main content Skip to Navigation
New interface
Conference papers

A taxonomy for triggered interactions using fair object semantics

Paul Gibson Geoff Hamilton Dominique Méry 1 
1 MODEL - MODEL (Méthodes formelles et applications)
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We formalise the notion of triggered features and show how the resulting model can be used to classify a subset of common interactions. Our underlying fair object formal framework based on the integration of object state machines and temporal logic, can be exploited to provide support for re-usable analysis.
Document type :
Conference papers
Complete list of metadata
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 8:52:17 AM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM


  • HAL Id : inria-00099267, version 1



Paul Gibson, Geoff Hamilton, Dominique Méry. A taxonomy for triggered interactions using fair object semantics. Feature Interactions in Telecommunications & Software Systems VI, 2000, Glasgow, UK, 20 p. ⟨inria-00099267⟩



Record views