A taxonomy for triggered interactions using fair object semantics
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.