Publication at Faculty of Mathematics and Physics |
2011
Abstract
Model Driven Development (MDD) defines models on a different level of abstraction – Computation Independent Model (CIM), Platform Independent Model (PIM), Platform Specific Model (PSM), and Implementation Specific Model (ISM). The importatnt part of MDD are transformations between models – in the forward direction from more general models into more specific ones, or in the reverse direction.
Such transformations enables to automatize a generation of a code, or a validation against model. During the transformation of binary relationships from PIM into PSM ït is necessary to verify cardinalities of these relationships.
This paper deals with the implementation of such cardinalities defined in PIM by relational database management tools.