A compositional approach to performance modelling
A compositional approach to performance modelling
Modeling and analysis of stochastic systems
Modeling and analysis of stochastic systems
The Organisation in Ethnography –A Discussion of Ethnographic Fieldwork Programs in CSCW
Computer Supported Cooperative Work
Model Checking Interactor Specifications
Automated Software Engineering
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models
INTERACT '97 Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction
A case study on the automated verification of groupware protocols
Proceedings of the 27th international conference on Software engineering
The Ubiquitous Camera: An In-Depth Study of Camera Phone Use
IEEE Pervasive Computing
Scheduling Skeleton-Based Grid Applications Using PEPA and NWS
The Computer Journal
Fluid Flow Approximation of PEPA models
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Enhancing the effective utilisation of grid clusters by exploiting on-line performability analysis
CCGRID '05 Proceedings of the Fifth IEEE International Symposium on Cluster Computing and the Grid - Volume 01
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
Exploring an Option Space to Engineer a Ubiquitous Computing System
Electronic Notes in Theoretical Computer Science (ENTCS)
Model Checking Publish/Subscribe Notification for thinkteam ®
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantic-Based development of service-oriented systems
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Towards model checking stochastic aspects of the thinkteam user interface
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
Hi-index | 0.00 |
The analysis of usability aspects of multi-user systems, such as co-operative 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.