In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
UML class diagrams are usually annotated with OCL expressions that constrain their possible instantiation. In our work we have investigated how OCL annotations can be automatically...
Through the incorporation of derived classes and associations in class diagrams, this paper proposes a method to improve the specification power of multiplicity for n-ary associat...
Solving complex global problems such as illegal immigration, border control, and terrorism requires government organizations at all levels to share not only data but, more importa...
Seema Degwekar, Jeff DePree, Howard W. Beck, Carla...
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...