Towards model checking stochastic aspects of the 'thinkteam' user interface (Articolo in rivista)

Type
Label
  • Towards model checking stochastic aspects of the 'thinkteam' user interface (Articolo in rivista) (literal)
Anno
  • 2006-01-01T00:00:00+01:00 (literal)
Alternative label
  • Ter Beek M.; Massink M.; Latella D. (2006)
    Towards model checking stochastic aspects of the 'thinkteam' user interface
    in Lecture notes in computer science
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Ter Beek M.; Massink M.; Latella D. (literal)
Pagina inizio
  • 39 (literal)
Pagina fine
  • 50 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: Interactive Systems : 12th International Workshop, DSVIS 2005 (Newcastle upon Tyne, UK, July 13-15, 2005). Revised Papers. pp. 39-50. S.W. Gilroy and M.D. Harrison (ed.). (Lecture Notes in Computer Science, vol. 3941). Springer, 2006. (literal)
Note
  • ISI Web of Science (WOS) (literal)
Titolo
  • Towards model checking stochastic aspects of the 'thinkteam' user interface (literal)
Abstract
  • Stochastic model checking is a recent extension of traditional model-checking 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 two different design options for granting users access to files in the database: a retrial approach and a waiting-list approach and show how stochastic model checking can be used for such analyses. (literal)
Prodotto di
Insieme di parole chiave

Incoming links:


Prodotto
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Insieme di parole chiave di
data.CNR.it