Skip to Main content Skip to Navigation
Reports

The GDMO and GRM Modules Semantic Checker of the MODERES Java Toolkit

Olivier Festor 1
1 RESEDAS - Software Tools for Telecommunications and Distributed Systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : MODERES Java is an environment for the development of management information models. In its first release, it provides tools for the manipulation of information models specified using GDMO and GRM. This report presents one component of the environment, i.e. the GDMO/GRM modules semantic checker. The report contains a detailled description of performed verifications as well as a complete implementation and usage guide for the semantic checker as implemented within the environment.
keyword : GDMO GRM JAVA MODERES TMN
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00069963
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 6:43:13 PM
Last modification on : Thursday, January 11, 2018 - 6:20:00 AM
Long-term archiving on: : Sunday, April 4, 2010 - 7:58:08 PM

Identifiers

  • HAL Id : inria-00069963, version 1

Collections

Citation

Olivier Festor. The GDMO and GRM Modules Semantic Checker of the MODERES Java Toolkit. [Technical Report] RT-0208, INRIA. 1997, pp.17. ⟨inria-00069963⟩

Share

Metrics

Record views

232

Files downloads

93