Resumen

CABARCAS, DANIEL; ARANGO, FERNANDO  y  ZAPATA, CARLOS M.. CONSISTENCY ESTABLISHMENT AND VERIFICATION IN DOME: A CASE STUDY. Dyna rev.fac.nac.minas [online]. 2006, vol.73, n.148, pp.17-28. ISSN 0012-7353.

MetaCASE tools offer a similar functionality than conventional CASE tools for arbitrary graphical notations, once these notations had been suitably specified. The main obstacle affronted when using these tools, is the specification of the consistency rules that must be taken into account when using the graphical notation. In this paper, we present the specifications of two consistency rules of the UML class diagram on the metaCASE tool DOME, encoded on the programming language Alter. In addition, we analyze not only the specification of the structural features, but also the specification of the consistency rules of the UML class diagram in DOME, comparing with the UML specification provided by OMG.

Palabras clave : UML; Metamodeling; DOME; Consistency.