PUMA
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. Technical report, 2008.
 
 
Abstract
(English)
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://www1.isti.cnr.it/~Massink/TerBeekEtAL_TR2008.pdf
Subject Groupware
Fluid Flow
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