Luis Reynoso

Learn More
Diagram-based UML notation is limited in its expressiveness thus producing a model that would be severely underspecified. The flaws in the limitation of the UML diagrams are solved by specifying UML/OCL combined models, OCL being an essential add-on to the UML diagrams. Aware of the importance of building precise models, the main goal of this paper is to(More)
Early and precise models started to play an increasingly relevant role since models themselves become the primary focus in recent initiatives of Model-Driven Engineering (such as Model-Driven Development and Model-Driven Architecture). However, a precise model cannot be obtained through the use of Unified Modeling Language (UML), due to the limited(More)
The informal definition of a measure in natural language is ambiguous, so it must be accompanied by a precise and formal definition, for avoiding misunderstanding and misinterpretation. In this paper we show the formal definition of measures for UML statechart diagrams using OCL, upon the UML statechart metamodel. The use of a formal definition upon a(More)
Keywords: Software measures UML/OCL models OCL expressions Import-coupling Comprehensibility Modifiability Maintainability Mental models Cognitive models Experiments Meta-analysis a b s t r a c t The aim of this paper is to present the definition of the measures for the import-coupling of OCL expressions, along with the empirical validation of these as(More)