朝着一个系统的、独立于工具的方法，用UML定义UML概要文件的执行语义

2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Pub Date : 2014-01-07 DOI:10.5220/0004696801820192

Jérémie Tatibouet, A. Cuccuru, S. Gérard, F. Terrier

{"title":"朝着一个系统的、独立于工具的方法，用UML定义UML概要文件的执行语义","authors":"Jérémie Tatibouet, A. Cuccuru, S. Gérard, F. Terrier","doi":"10.5220/0004696801820192","DOIUrl":null,"url":null,"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.","PeriodicalId":336046,"journal":{"name":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2014-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Towards a systematic, tool-independent methodology for defining the execution semantics of UML profiles with fUML\",\"authors\":\"Jérémie Tatibouet, A. Cuccuru, S. Gérard, F. Terrier\",\"doi\":\"10.5220/0004696801820192\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":336046,\"journal\":{\"name\":\"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2014-01-07\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.5220/0004696801820192\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5220/0004696801820192","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 5

摘要

UML概要机制的目的是设计基于UML的领域特定语言(DSL)。它存在广泛的UML概要文件:MARTE、ROOM、SysML。当前的概要文件设计方法只考虑语言的语法部分，而保持执行语义描述的非正式性。这削弱了支持可执行模型的模型驱动工程(MDE)的承诺。本文提出了一种系统的方法，使用基础UML(规范规范)来形式化UML概要文件的执行语义，它定义了UML子集的精确语义。该方法集成到参考轮廓设计方法中。它在一个支持图灵机的小轮廓上进行了说明。它演示了通过定义的语义执行结果概要模型的能力。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

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

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

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

自引率

0.00%

发文量