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)
UML models quality is clearly a crucial issue that must be evaluated at the initial stages of object-oriented software development, in order to get software products with better quality. This fact is corroborated by the huge amount of metrics that have appeared in the literature related to the measurement of UML diagrams at a high level design stage. Most(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)
The import coupling of an object constraint language (OCL) expression increases when the expression operates within a large context of a Unified Modelling Language (UML) model. The expression would thus exhibit a decrease in its comprehensibility, and in consequence, the maintainability of the OCL expressions could be affected, due to the fact that modelers(More)
A prospective study was carried out in normal women in order to investigate the effects of the following procedures on the electrocardiogram and blood pressure: (1) insertion of an intrauterine device (IUD)--the Lippes loop, Tcu-200, uterine progesterone system or Cu-7; (2) endometrial biopsy; and (3) uterine flushing. In groups in which a large IUD like(More)
Low-dose aspirin may be inadequate for inhibition of platelet function in hyperlipoproteinemics due to increased platelet reactivity. Platelet function was studied in 18 type II hyperlipoproteinemic and 12 normal subjects after at least ten days of treatment with placebo and with low-dose (0.45 mg/kg/day) and high-dose (900 mg/day) aspirin. In the normal(More)