Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Gnesi S., Latella D., Massink M., Sebastianis M., Trentanni G. Assisting the design of a groupware system - Model checking usability aspects of thinkteam. In: Journal of Logic and Algebraic Programming, vol. 78 (4) pp. 191 - 232. IFIP WG1.8 Workshop on Applying Concurrency Research in Industry. L. Aceto, J. Baeten, W. Fokkink, A. Ingolfsdottir, U. Nestmann (eds.). Elsevier, 2009.
Product Data Management (PDM) systems support the product/document management of design processes such as those typically used in the manufacturing industry. They allow enterprises to capture, organise, automate and share engineering information in an efficient way. The efficient handling of queries on product information and the uploading and downloading of families of related files for modification by designers are essential aspects of such systems. The efficiency of the system as perceived by its clients depends on its correct functioning, but also for a significant part on its performance aspects. In this article, we apply both qualitative and stochastic model-checking techniques to evaluate various usability and performance aspects of the thinkteam PDM system, and of several proposed extensions, thereby assisting the design phase of an industrial groupware system.
URL: http://www.sciencedirect.com/science/journal/15678326
DOI: http://dx.doi.org/10.1016/j.jlap.2008.11.004
Subject Groupware
Formal methods
Model checking
D.2.4 Software/Program Verification
68N30 Mathematical aspects of software engineering

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional