The Formal Foundations in RSL for UML Statechart Diagrams
Meng Sun, Zhang Naixiao, Bernhard K. Aichernig · 2005
In this paper, we present a formalization for UML state-chart diagrams in the RAISE specification language RSL. By such a formalization, we propose a general framework for integration of graphical UML statechart diagrams and formal RSL specifications, which forms the continuation of the previous work on formalization of UML class diagrams in RSL. This allows the definition of UML semantic inter-pretations that are precise and unambiguous, and also en-hancing the readability, conciseness and abstraction of the resulting RSL specification. In a case study, we illustrate how the framework can be used to create formal specifi-cation for UML models and analyze the properties of the models.