A Formalization of SOCCA

This paper presents an integrated and formalized description of the abstract syntax and the semantics of visual languages used in the object-oriented method SOCCA. The formalization is made by using EER/GRAL descriptions for the syntax and an operational semantics notated inZ for the semantics.