A taxonomy for triggered interactions using fair object semantics - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2000

A taxonomy for triggered interactions using fair object semantics

Paul Gibson
Geoff Hamilton
  • Fonction : Auteur

Résumé

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.
Fichier non déposé

Dates et versions

inria-00099267 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00099267 , version 1

Citer

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⟩
60 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More