Publication at Faculty of Mathematics and Physics |
2011
Abstract
The paper deals with one particular step in the process of model driven development (MDD). MDD supposes that the software development process is the sequence of model transformations from computation independent models (CIM) to platform independent models (PIM), platform specific models (PSM), and implementation specific models (ISM).
Similar transformations can support reverse engineering processes. This paper describes principles and possibilities for transformations of the class model in UML with integrity constraints in OCL from PIM level into PSM level.
The idea will be illustrated on examples.