An approach to a Z toolkit for the Reference Model of Open Distributed Processing

From ODP viewpoint consistency to Integrated Formal Methods

“…[53,20,34]). Other examples include [48], which describes an approach of using Z to represent the formal semantics of some fundamental concepts of RM-ODP (Part 2) rather than just of viewpoint-specific concepts. This is relevant because the viewpointspecific concepts are based on and substantially use the fundamental ones.…”

Modeling the ODP Computational Viewpoint with UML 2.0

“…By contrast, a more general object model, such as the one followed by ODP, does not require invariants and operations to be owned by a single object; rather, it uses collective state for invariants, and collective behavior for operation and interaction specifications [12]. For example, the interaction model of the UML is based on message exchange between objects, whereas interactions in the enterprise viewpoint are pieces of shared behaviour.…”

“…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.…”