Ter Beek M. H., Gnesi S., Latella D., Massink M., Sebastianis M., Trentanni G.
Computational Theory and Mathematics Groupware Concurrency Theoretical Computer Science Model checking Verification Software Formal methods Logic
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.
Source: The journal of logic and algebraic programming 78 (2009): 191–232. doi:10.1016/j.jlap.2008.11.004
Publisher: North-Holland,, New York, N.Y. , Stati Uniti d'America
@article{oai:it.cnr:prodotti:44258, title = {Assisting the design of a groupware system - Model checking usability aspects of thinkteam}, author = {Ter Beek M. H. and Gnesi S. and Latella D. and Massink M. and Sebastianis M. and Trentanni G.}, publisher = {North-Holland,, New York, N.Y. , Stati Uniti d'America}, doi = {10.1016/j.jlap.2008.11.004}, journal = {The journal of logic and algebraic programming}, volume = {78}, pages = {191–232}, year = {2009} }