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 :
Rapport
[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

https://hal.inria.fr/inria-00274391
Contributeur : Jeanine Souquières <>
Soumis le : mardi 22 avril 2008 - 15:23:12
Dernière modification le : jeudi 11 janvier 2018 - 06:20:08
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 20:58:22

Fichier

seifert-inria-03.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

96

Téléchargements de fichiers

281