Towards a systematic, tool-independent methodology for defining the execution semantics of UML profiles with fUML

Author

Tatibouet, Jeremie ; Cuccuru, Arnaud ; Gerard, Sebastien ; Terrier, Francois

Author_Institution

CEA, LIST, Laboratory of Model Driven Engineering for Embedded Systems, P.C. 174, Gif-sur-Yvette, 91191, France

fYear

2014

fDate

7-9 Jan. 2014

Firstpage

182

Lastpage

192

Abstract

The purpose of UML profile mechanism is to design domain specific languages (DSL) based on UML. It exists a wide range of UML profiles: MARTE, ROOM, SysML. Current profile design methodology only considers the syntactic part of the language and keeps informal the execution semantics description. This impairs Model Driven Engineering (MDE) promises which advocates for executable models. This paper presents a systematic approach to formalize the execution semantics of UML profiles using foundational UML (normative specification) which defines a precise semantics for a subset of UML. This approach is integrated into the reference profile design methodology. It is illustrated on a small profile to support Turing machines. It demonstrates capability to execute resulting profiled models through the defined semantics.

Keywords

Abstracts; Computational modeling; Runtime; Semantics; Syntactics; Turing machines; Unified modeling language; Alf; DSML; Execution; MoC; Profile; Semantics; Turing; fUML;

fLanguage

English

Publisher

ieee

Conference_Titel

Model-Driven Engineering and Software Development (MODELSWARD), 2014 2nd International Conference on

Conference_Location

Lisbon, Portugal

Print_ISBN

978-9-8975-8065-9

Type

conf

Filename

7018464