Analyzing Behavioral Aspects of UML Design Class Models against Temporal Properties

Abstract

Class models play central roles in model-driven development (MDD). Automated analysis of class models is crucial to uncover design problems. In previous work, we described a rigorous lightweight approach to analyzing operation specifications in UML design class models against temporal properties. However, the approach lacks a mechanism to handle the analysis of large class models. This paper presents a slicing algorithm that can be used to scale the analysis to large class models. We performed a preliminary evaluation using the Steam Boiler Control System. The results are presented in this paper.

A framework to specify system requirements using natural interpretation of UML/MARTE diagrams

“…The first major contribution of this proposed framework is to provide a set of reusable generic graphical temporal patterns. For identifying the temporal properties of systems, we started by considering several examples like the famous steam boiler case study [41,42], railway interlocking system [43] and the traffic light controller case study [44]. Working on these diverse examples to model behavioral properties in uml, we noted that several temporal patterns were repeated across different examples.…”

Natural interpretation of UML/MARTE diagrams for system requirements specification

“…The major contribution of this proposed approach is to provide a set of reusable generic graphical temporal patterns. For identifying the temporal properties of systems, we started [5], railway interlocking system [6] and the traffic light controller case study [7]. Working on these diverse examples to model behavioral properties in UML, we extracted several recurring temporal patterns.…”

“…This paper proposes graphical properties to represent various temporal patterns that occur frequently in systems. We studied various case studies like the stream boiler [5], railway interlocking system [6] and the traffic light controller [7] to extract recurring temporal patterns. To express these temporal artifacts in UML, we need MARTE time model and the associated CCSL.…”