Defining Metrics for UML Statechart Diagrams in a Methodological Way

Genero, Marcela; Miranda, David J.; Piattini, Mario

doi:10.1007/978-3-540-39597-3_12

Cited by 26 publications

(26 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The formalization of the metrics was performed in [17] with the Object Constraint Language (OCL) [43], an expression language to be used jointly with UML diagrams, and with Maude [16], a formal language allowing for reasoning that is based on equational logic and rewriting logic. The analytical validation was executed in [28] through Briand et al's property-based framework [9], which contains a set of intuitively derived axioms that formalize necessary properties that metrics should satisfy in order to be considered as valid measures. In the theoretical validation process of these metrics (Cruz-Lemus et al [19]), we also used the Measurement Theory-based DISTANCE framework [46] that defines sufficient properties for guaranteeing the construct validity of the empirical studies where these metrics were used.…”

Section: Metrics Definitionmentioning

confidence: 99%

See 1 more Smart Citation

The impact of structural complexity on the understandability of UML statechart diagrams

Cruz-Lemus

Maes

Genero

et al. 2010

Information Sciences

Self Cite

View full text Add to dashboard Cite

Section: Metrics Definitionmentioning

confidence: 99%

“…Through these validations, all the metrics were characterized as ratio scale metrics, which is relevant when statistically analyzing the metrics values obtained in empirical studies. The empirical validation of some of these metrics as understandability indicators was performed in [28,40].…”

Section: Metrics Definitionmentioning

confidence: 99%

The impact of structural complexity on the understandability of UML statechart diagrams

Cruz-Lemus

Maes

Genero

et al. 2010

Information Sciences

Self Cite

View full text Add to dashboard Cite

“…Considering the works in [9] and [16], to measure the size and complexity of state machines, we used the next metrics: Number…”

Section: Methodsmentioning

confidence: 99%

Runtime observable and adaptable UML state machines

Illarramendi

Etxeberria

Elkorobarrutia

et al. 2019

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing

View full text Add to dashboard Cite

An embedded system is a self-contained system that incorporates elements of control logic and real-world interaction. UML State Machines constitute a powerful formalism to model the behaviour of these types of systems. In current industrial environments, the software of these embedded systems have to cope with the increasing complexity and robustness requirements at runtime. One way to manage these requirements is having the software component's behaviour model available at runtime (models@run.time). Thus, it is possible to enhance the safety of the software component by enabling verification and adaptation at runtime. In this paper, we present a model-driven approach to generate software components (namely, RESCO framework), which are able both to provide their internal information in model terms at runtime and adapt their behaviour automatically when an error or an unexpected situation is detected. The aforementioned runtime introspection and adaptation abilities are added automatically to the software component and it does not require the developer make any extra effort. The solution has been tested in the design and implementation of an industrial Burner controller. Results indicate that the software components generated by the presented solution provides introspection at runtime. Thanks to this introspection ability at runtime, the software components are able to adapt automatically from their normal-mode behaviour to a safe-mode behaviour which was defined to be used in erroneous or unexpected situations at runtime. Therefore, it is possible to enhance the safety of the systems consisting of these software components. CCS CONCEPTS• Computer systems organization → Dependable and faulttolerant systems and networks; Embedded software; Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the owner/author(s).

show abstract

“…For example, we can evaluate the efficiency annotations in the model as described above, or we can apply dynamic metrics [28,29,30] which measure the complexity of the dynamic behavior of an object-oriented design. In order to do this, dynamic aspects of all submitted models would have to be expressed fully, and would have to be planned consistently so that they could be compared.…”

Section: Remedymentioning

confidence: 99%

Experiments on quality evaluation of embedded software in Japan robot software design contest

Washizaki

Yasuhide²,

Watanabe³

et al. 2006

Proceedings of the 28th International Conference on Software Engineering

View full text Add to dashboard Cite

As a practical opportunity for educating Japanese young developers in the field of embedded software development, a software design contest involving the design of software to automatically control a line-trace robot, and conduct running performance tests was held. In this paper, we give the results of the contest from the viewpoint of software quality evaluation. We create a framework for evaluating the software quality which integrated design model quality and the final system performance, and conduct analysis using the framework. As a result of analysis, it is found that the quantitative measurement of the structural complexity of the design models bears a strong relationship to qualitative evaluation of the design conducted by judges. It is also found that there is no strong correlation between design model quality evaluated by the judges and the final system performance. For embedded software development, it is particularly important to estimate and verify reliability and performance in the early stages, using the model. Based on the analysis result, we consider possible remedies with respect to the models submitted, the evaluation methods used and the contest specifications. In order to adequately measure several non-functional quality characteristics including performance on the model, it is necessary to improve the way of developing robot software (such as applying model driven development) and reexamine the evaluation methods.

show abstract

Defining Metrics for UML Statechart Diagrams in a Methodological Way

Cited by 26 publications

References 21 publications

The impact of structural complexity on the understandability of UML statechart diagrams

The impact of structural complexity on the understandability of UML statechart diagrams

Runtime observable and adaptable UML state machines

Experiments on quality evaluation of embedded software in Japan robot software design contest

Contact Info

Product

Resources

About