Back to Search Start Over

Analyzing the dynamics of a Z specification

Authors :
Cecilia Mascolo
Paolo Ciancarini
Calmet, J.
Limongelli, C.
Source :
Calmet, J. and Limongelli, C., (eds.) Proceedings of International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO). (pp. pp. 138-149). Springer Verlag (1996), Scopus-Elsevier, Design and Implementation of Symbolic Computation Systems ISBN: 9783540616979, DISCO
Publication Year :
1996
Publisher :
Springer Verlag, 1996.

Abstract

We present a method for analyzing the dynamics of a Z document describing a non-sequential system. First a formal operational semantics based on the chemical metaphor is given to Z. Then, some Unity-like temporal logic constructs are defined on such a formal operational semantics in order to allow the specification and analysis of dynamic and temporal properties of concurrent systems, such as safety and liveness properties.

Details

Language :
English
ISBN :
978-3-540-61697-9
ISBNs :
9783540616979
Database :
OpenAIRE
Journal :
Calmet, J. and Limongelli, C., (eds.) Proceedings of International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO). (pp. pp. 138-149). Springer Verlag (1996), Scopus-Elsevier, Design and Implementation of Symbolic Computation Systems ISBN: 9783540616979, DISCO
Accession number :
edsair.doi.dedup.....9148f1d6d1a53257292422932d093469