Skip to Main content Skip to Navigation
Reports

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 :
Reports
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/inria-00274391
Contributor : Jeanine Souquières <>
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

File

seifert-inria-03.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00274391, version 2

Collections

Citation

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

Share

Metrics

Record views

137

Files downloads

411