Document Actions
From Theory to Tools
- Goal:
-
-
Our goal is to develop tools to support our modeling technique. Our tools use an RM-ODP based ontology.
- RM-ODP Formalization:
-
-
This paper illustrates the RM-ODP formalization.
A. Naumenko, A. Wegmann
Formalization of the RM-ODP foundations based on the Triune Continuum Paradigm.
In: Computer Standards & Interfaces, 29(1):39-53, 2007
- Definition of an Object-Oriented Ontology:
-
-
This paper illustrates how the RM-ODP was made as an ontology for our CAD tool.
L.S. Le, A. Wegmann
Definition of an Object-Oriented Modeling Language for Enterprise Architecture
Presented at: 38th IEEE Hawaii International Conference on System Sciences, Hawaii, USA, January 2005. - CAD Tool:
- CAD Tool Validation:
-
-
This paper illustrates how the model in the CAD tool is validated.
A. Wegmann, L.S. Le, L. Hussami, D. Beyer
Implementation of a Modeling Tool Using Alloy as Meta-Modeling Language and CrocoPat as Validation Tool
Presented at: First Alloy Workshop, Portland, Oregon, November 6.