Generalising Feature Interactions in Email

10 years 5 months ago
Generalising Feature Interactions in Email
We report on a property-based approach to feature interaction analysis for a client-server email system. The model is based upon Hall’s email model [12] presented at FIW’00 [3], but the implementation is at a lower level of abstraction, employing non-determinism and asynchronous communication; it is a challenge to avoid deadlock and race conditions. Our analysis differs in two ways: interaction analysis is fully automated, based on model-checking the entire state-space, and the results are scalable, that is they generalise to email systems consisting of any number of email clients. ion techniques are used to prove the general results. The key idea is to model-check a system consisting of a constant number (Ñ) of client processes, in with a mailer process and an “abstract” process which represents the product of any number of other (possibly featured) client processes. We give a lower bound for the value of Ñ. All of the models – for any specified set of client processes an...
Muffy Calder, Alice Miller
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2003
Where FIW
Authors Muffy Calder, Alice Miller
Comments (0)