Grupo Alarcos · Conference paper · 2008
Formal definition of measures for UML statechart diagrams using OCL
Luis Alberto Reynoso, José Antonio Cruz Lemus, Marcela Genero Bocco, Mario Piattini Velthuis
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 metamodel (where the main concepts and relationships are modelled) assure that measures capture the concepts they intend for and could facilitate the implementation of measures extraction tools.
On the same topic
- 2003 Defining Metrics for UML Statechart Diagrams in a Methodological Way
- 2007 Using Controlled Experiments for Validating UML Statechart Diagrams Measures
- 2003 Empirical Validation of Metrics for UML Statechart Diagrams
- 2005 Evaluating the effect of composite states on the understandability of UML statechart diagrams