Automatic Prole Generation for OFL-Languages

class Vehicle { public int type; public abstract void start(); } /* Class Vehicle is the base for all vehicle hierarchy */ // file: Color.java // package OFLML_JavaCars; public class Color { } // file: Car.java // package OFLML_JavaCars; public class Car { public Color color; public void setColor(Color c) {}; public Color getColor() { return color; }; public void start() {}; } Figure 8.1 gives an example of a model for an application which uses an OFL-ML profile for OFL-Java: three descriptions : Vehicle, Car, and Color, one Java concretization relationship : class Car is a concretization of the abstract class Vehicle, one Java aggregation relationship: class Car has an attribute of type Color. The diagram corresponds to above Java code. The OFL-ML Java Profile elements used have been defined according to previous sections. The diagram was generated with Objecteering UML Modeler version 5.2.2 [Sof03].