Towards a systematic, tool-independent methodology for defining the execution semantics of UML profiles with fUML - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

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

(1) , (1) , (1) , (1)
1

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.
Not file

Dates and versions

cea-01844448 , version 1 (19-07-2018)

Identifiers

  • HAL Id : cea-01844448 , version 1

Cite

J. Tatibouët, A. Cuccuru, S. Gérard, François Terrier. Towards a systematic, tool-independent methodology for defining the execution semantics of UML profiles with fUML. MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Jan 2014, Lisbon, Portugal. pp.182-192. ⟨cea-01844448⟩

Collections

CEA DRT LIST
20 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More