# System Model Semantics of Statecharts

**Authors:** Maria Victoria Cengarle, Hans Grönninger, Bernhard Rumpe  
**arXiv:** [1409.6636](https://arxiv.org/abs/1409.6636)  
**Date:** 2014-09-22  
**Summary page:** https://www.summarizepaper.com/en/paper/1409.6636v1/

## Key points

- Authors present a comprehensive definition of semantics for UML/P Statecharts
- UML/P Statecharts are a variant of Statecharts with restrictions on certain concepts
- Semantics established by transforming full UML/P Statecharts into simplified versions
- Semantics defined denotationally by mapping simplified Statecharts into system model
- Existing Statechart semantics can be mapped into the system model
- Extends authors' previous work on defining semantics for UML class diagrams
- Report spans 51 pages and includes five figures
- Originally published in 2008 by Technische Universität Braunschweig's Carl-Friedrich-Gauss-Fakultät and available in PDF format through arXiv.org
- Contributes to advancing understanding of formalizing and defining semantics for complex modeling languages like UML/P Statecharts
- Proposed system model provides foundation for analyzing and interpreting diagrams within an object-oriented context.

## Summary

In the report titled "System Model Semantics of Statecharts," authors Maria Victoria Cengarle, Hans Grönninger, and Bernhard Rumpe present a comprehensive definition of semantics for UML/P Statecharts. The authors specifically focus on UML/P Statecharts, which are a variant of Statecharts that impose restrictions on the usage of certain methodologically and semantically challenging concepts. To establish the semantics for UML/P Statecharts, the authors propose transforming full UML/P Statecharts into simplified but semantically equivalent versions. They then define the semantics denotationally by mapping these simplified Statecharts into the system model. Additionally, they outline how existing Statechart semantics can be mapped into the system model. This report builds upon a previous publication by the same authors where they introduced their approach in detail and defined semantics for UML class diagrams. By extending their work to include UML/P Statecharts, the authors provide a more comprehensive understanding of system modeling and its application in different diagram types. The report spans 51 pages and includes five figures. It was originally published as an Informatik-Bericht in 2008 by Technische Universität Braunschweig's Carl-Friedrich-Gauss-Fakultät and is available in PDF format through arXiv.org. Overall, this research contributes to advancing our understanding of formalizing and defining semantics for complex modeling languages like UML/P Statecharts. The proposed system model provides a solid foundation for analyzing and interpreting these diagrams within an object-oriented context.