从EDOC到J2EE的MDA模型转换及形式化支撑技术的研究
基本信息
批准号：60573085
项目类别：面上项目
资助金额：6.00
负责人：赵建华
学科分类：
依托单位：南京大学
批准年份：2005
结题年份：2006
起止时间：2006-01-01 - 2006-12-31
项目状态： 已结题
项目参与者：刘志明,张天,徐斌,雷斌,姜泉,吴光
关键词：
模型转换工具软件工程形式化验证模型驱动的体系结构
结项摘要
本项研究的内容是在MDA框架下,对EDOC模型语义的研究，和对其到J2EE平台模型的转换规则的正确性形式化证明方法；并归纳得到有效的模型转换规则和实现一个有效的模型转换工具。使用MDA方法的时候，软件开发的效率取决于转换规则和转换工具的有效性。而规则和工具的有效性的首要条件是平台无关模型具有完整，精确的语义。我们将使用Action Semantics来描述EDOC中的元素的形式化语义。并以此为基础
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
一种基于多层设计空间缩减策略的近似高维优化方法
一种基于多层设计空间缩减策略的近似高维优化方法
DOI：10.1051/jnwpu/20213920292
发表时间：2021
2
二维FM系统的同时故障检测与控制
二维FM系统的同时故障检测与控制
DOI：10.16383/j.aas.c180673
发表时间：2021
3
扶贫资源输入对贫困地区分配公平的影响
扶贫资源输入对贫困地区分配公平的影响
DOI：
发表时间：2020
4
LTNE条件下界面对流传热系数对部分填充多孔介质通道传热特性的影响
LTNE条件下界面对流传热系数对部分填充多孔介质通道传热特性的影响
DOI：10.11949/0438-1157.20201662
发表时间：2021
5
基于两阶段TOPSIS-DEA模型的我国商业银行经营绩效评价
基于两阶段TOPSIS-DEA模型的我国商业银行经营绩效评价
DOI：
发表时间：2017
赵建华的其他基金
批准号：51875062
批准年份：2018
资助金额：60.00
项目类别：面上项目
批准号：11761076
批准年份：2017
资助金额：36.50
项目类别：地区科学基金项目
批准号：31660220
批准年份：2016
资助金额：41.00
项目类别：地区科学基金项目
批准号：41802141
批准年份：2018
资助金额：26.00
项目类别：青年科学基金项目
批准号：81070981
批准年份：2010
资助金额：35.00
项目类别：面上项目
批准号：61403337
批准年份：2014
资助金额：25.00
项目类别：青年科学基金项目
批准号：61674097
批准年份：2016
资助金额：62.00
项目类别：面上项目
批准号：60836002
批准年份：2008
资助金额：220.00
项目类别：重点项目
批准号：41876109
批准年份：2018
资助金额：62.00
项目类别：面上项目
批准号：60203009
批准年份：2002
资助金额：20.00
项目类别：青年科学基金项目
批准号：10334030
批准年份：2003
资助金额：200.00
项目类别：重点项目
批准号：19072060
批准年份：1990
资助金额：4.00
项目类别：面上项目
批准号：11361071
批准年份：2013
资助金额：40.00
项目类别：地区科学基金项目
批准号：59472014
批准年份：1994
资助金额：8.00
项目类别：面上项目
批准号：10674130
批准年份：2006
资助金额：35.00
项目类别：面上项目
批准号：61334006
批准年份：2013
资助金额：290.00
项目类别：重点项目
批准号：11127406
批准年份：2011
资助金额：280.00
项目类别：专项基金项目
批准号：31060104
批准年份：2010
资助金额：23.00
项目类别：地区科学基金项目
批准号：31600124
批准年份：2016
资助金额：22.00
项目类别：青年科学基金项目
批准号：51705445
批准年份：2017
资助金额：25.00
项目类别：青年科学基金项目
批准号：50072025
批准年份：2000
资助金额：18.00
项目类别：面上项目
批准号：31360191
批准年份：2013
资助金额：48.00
项目类别：地区科学基金项目
批准号：U1632264
批准年份：2016
资助金额：250.00
项目类别：联合基金项目
批准号：41375019
批准年份：2013
资助金额：51.00
项目类别：面上项目
相似国自然基金
1
从操作式规格说明到程序的自动转换
批准号：69373018
批准年份：1993
负责人：徐永森
学科分类：F0203
资助金额：5.00
项目类别：面上项目
2
细胞从静止期到增殖期转换的蛋白质组学研究
批准号：30671066
批准年份：2006
负责人：何大澄
学科分类：C0704
资助金额：30.00
项目类别：面上项目
3
SPMD程序设计模型——从Fortran到Java
批准号：69873004
批准年份：1998
负责人：李晓明
学科分类：F0204
资助金额：12.00
项目类别：面上项目
4
上转换研究方向的拓展：从发光调控到三维生物成像
批准号：21303149
批准年份：2013
负责人：王锋
学科分类：B0305
资助金额：25.00
项目类别：青年科学基金项目