| section: < previous | next > | | | |
chapter: << previous | next >> |
Using the Graph grammar approach
VOCL was defined to integrate the OCL into the UML for visual aspects. An integration on the meta model is described in "Language definition with MOF". The following formal approach describes a formal language definition by defining a graph grammar. Typed attributed graphs with inheritence form the basis and transformation units for the rules extend this formal definition.
The typegraph will be shown in four parts, as the metamodel in the definition before. As VOCL constraints belog to a class diagram, the following diagram shows at first a type graph for class diagrams:
 |
| Fig. 1 Type graph for class diagrams |
| section: < previous | next > | | | |
chapter: << previous | next >> |