SciELO - Scientific Electronic Library Online

vol.7 issue12Quadrilateralization of a triangular net using spectral analysis and Morse theory author indexsubject indexarticles search
Home Pagealphabetic serial listing  

Services on Demand



Related links

  • On index processCited by Google
  • Have no similar articlesSimilars in SciELO
  • On index processSimilars in Google


Revista Ingenierías Universidad de Medellín

Print version ISSN 1692-3324
On-line version ISSN 2248-4094


ZAPATA, Carlos Mario  and  GONZALEZ, Guillermo. Formal OCL specification of consistency rules between the UML class and the use case models and the interfaces model. Rev. ing. univ. Medellin [online]. 2008, vol.7, n.12, pp.169-191. ISSN 1692-3324.

In a software lifetime, during definition and analysis stages, a specification of requirements is carried out. For such a purpose, it is necessary to get through a process to capture interested persons’ needs and expectations, which will later be translated into a set of models representing both the problem and the solution. Most models are frequently expressed by the UML (Unified Modeling Language) which defines a set of devices for specifying software requirements which should be consistent with the same model. However, consistency among several devices is not defined in the UML specification and not too much work has been made with this type of consistence. This article proposes a method to verify consistence among UML class diagram and use case diagram in a formal way. Such a process is carried out through an evaluation of several rules defined in the OCL (Object Constraint Language), which should be fulfilled to assure that information provided by such models is consistent. As both diagrams participation is recognized when preparing GUI (Graphic User Interfaces) consistence with this device is additionally defined

Keywords : UML; consistence rules; OCL; use cases; class diagram; graphic user interfaces; XML; XMI; Xquery.

        · abstract in Spanish     · text in Spanish     · Spanish ( pdf )


Creative Commons License All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License