Bridging the Gap between Object Oriented Modeling and Implementation Languages Using a Meta-Language Approach

class declaration} An abstract class is a class that is incomplete, or to be considered incomplete. The reification for a class declared abstract in Java results in several OFL description components for abstract class, static abstract nested class, abstract inner class and abstract local class. All these components has parameters generator and destructor set to value false. final {attribute declaration} A final attribute may only be assigned to once. Once a final attribute has been assigned, it always contains the same value. To model this kind of attribute in OFL we use an OFL-AtomAttribute that has property isConstant set to true. static {feature declaration} If a feature (attribute or method) is declared static, there exists exactly one incarnation of the feature, no matter how