Abstract
The goal of the research on which the paper is based was to specify formally a persistent object management system and to implement a part of the specification in the form of a prototype. The prototype is called the persistent object storage manager (POSM). The prototype was implemented in C++ using the IBM OS/2 operating system. POSM is formally specified in the paper. The data model used in POSM is rigorously defined using the Z notation. The operations of POSM and its state space are also specified in Z notation. Example schemas for the operations of the node management component of the prototype are presented. Z notation is justified in the paper and the benefits of using Z in the research are discussed.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
