Learn 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)
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)
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)
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)
— Owing that class diagrams constitute the backbone of object-oriented (OO) software development, many metrics were proposed to measure internal quality attributes such as the structural complexity, coupling, size, etc. But none of the proposed metrics take into account the added complexity when class diagrams are complemented by Object Constraint Language(More)
This article uses conceptual devices from different theories of communication, discourse analysis of Pêcheux and Zone of Proximal Development (ZPD) of Vygotsky, to present a formalization of a new pedagogical discourse based on the pedagogic transformation through a meaning-effect. The formalization of the main components of the pedagogic discourse(More)