Lookup NU author(s): Professor Michael Harrison
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
The analysis of usability aspects of multi-user systems, such as cooperative work systems and pervasive systems, pose particular problems because the group behaviour of their users may have considerable impact on usability. Model-based analysis of such features is difficult because of the sheer number of entities that need to be modelled, leading easily to state-space explosion problems when automatic techniques such as model checkers 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 modelled and analysed using this approach. To illustrate how the approach can contribute to get more insight in the suitability of different design options and their impact on group behaviour we compare two different file access policies in the context of the industrial groupware application thinkteam.
Author(s): Massink M, Latella D, ter Beek MH, Harrison MD, Loreti M
Editor(s): Forbrig, P. and Paternò, F.
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Engineering Interactive Systems: Second Conference on Human-Centered Software Engineering, HCSE 2008 and 7th International Workshop on Task Models and Diagrams (TAMODIA)
Year of Conference: 2008
ISSN: 0302-9743 (Print) 1611-3349 (Online)
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science