Assisting the design of a groupware system
| Autor: | Stefania Gnesi, Mieke Massink, Diego Latella, Maurice H. ter Beek, Gianluca Trentanni, Maurizio Sebastianis |
|---|---|
| Jazyk: | angličtina |
| Předmět: |
Collaborative software
Model checking Database Groupware business.industry Computer science Logic Formal methods Verification Usability Document management system Product data management computer.software_genre Theoretical Computer Science Upload Information engineering Computational Theory and Mathematics Manufacturing Concurrency Product (category theory) Software engineering business computer Software |
| Zdroj: | The Journal of Logic and Algebraic Programming. (4):191-232 |
| ISSN: | 1567-8326 |
| DOI: | 10.1016/j.jlap.2008.11.004 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|