Services on Demand
Journal
Article
Indicators
- Cited by SciELO
- Access statistics
Related links
- Cited by Google
- Similars in SciELO
- Similars in Google
Share
DYNA
Print version ISSN 0012-7353On-line version ISSN 2346-2183
Abstract
CABARCAS, DANIEL; ARANGO, FERNANDO and 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.
Keywords : UML; Metamodeling; DOME; Consistency.