PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Asirelli P., Ter Beek M. H., Fantechi A., Gnesi S. A model-checking tool for families of services. In: FMOODS'11/FORTE'11 - Joint 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-based Distributed Systems and 31st IFIP WG 6.1 International Conference on FORmal TEchniques for Networked and Distributed Systems (Reykjavik, Iceland, 6-8 Giugno 2011). Proceedings, pp. 44 - 58. R. Bruni, J. Dingel (eds.). (Lecture Notes in Computer Science, vol. 6722). Springer, 2011.
 
 
Abstract
(English)
We propose a model-checking tool for on-the-fly verification of properties expressed in a branching-time temporal logic based on a deontic interpretation of classical modal and temporal operators over modal transition systems. We apply this tool to the analysis of variability in behavioural descriptions of families of services.
URL: http://www.springerlink.com/content/t85772650v3921q0/
DOI: http://dx.doi.org/10.1007/978-3-642-21461-5_3
Subject Model checking
Temporal logic
Software Product Line Engineering
Service-Oriented Computing
D.2.2 Design Tools and Techniques
D.2.4 Software/Program Verification


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