Sciweavers

Share
DSVIS
2005
Springer

Towards Model Checking Stochastic Aspects of the thinkteam User Interface

9 years 7 months ago
Towards Model Checking Stochastic Aspects of the thinkteam User Interface
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties. In this paper we show how stochastic model checking can be conveniently used to address a number of usability concerns that involve quantitative aspects of a user interface for the industrial groupware system thinkteam. thinkteam is a ready-to-use Product Data Management application developed by think3. It allows enterprises to capture, organise, automate, and share engineering product information and it is an example of an asynchronous and dispersed groupware system. Several aspects of the functional correctness, such as concurrency aspects and awareness aspects, of the groupware protocol underlying thinkteam and of its planned publish/subscribe notification service have been addressed in previous work by means of a traditional model-checking approach. In this paper we investigate the trade-off between tw...
Maurice H. ter Beek, Mieke Massink, Diego Latella
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where DSVIS
Authors Maurice H. ter Beek, Mieke Massink, Diego Latella
Comments (0)
books