Meta-Modeling and Graph Grammars: Generating Development Environments for Modeling Languages
Meta-Modeling and Graph Grammars: Generating Development Environments for Modeling Languages
批准号:
216339235
负责人:
Professor Dr. Ernst-Rüdiger Olderog, since 4/2020
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
2012
资助国家:
德国
项目状态:
已结题
起止时间:
2011-12-31 至 2020-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(8)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Constructing optimized constraint-preserving application conditions for model transformation rules
构建模型转换规则的优化约束保留应用条件
DOI:
10.1016/j.jlamp.2020.100564
发表时间:
2020
期刊:
J. Log. Algebraic Methods Program.
影响因子:
--
作者:
[Nebras Nassar, Jens Kosiol, Thorsten Arendt, Gabriele Taentzer]
通讯作者:
Gabriele Taentzer
DOI:
10.4204/eptcs.309.5
发表时间:
2019-12
期刊:
ArXiv
影响因子:
--
作者:
[Christian Sandmann;A. Habel]
通讯作者:
Christian Sandmann;A. Habel
DOI:
10.1016/j.scico.2017.08.006
发表时间:
2018-01-15
期刊:
SCIENCE OF COMPUTER PROGRAMMING
影响因子:
1.3
作者:
[Radke, Hendrik, Arendt, Thorsten, Taentzer, Gabriele]
通讯作者:
Taentzer, Gabriele
DOI:
10.1007/978-3-319-75396-6_2
发表时间:
2018
期刊:
影响因子:
--
作者:
[Annegret Habel, Christian Sandmann, Tilman Teusch]
通讯作者:
Tilman Teusch
国内基金
海外基金
Galaxy Analytical Modeling
Evolution (GAME) and cosmological
hydrodynamic simulations.
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2025
-
负责人:Antonios Katsianis
-
依托单位: