从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.16085/j.issn.1000-6613.2022-0221
发表时间：2022
2
粗颗粒土的静止土压力系数非线性分析与计算方法
粗颗粒土的静止土压力系数非线性分析与计算方法
DOI：10.16285/j.rsm.2019.1280
发表时间：2019
3
中国参与全球价值链的环境效应分析
中国参与全球价值链的环境效应分析
DOI：10.12062/cpre.20181019
发表时间：2019
4
基于公众情感倾向的主题公园评价研究——以哈尔滨市伏尔加庄园为例
基于公众情感倾向的主题公园评价研究——以哈尔滨市伏尔加庄园为例
DOI：
发表时间：2022
5
基于细粒度词表示的命名实体识别研究
基于细粒度词表示的命名实体识别研究
DOI：10.3969/j.issn.1003-0077.2018.11.009
发表时间：2018
赵建华的其他基金
批准号：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
项目类别：青年科学基金项目