Z++

Z++ (que se pronuncia zed , o zee en la pronunciación estadounidense , plus plus ) es una extensión orientada a objetos del lenguaje de especificación Z.

Z++ permite definir clases y relacionarlas mediante herencia , asociación o agregación . La estructura básica de Z++ es una clase. Una clase Z++ consta de varias cláusulas opcionales.

Estructura de clases de Z++

CLASE Nombre de la clase [PROPIEDAD Lista_de_atributos] [FUNCIONES definiciones_constantes] [TYPE type_declaration] [ENTENDS lista_de_superclases] [OPERACIONES lista_de_definiciones_de_operaciones_de_cambio_de_estado] [DEVUELVE lista_de_definiciones_de_operaciones_de_consulta] [ACCIONES todas_las_declaraciones_de_operaciones] [Predicados invariantes] [HISTORIAL RTL_predicados] FIN DE LA CLASE

Véase también

Objeto-Z

Referencias

Lano, KC , Z++, una extensión orientada a objetos para Z. Z User Workshop, Oxford 1990, Springer , Workshops in Computing, 1991, pp. 151–172.
Lano, KC, Desarrollo formal orientado a objetos. Springer-Verlag, Londres, 1995.
AAOB - Tesis 2009.