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
ISBN: 3-540-61697-7
UCL classification: UCL > School of BEAMS > Faculty of Engineering Science > Computer Science
URI: http://discovery.ucl.ac.uk/id/eprint/187541
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item