Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
Sensoria Bibliography Site A Fluid Flow Approach to Usability Analysis of Multi-user Systems
Mieke Massink, Diego Latella, Maurice H. ter Beek, Michael Harrison, Michele Loreti
abstract:
The analysis of usability aspects of multi-user systems, such as cooperative work systems and pervasive systems, pose particular problems because group behavior of their users may have considerable impact on usability. Model-based analysis of such features leads to state-space explosion because of the sheer number of entities to be modeled when automatic techniques such as model checking are used. In this paper we explore the use of a recently proposed scalable model-based technique based on solving sets of Ordinary Differential Equations (ODEs). Starting from a formal model specified using the Performance Evaluation Process Algebra (PEPA), we show how different groupware usage patterns may be modeled and analyzed using this approach. We illustrate how the approach can explore different design options and their impact on group behavior by comparing file access policies in the context of a groupware application.