System Model Semantics of Statecharts
Abstract
In this report, semantics for Statecharts is defined based on a mathematical model of object systems called "system model". The semantics definition is detailed for UML/P Statecharts, a variant of Statecharts which restricts the use of a few methodologically and semantically difficult concepts. After transforming full UML/P Statecharts to simplified but semantically equivalent Statecharts, the semantics is defined denotationally as a mapping into the system model. It is also sketched how already existing Statechart semantics can be mapped into the system model. This report follows, in which we introduced our approach in detail and defined semantics for UML class diagrams.
Cite
@article{arxiv.1409.6636,
title = {System Model Semantics of Statecharts},
author = {Maria Victoria Cengarle and Hans Grönninger and Bernhard Rumpe},
journal= {arXiv preprint arXiv:1409.6636},
year = {2014}
}
Comments
51 pages, 5 figures, Informatik-Bericht 2008-04 Technische Universit\"at Braunschweig, Carl-Friedrich-Gauss-Fakult\"at, 2008