Towards a Systematic, Tool-Independent Methodology for Defining the Execution Semantics of UML Profiles with fUML

Jérémie Tatibouët, Arnaud Cuccuru, Sébastien Gérard, François Terrier

2014

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.

Paper Citation

in Harvard Style

Tatibouët J., Cuccuru A., Gérard S. and Terrier F. (2014). Towards a Systematic, Tool-Independent Methodology for Defining the Execution Semantics of UML Profiles with fUML . In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-007-9, pages 182-192. DOI: 10.5220/0004696801820192

in Bibtex Style

@conference{modelsward14,
author={Jérémie Tatibouët and Arnaud Cuccuru and Sébastien Gérard and François Terrier},
title={Towards a Systematic, Tool-Independent Methodology for Defining the Execution Semantics of UML Profiles with fUML},
booktitle={Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2014},
pages={182-192},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004696801820192},
isbn={978-989-758-007-9},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Towards a Systematic, Tool-Independent Methodology for Defining the Execution Semantics of UML Profiles with fUML
SN - 978-989-758-007-9
AU - Tatibouët J.
AU - Cuccuru A.
AU - Gérard S.
AU - Terrier F.
PY - 2014
SP - 182
EP - 192
DO - 10.5220/0004696801820192