de.tuberlin.cs.cis.ocl.model.mofbridge
Interface MofRepository

All Known Implementing Classes:

MofMDRepository, UmlMDRepository

public interface MofRepository

Provides access to a metamodel and a model instance. These model information are used to describe the type and instance level of OCL constraints. The MOF-Bridge uses JMI interfaces to extract type information from the metamodel as well as information about concrete instances for the framework's context checker and the evaluator respectively.
Technically this interface abstracts the MOF-Bridge from a specific MOF Repository which implements among other things MOF compliant metamodels and related model instance information in terms of JMI - the Java Mapping for MOF.

Author:

fchabar

Method Summary

javax.jmi.model.ModelPackage	getMetamodel() Provides access to the metamodel.
javax.jmi.reflect.RefPackage	getModel() Returns the extent of a model instance.

Method Detail

getMetamodel

public javax.jmi.model.ModelPackage getMetamodel()

Provides access to the metamodel. The metamodel defines the type level assumed by the framework's type check of OCL constraints.
For information regarding the interface ModelPackage please refer to the documentation of JMI and your MOF Repository.

Returns:

the metamodel describing the type level OCL constraints are validated in.

getModel

public javax.jmi.reflect.RefPackage getModel()

Returns the extent of a model instance. It describes the instance level and therefore the whole extent of instances that are validated to conform to specified OCL constraints. The returned model instance must be an instance of the metamodel specified through getMetamodel(). Note that thus this model instance must be included in the metamodel according to the MOF standard. For information regarding the interface RefPackage and model extents please refer to the documentation of JMI, MOF and your MOF Repository.

Returns:

the extent of model instances to describe the instance level validated against specified OCL constraints.