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.
Type de document :
[Research Report] 2008, pp.21
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger
Contributeur : Jeanine Souquières <>
Soumis le : mardi 22 avril 2008 - 15:23:12
Dernière modification le : mardi 24 avril 2018 - 13:32:40
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 20:58:22


Fichiers produits par l'(les) auteur(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〉



Consultations de la notice


Téléchargements de fichiers