Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Massink M., Latella D., Gnesi S., Forghieri A., Sebastianis M. A Case Study on the Automated Verification of Groupware Protocols. In: International Conference on Software Engineering (St. Louis, MO, U.S.A, 15-21 May 2005). Proceedings, pp. 596 - 603. ACM Press, New York, NY, U.S.A, 2005.
We report on a fruitful combination of applying academic experience with formal modelling and verification techniques to an industrial case study. The goal of the case study was to investigate a priori, i.e. before implementation, the effects of adding a lightweight and easy-to-use publish/subscribe (event) notification service to thinkteam - an asynchronous and dispersed groupware system which was developed by think3. Researchers from the Formal Methods and Tools (FM&&T) group of ISTI-CNR - with a longstanding experience in research on the development and application of formal methods, notations, and software tools for the specification, design, and verification of complex computer systems - therefore teamed up with think3 - a global provider of integrated product development solutions that provides mechanical design and Product Data Management (PDM) software catering the product management needs of design processes in the manufacturing industry. The technical details of this joint research effort have been documented elsewhere, here we report on the lessons learned from this experience.
URL: http://doi.acm.org/10.1145/1062455.1062560
Subject Experimentation
D.2.4 Software/Program Verification. Model checking

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