Paper Info
Title
Towards a systematic, tool-independent methodology for defining the execution semantics of UML profiles with fUML
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.
Year
Venue
Keywords
2014
Model-Driven Engineering and Software Development
Alf,DSML,Execution,MoC,Profile,Semantics,Turing,fUML
Field
DocType
Citations 
Domain-specific language,Programming language,UML tool,Unified Modeling Language,Model-driven architecture,Computer science,Theoretical computer science,Applications of UML,Systems Modeling Language,Semantics,Executable
Conference
4
PageRank 
References 
Authors
0.44
0
4
Name
Order
Citations
PageRank
Jérémie Tatibouet140.77
Arnaud Cuccuru28510.93
Sébastien Gérard353856.78
François Terrier437440.65