A Minimal Transition System Semantics for Lightweight Class and Behavior Diagrams
Roelf J. Wieringa, Jan Broersen · University of Twente Research Information · 1998
We give a semantics for lightweight UML class diagrams and ultra-lightweight statecharts in terms of labeled step transition systems that embody a minimal change, maximal step semantics, and in which changes generated in a step have effect in the following step. In order to define the semantics, we introduce dynamic step logic. 1 Introduction 1.1 Purpose In this paper we define a mixed formal specification language whose diagram syntax is a very simple subset of the UML syntax [27] and whose textual syntax is a version of ordersorted dynamic logic. We refer to this language as ultra-lightweight UML (ultra-LUML). The visual part of ultra-LUML consists of ultra-leightweight class diagrams (ultra-LCDs), which declare the decomposition of the system into objects, and of extended Mealy state diagrams (EMDs), which define object behavior. The textual part of utra-LUML is a version of dynamic logic and can be used to write a specification that is equivalent to a diagrammatic specificati...