Skip to Main content Skip to Navigation

An Executable Formal Semantics for a UML State Machine Kernel Considering Complex Structured Data

Dirk Seifert 1 
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We present a comprehensive formal semantics for a UML state machine kernel which also considers the use and manipulation of complex structured data. We refer to the UML standard Version 2.1.1 which was published in year 2007. There has been no work that completely integrates complex structured data into a UML state machine semantics. We follow a ”semantics-first” approach (in opposite to a ”complete-notation-first” approach) in which we consider a sound basic kernel of the UML state machine notation, and extend this kernel only ater a thorough investigation of the impacts. We define an operational semantics which is intended to be implemented in a standard programming language. Currently we use such an implementation to automatically generate test cases out of a state machine specification. This document is intended to be adapted if necessary. We will indicate that by the version number given above, whereat the major version number indicates changes of the considered subset and the minor version number indicates adoptions and corrections.
Document type :
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
Contributor : Jeanine Souquières Connect in order to contact the contributor
Submitted on : Tuesday, April 22, 2008 - 3:23:12 PM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM
Long-term archiving on: : Friday, November 25, 2016 - 8:58:22 PM


Files produced by the author(s)


  • HAL Id : inria-00274391, version 2



Dirk Seifert. An Executable Formal Semantics for a UML State Machine Kernel Considering Complex Structured Data. [Research Report] 2008, pp.21. ⟨inria-00274391v2⟩



Record views


Files downloads