• 文献检索
  • 文档翻译
  • 深度研究
  • 学术资讯
  • Suppr Zotero 插件Zotero 插件
  • 邀请有礼
  • 套餐&价格
  • 历史记录
应用&插件
Suppr Zotero 插件Zotero 插件浏览器插件Mac 客户端Windows 客户端微信小程序
定价
高级版会员购买积分包购买API积分包
服务
文献检索文档翻译深度研究API 文档MCP 服务
关于我们
关于 Suppr公司介绍联系我们用户协议隐私条款
关注我们

Suppr 超能文献

核心技术专利:CN118964589B侵权必究
粤ICP备2023148730 号-1Suppr @ 2026

文献检索

告别复杂PubMed语法,用中文像聊天一样搜索,搜遍4000万医学文献。AI智能推荐,让科研检索更轻松。

立即免费搜索

文件翻译

保留排版,准确专业,支持PDF/Word/PPT等文件格式,支持 12+语言互译。

免费翻译文档

深度研究

AI帮你快速写综述,25分钟生成高质量综述,智能提取关键信息,辅助科研写作。

立即免费体验

关于基础UML动作语言的自动翻译执行。

On the automated translational execution of the action language for foundational UML.

作者信息

Ciccozzi Federico

机构信息

Department of Innovation, Design, and Engineering (IDT), MRTC, Mälardalen University, 72123 P.O. Box 883, Västerås, Sweden.

出版信息

Softw Syst Model. 2018;17(4):1311-1337. doi: 10.1007/s10270-016-0556-7. Epub 2016 Sep 26.

DOI:10.1007/s10270-016-0556-7
PMID:30220904
原文链接:https://pmc.ncbi.nlm.nih.gov/articles/PMC6132576/
Abstract

To manage the rapidly growing complexity of software development, abstraction and automation have been recognised as powerful means. Among the techniques pushing for them, model-driven engineering has gained increasing attention from industry for, among others, the possibility to automatically generate code from models. To generate fully executable code, models should describe complex behaviours. While pragmatically this is achieved by employing programming languages for defining actions within models, the abstraction gap between modelling and programming languages can undermine consistency between models and code as well as analysability and reusability of models. In light of this, model-aware action languages should be preferred. This is the case of the Action Language for Foundational UML (ALF). In this paper, we provide a solution for the fully automated of ALF towards C++. Additionally, we give an insight on how to simplify the transition from the use of programming languages for modelling fine-grained behaviours to model-aware action languages in industrial MDE. The solution presented in this paper has been assessed on industrial applications to verify its applicability to complex systems as well as its scalability.

摘要

为了应对软件开发中迅速增长的复杂性,抽象和自动化已被视为强大的手段。在推动它们的技术中,模型驱动工程因其能够从模型自动生成代码等原因而受到业界越来越多的关注。为了生成完全可执行的代码,模型应该描述复杂的行为。虽然在实际应用中这是通过使用编程语言在模型中定义操作来实现的,但建模语言和编程语言之间的抽象差距可能会破坏模型与代码之间的一致性以及模型的可分析性和可重用性。有鉴于此,应优先选择支持模型的动作语言。基础UML的动作语言(ALF)就是这种情况。在本文中,我们提供了一种将ALF完全自动化转换为C++ 的解决方案。此外,我们深入探讨了如何在工业模型驱动工程中简化从使用编程语言建模细粒度行为到支持模型的动作语言的过渡。本文提出的解决方案已在工业应用中进行了评估,以验证其对复杂系统的适用性及其可扩展性。

相似文献

1
On the automated translational execution of the action language for foundational UML.关于基础UML动作语言的自动翻译执行。
Softw Syst Model. 2018;17(4):1311-1337. doi: 10.1007/s10270-016-0556-7. Epub 2016 Sep 26.
2
Knowledge-Based Verification of Concatenative Programming Patterns Inspired by Natural Language for Resource-Constrained Embedded Devices.基于知识的资源受限嵌入式设备中受自然语言启发的连接编程模式验证。
Sensors (Basel). 2020 Dec 26;21(1):107. doi: 10.3390/s21010107.
3
Laboratory automation in a functional programming language.使用函数式编程语言实现的实验室自动化。
J Lab Autom. 2014 Dec;19(6):569-76. doi: 10.1177/2211068214543373. Epub 2014 Aug 14.
4
Automated code development based on genetic programming in graphical programming language: A pilot study.基于图形化编程语言的遗传编程的自动化代码开发:一项初步研究。
PLoS One. 2024 Mar 7;19(3):e0299456. doi: 10.1371/journal.pone.0299456. eCollection 2024.
5
Dependability modeling and assessment in UML-based software development.基于UML的软件开发中的可靠性建模与评估。
ScientificWorldJournal. 2012;2012:614635. doi: 10.1100/2012/614635. Epub 2012 Sep 3.
6
Comprehensive Aspectual UML approach to support AspectJ.支持AspectJ的全面方面UML方法。
ScientificWorldJournal. 2014;2014:327808. doi: 10.1155/2014/327808. Epub 2014 Jul 21.
7
The caCORE Software Development Kit: streamlining construction of interoperable biomedical information services.caCORE软件开发工具包:简化可互操作生物医学信息服务的构建
BMC Med Inform Decis Mak. 2006 Jan 6;6:2. doi: 10.1186/1472-6947-6-2.
8
Working with the HL7 metamodel in a Model Driven Engineering context.在模型驱动工程环境中使用HL7元模型。
J Biomed Inform. 2015 Oct;57:415-24. doi: 10.1016/j.jbi.2015.09.001. Epub 2015 Sep 5.
9
Using the Unified Modelling Language (UML) to guide the systemic description of biological processes and systems.使用统一建模语言(UML)来指导对生物过程和系统的系统描述。
Biosystems. 2004 Jul;75(1-3):3-14. doi: 10.1016/j.biosystems.2004.03.009.
10
A UML profile for framework modeling.用于框架建模的统一建模语言(UML)概要文件。
J Zhejiang Univ Sci. 2004 Jan;5(1):92-8. doi: 10.1007/BF02839319.