权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Meta-Modeling and Graph Grammars: Generating Development Environments for Modeling Languages

元建模和图语法：为建模语言生成开发环境

基本信息

批准号：
216339235
负责人：
Professor Dr. Ernst-Rüdiger Olderog, since 4/2020
金额：
--
依托单位：
Abteilung Entwicklung korrekter Systeme
依托单位国家：
德国
项目类别：
Research Grants
财政年份：
2012
资助国家：
德国
起止时间：
2011-12-31 至 2020-12-31
项目状态：
已结题

来源：
https://gepris.dfg.de/gepris/projekt/216339235?language=en
关键词：
Meta Modeling Graph Grammars Generating

项目摘要

There is a trend to develop domain-specific modeling languages (DSMLs) with corresponding integrated development environments (IDEs) for model-driven development of software. Such IDEs include but are not limited to model editors as well as interpreters and/or translators of models. Additional tools such as high-level model version management and test support with automatic test case generation and model migrators are of great use. The development of such IDEs, however, is costly and requires tool development experiences. Therefore, meta-tools have been developed which reduce tool development to their domain-specific tasks. But still a lot of manual work and tool-related experiences are needed to use these meta-tools in the right way.The overall aim of this project is to raise the degree of automation w.r.t. tool support for modeling languages, especially DSMLs. Since tool development seems to be the largest obstacle for using modeling languages, we intend to identify core problems and to develop new concepts, methods and meta-tools to make tool development for modeling languages faster and easier. In a certain sense, we consider to lift the specification of domain-specific tool environments to a higher abstraction level, i.e., to make it more model-driven. To reach this aim, inherent problems such as interactively generating and repairing models need to be solved and are best considered on the formal level. We use the theory of graph transformation to systematically tackle them. Solutions found are implemented based on the Eclipse Modeling Project and evaluated at a variety of modeling languages.

为模型驱动的软件开发开发具有相应集成开发环境（ide）的特定领域建模语言（dsml）是一种趋势。这些ide包括但不限于模型编辑器以及模型的解释器和/或翻译器。附加的工具，如高级模型版本管理和带有自动测试用例生成和模型迁移器的测试支持，都是非常有用的。然而，这样的ide的开发是昂贵的，并且需要工具开发经验。因此，开发了元工具，将工具开发减少到特定于领域的任务。但是，要正确地使用这些元工具，仍然需要大量的手工工作和与工具相关的经验。这个项目的总体目标是提高自动化w.r.t.工具对建模语言的支持程度，尤其是dsml。由于工具开发似乎是使用建模语言的最大障碍，我们打算确定核心问题，并开发新的概念、方法和元工具，以使建模语言的工具开发更快、更容易。在某种意义上，我们考虑将特定于领域的工具环境的规范提升到更高的抽象级别，也就是说，使其更受模型驱动。为了实现这一目标，需要解决诸如交互式生成和修复模型等固有问题，并且最好在正式级别上考虑这些问题。我们运用图变换理论系统地解决了这些问题。找到的解决方案是基于Eclipse Modeling Project实现的，并在各种建模语言中进行评估。