A Formalisation of SOCCA using Z, part 1: The Type Level Concepts
Gregor Engels, Ray Dassen, Luuk P. J. Groenewegen, Ida G. Sprinkhuizen-Kuyper, Pieter Koopman, Pieter Jan t'Hoen · 1999
This document starts the formalisation of the modelling language of the SOCCA OO method in the formal specification language Z. It captures the `static' aspects of SOCCA, i.e. the meaning of SOCCA language elements at the type level, rather than `dynamic' aspects (dealing with the instance level (objects in execution)). It is restricted to core SOCCA; proposed extensions are not formalised.