Behavioural simulation and equivalences of systems modelled by graph transformation
通过图变换建模的系统的行为模拟和等价性
基本信息
- 批准号:63444747
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:德国
- 项目类别:Research Grants
- 财政年份:2008
- 资助国家:德国
- 起止时间:2007-12-31 至 2014-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Behaviour modelling and model transformation play a key role in model driven software development. In order to validate model transformations, behaviour simulation and equivalence are important, but often neglected issues. In this project we use graph transformation not only to define model languages and transformations, but also to define the operational semantics and behavioural equivalence of systems. Before the start of this project there was no systematic study of behaviour simulation and equivalence for graph transformation systems and the main aim of this project is to fill this gap. For this purpose, we transfer concepts between graph transformations and process algebras and apply the corresponding results to behaviour preservation of model transformations. In the first phase of this project we have established a transfer of concepts using doublepushout transformations with borrowed context, with successful applications especially to model refactoring. Moreover, we have started a careful analysis of the problems occurring in model transformations. In part two of this project our research is guided by behavioural problems in specific application domains such as enterprise modelling, self-adaptive systems and verification of security protocols. In order to solve these problems, we especially study generalized application conditions and bisimulation, correctness of model transformations as well as model integration and synchronization based on triple graph grammars. Moreover, we extend the tool support developed in part one to handle these new concepts.
行为建模和模型转换在模型驱动的软件开发中起着关键作用。为了验证模型转换,行为模拟和等效性是重要的,但往往被忽视的问题。在这个项目中,我们使用图转换不仅定义模型语言和转换,而且定义系统的操作语义和行为等价。在这个项目开始之前,没有系统地研究图转换系统的行为模拟和等价性,这个项目的主要目的是填补这一空白。为了这个目的,我们转移图变换和进程代数之间的概念,并应用相应的结果模型变换的行为保持。在这个项目的第一阶段,我们已经建立了一个概念的转移使用doublepushout转换与借来的上下文,成功的应用程序,特别是模型重构。此外,我们已经开始仔细分析模型转换中出现的问题。在这个项目的第二部分,我们的研究是指导行为问题在特定的应用领域,如企业建模,自适应系统和安全协议的验证。为了解决这些问题,我们重点研究了基于三重图文法的广义应用条件和互模拟、模型转换的正确性以及模型集成与同步等问题。此外,我们扩展了第一部分中开发的工具支持来处理这些新概念。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Professor Dr. Hartmut Ehrig (†)其他文献
Professor Dr. Hartmut Ehrig (†)的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Professor Dr. Hartmut Ehrig (†)', 18)}}的其他基金
Formale Modellierung und Analyse von flexiblen Prozessen in mobilen Ad-hoc Netzwerken
移动自组织网络中灵活流程的形式化建模和分析
- 批准号:
31476443 - 财政年份:2006
- 资助金额:
-- - 项目类别:
Research Grants
Anwendung von Graphtransformation auf visuelle Modellierungssprachen
将图形转换应用于可视化建模语言
- 批准号:
5081982 - 财政年份:1998
- 资助金额:
-- - 项目类别:
Research Grants
Integration objektorientierter Softwarespezifikationstechniken und deren anwendungsspezifische Erweiterung für industrielle Produktionssysteme am Beispiel der Automobilindustrie
以汽车行业为例,集成面向对象的软件规范技术及其针对工业生产系统的特定应用扩展
- 批准号:
5134720 - 财政年份:1998
- 资助金额:
-- - 项目类别:
Priority Programmes
Taxonomie, Konzeption und Bereitstellung anwendungsorientierter Petrienetz- Technologie
面向应用的Petrie网技术的分类、构思和提供
- 批准号:
5172708 - 财政年份:1996
- 资助金额:
-- - 项目类别:
Research Units
相似国自然基金
Simulation and certification of the ground state of many-body systems on quantum simulators
- 批准号:
- 批准年份:2020
- 资助金额:40 万元
- 项目类别:
基于WRF-Mosaic近似不同下垫面类型改变对区域能量和水分循环影响的集合模拟
- 批准号:41775087
- 批准年份:2017
- 资助金额:68.0 万元
- 项目类别:面上项目
嵌段共聚物多级自组装的多尺度模拟
- 批准号:20974040
- 批准年份:2009
- 资助金额:33.0 万元
- 项目类别:面上项目
微扰量子色动力学方法及在强子对撞机的应用和暗物质的研究
- 批准号:10975004
- 批准年份:2009
- 资助金额:38.0 万元
- 项目类别:面上项目
孔隙介质中化学渗流溶解面非稳定性的理论分析与数值模拟实验研究
- 批准号:10872219
- 批准年份:2008
- 资助金额:35.0 万元
- 项目类别:面上项目
Kinetic Monte Carlo 模拟薄膜生长机理的研究
- 批准号:10574059
- 批准年份:2005
- 资助金额:12.0 万元
- 项目类别:面上项目
变压吸附中真空脱附过程的传质传热规律研究
- 批准号:20576028
- 批准年份:2005
- 资助金额:10.0 万元
- 项目类别:面上项目
相似海外基金
CAREER: Advances to the EMT Modeling and Simulation of Restoration Processes for Future Grids
职业:未来电网恢复过程的 EMT 建模和仿真的进展
- 批准号:
2338621 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Continuing Grant
Collaborative Research: Material Simulation-driven Electrolyte Designs in Intermediate-temperature Na-K / S Batteries for Long-duration Energy Storage
合作研究:用于长期储能的中温Na-K / S电池中材料模拟驱动的电解质设计
- 批准号:
2341994 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Standard Grant
EAGER: Liutex-based Sub-Grid Model for Large Eddy Simulation of Turbulent Flow
EAGER:基于 Liutex 的湍流大涡模拟子网格模型
- 批准号:
2422573 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Standard Grant
Global spatially explicit gridded transport model coupled with an integrated assessment model: a new-generation simulation framework for transport decarbonization strategy
全球空间明确网格交通模型与综合评估模型相结合:新一代交通脱碳战略模拟框架
- 批准号:
23K28290 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Scientific Research (B)
International Collaboration Towards Net Zero Computational Modelling and Simulation (CONTINENTS)
实现净零计算建模和仿真的国际合作(大陆)
- 批准号:
EP/Z531170/1 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Research Grant
DXに基づく急性期病院の認知症ケア専門職連携を促進するSimulation Platformの開発
基于DX开发促进急症医院痴呆护理专业协作的模拟平台
- 批准号:
23K27913 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Scientific Research (B)
CAREER:HCC: Using Virtual Reality Gaming to Develop a Predictive Simulation of Human-Building Interactions: Behavioral and Emotional Modeling for Public Space Design
职业:HCC:使用虚拟现实游戏开发人类建筑交互的预测模拟:公共空间设计的行为和情感建模
- 批准号:
2339999 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Continuing Grant
Travel: NSF Student Travel Grant for 2024 ACM SIGSIM Principles of Advanced Discrete Simulation (PADS)
旅行:2024 年 ACM SIGSIM 高级离散仿真原理 (PADS) 的 NSF 学生旅行补助金
- 批准号:
2416160 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Standard Grant
RAPID: Enhancing WUI Fire Assessment through Comprehensive Data and High-Fidelity Simulation
RAPID:通过综合数据和高保真模拟增强 WUI 火灾评估
- 批准号:
2401876 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Standard Grant