Revista Ingenierías Universidad de Medellín
versão impressa ISSN 1692-3324
ZAPATA, Carlos Mario e 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
Palavras-chave : UML; consistence rules; OCL; use cases; class diagram; graphic user interfaces; XML; XMI; Xquery.