MODE-PP TeX: A GRM/GDMO Pretty Printing Library based on MODE-FE for the Generation of TeX Documents : Release 1.0 Reference Manual
Abstract
MODE-PP TeX (MODE TeX Pretty-Printer) is a module which allows formatting and pretty printing of GRM (General Relationship Model) and GDMO (Guidelines for the Definition of Managed Objects) specifications. The tool allows the generation of one or more TeX files which contain formatted specifications according to different document style constrains. MODE-PP TeX is part of the MODE (Managed Object Development Environment) prototype which is developed for integrating the use of Formal Description Techniques in an environment for building Management applications. MODE-PP TeX is built on top of MODE-FE and is provided as a library. This document is the reference manual for release 1.0 of the MODE-PP TeX library and its API.