UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Analyzing the dynamics of a Z specification

Ciancarini, P; Mascolo, C; (1996) Analyzing the dynamics of a Z specification. In: Calmet, J and Limongelli, C, (eds.) UNSPECIFIED (138 - 149). SPRINGER-VERLAG BERLIN

Full text not available from this repository.


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.

Type:Book chapter
Title:Analyzing the dynamics of a Z specification
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

Archive Staff Only: edit this record