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

摘要

We discuss the usage of the (non-OO) Z specification language to represent some fundamental concepts of the ISO Reference Model of Open Distributed Processing (RM-ODP) and the ISO General Relationahip Model (GRM). After Discussing some of the difficulties involved, we offer suggestions on how Z can be used successfully for specifying and Modeling open object-based distributed systems. Although fundamental specification concepts of RM-ODP and GRM are Less well-known than "traditional" mathematics, we propose an RM-ODP toolkit somewhat analogous in its usage to the Well-known mathematical toolkit in Z.