2014/09/22 by Marı́a Victoria Cengarle, Cengarle, Maria Victoria, Grönninger, Hans +2
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Service-Oriented Architecture and Web Services #Software Engineering (cs.SE)
paper · doi:10.48550/arxiv.1409.6636
openalex publication_date 2014/09/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.