Can a flat notation be used to specify an OO system: using Z to describe RM-ODP constructs

Formalization of the RM-ODP foundations based on the Triune Continuum Paradigm

“…That is Part 2 gives a basic interpretation of a given concept and Part 3 gives a more specialized version.'' The importance of a formal view on Part 2 of RM-ODP was noted not only by the standard itself but also in [20] and [21]. Specifically, Johnson and Kilov [20] are saying: ''RM-ODP emphasizes common fundamental concepts encountered in any open distributed system, including distribution-independent concepts!…”

Reasoning with UML class diagrams

“…A number of integrated OO and formal notations have been proposed (e.g., see [5,6]). Most works focus on the generation of formal specifications from less formal OO models.…”

Modeling the ODP Computational Viewpoint with UML 2.0

“…Most of the existing proposals for modeling the ODP viewpoint languages have usually used formal description techniques, that have proved valuable in supporting the precise definition of reference model concepts [4,11,12]. Among all the works, probably the most widely accepted notations for formalizing the computational viewpoint are Z, LOTOS, and SDL.…”