Semantic Differencing of Domain-Specific Models

特定领域模型的语义区分

基本信息

  • 批准号:
    2886247
  • 负责人:
  • 金额:
    --
  • 依托单位:
  • 依托单位国家:
    英国
  • 项目类别:
    Studentship
  • 财政年份:
    2023
  • 资助国家:
    英国
  • 起止时间:
    2023 至 无数据
  • 项目状态:
    未结题

项目摘要

Project Objectives: To investigate approaches to compare domain-specific models and present theidentified differences using effective semantics-aware visualisations. The project will address three keyresearch questions:1. To what extent can the graphical syntax of a domain-specific language be reused to visualisedifferences in models that conform to it in a meaningful way?2. Can bespoke transformations produce more effective semantics-aware visualisations thangeneric abstract-syntax driven differencing algorithms (e.g. such as those implemented in toolslike EMFCompare and EMF Diff/Merge)?3. If so, can commonalities be identified in such bespoke transformations, which could be pulled upto a higher level of abstraction and simplify their development?
项目目标:研究比较特定领域模型的方法,并使用有效的语义感知可视化来呈现所识别的差异。该项目将解决三个关键研究问题:1.在多大程度上可以重用领域特定语言的图形语法,以可视化模型中的差异,从而以有意义的方式符合它?2.定制的转换是否可以产生比通用抽象语法驱动的差异算法(例如,在EMF Compare和EMF Diff/Merge等工具中实现的算法)更有效的语义感知可视化?3.如果是的话,在这种定制的转换中是否可以识别出共性,从而可以将其提升到更高的抽象级别并简化其开发?

项目成果

期刊论文数量(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 }}

其他文献

吉治仁志 他: "トランスジェニックマウスによるTIMP-1の線維化促進機序"最新医学. 55. 1781-1787 (2000)
Hitoshi Yoshiji 等:“转基因小鼠中 TIMP-1 的促纤维化机制”现代医学 55. 1781-1787 (2000)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
LiDAR Implementations for Autonomous Vehicle Applications
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
生命分子工学・海洋生命工学研究室
生物分子工程/海洋生物技术实验室
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
吉治仁志 他: "イラスト医学&サイエンスシリーズ血管の分子医学"羊土社(渋谷正史編). 125 (2000)
Hitoshi Yoshiji 等人:“血管医学与科学系列分子医学图解”Yodosha(涉谷正志编辑)125(2000)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Effect of manidipine hydrochloride,a calcium antagonist,on isoproterenol-induced left ventricular hypertrophy: "Yoshiyama,M.,Takeuchi,K.,Kim,S.,Hanatani,A.,Omura,T.,Toda,I.,Akioka,K.,Teragaki,M.,Iwao,H.and Yoshikawa,J." Jpn Circ J. 62(1). 47-52 (1998)
钙拮抗剂盐酸马尼地平对异丙肾上腺素引起的左心室肥厚的影响:“Yoshiyama,M.,Takeuchi,K.,Kim,S.,Hanatani,A.,Omura,T.,Toda,I.,Akioka,
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:

的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('', 18)}}的其他基金

An implantable biosensor microsystem for real-time measurement of circulating biomarkers
用于实时测量循环生物标志物的植入式生物传感器微系统
  • 批准号:
    2901954
  • 财政年份:
    2028
  • 资助金额:
    --
  • 项目类别:
    Studentship
Exploiting the polysaccharide breakdown capacity of the human gut microbiome to develop environmentally sustainable dishwashing solutions
利用人类肠道微生物群的多糖分解能力来开发环境可持续的洗碗解决方案
  • 批准号:
    2896097
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
A Robot that Swims Through Granular Materials
可以在颗粒材料中游动的机器人
  • 批准号:
    2780268
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Likelihood and impact of severe space weather events on the resilience of nuclear power and safeguards monitoring.
严重空间天气事件对核电和保障监督的恢复力的可能性和影响。
  • 批准号:
    2908918
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Proton, alpha and gamma irradiation assisted stress corrosion cracking: understanding the fuel-stainless steel interface
质子、α 和 γ 辐照辅助应力腐蚀开裂:了解燃料-不锈钢界面
  • 批准号:
    2908693
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Field Assisted Sintering of Nuclear Fuel Simulants
核燃料模拟物的现场辅助烧结
  • 批准号:
    2908917
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Assessment of new fatigue capable titanium alloys for aerospace applications
评估用于航空航天应用的新型抗疲劳钛合金
  • 批准号:
    2879438
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Developing a 3D printed skin model using a Dextran - Collagen hydrogel to analyse the cellular and epigenetic effects of interleukin-17 inhibitors in
使用右旋糖酐-胶原蛋白水凝胶开发 3D 打印皮肤模型,以分析白细胞介素 17 抑制剂的细胞和表观遗传效应
  • 批准号:
    2890513
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
CDT year 1 so TBC in Oct 2024
CDT 第 1 年,预计 2024 年 10 月
  • 批准号:
    2879865
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Understanding the interplay between the gut microbiome, behavior and urbanisation in wild birds
了解野生鸟类肠道微生物组、行为和城市化之间的相互作用
  • 批准号:
    2876993
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship

相似海外基金

Collaborative Research: CCRI: New: Syntactic Differencing Infrastructure for Software Evolution Research
合作研究:CCRI:新:软件进化研究的句法差异基础设施
  • 批准号:
    2232594
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Collaborative Research: CCRI: New: Syntactic Differencing Infrastructure for Software Evolution Research
合作研究:CCRI:新:软件进化研究的句法差异基础设施
  • 批准号:
    2232593
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Study on Localized Exponential Time Differencing Methods for Evolution Partial Differential Equations
演化偏微分方程的局部指数时差法研究
  • 批准号:
    1818438
  • 财政年份:
    2018
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
VTracker: domain-independent and domain-aware XML-document differencing
VTracker:域独立且域感知的 XML 文档差异
  • 批准号:
    430464-2012
  • 财政年份:
    2012
  • 资助金额:
    --
  • 项目类别:
    Idea to Innovation
Quality-Optimised Differencing Algorithms for Models
模型质量优化的差分算法
  • 批准号:
    186192750
  • 财政年份:
    2010
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Design of a logic circuit for finite differencing of Navier-Stokes equations
纳维-斯托克斯方程有限差分逻辑电路的设计
  • 批准号:
    21656049
  • 财政年份:
    2009
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Challenging Exploratory Research
Development of New Numerical Methods Based on Nonlocally Exact Differencing and Numerical Investigation on Naturally Convected Heat Transfer
基于非局部精确差分的新数值方法的发展和自然对流传热的数值研究
  • 批准号:
    08458127
  • 财政年份:
    1996
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Development of New Numerical Methods Based on Locally Exact Differencing and Numerical Investigation on Naturally Convected Heat Transfer
基于局部精确差分的新数值方法的发展和自然对流传热的数值研究
  • 批准号:
    05680420
  • 财政年份:
    1993
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了