从EDOC到J2EE的MDA模型转换及形式化支撑技术的研究
批准号：
60573085
项目类别：
面上项目
资助金额：
6.0 万元
负责人：
赵建华
依托单位：
学科分类：
软件理论、软件工程与服务
结题年份：
2006
批准年份：
2005
项目状态：
已结题
项目参与者：
刘志明、张天、徐斌、雷斌、姜泉、吴光
项目摘要
结项摘要
项目成果
赵建华的其他基金
相似基金
相关文献
中文摘要
本项研究的内容是在MDA框架下,对EDOC模型语义的研究，和对其到J2EE平台模型的转换规则的正确性形式化证明方法；并归纳得到有效的模型转换规则和实现一个有效的模型转换工具。使用MDA方法的时候，软件开发的效率取决于转换规则和转换工具的有效性。而规则和工具的有效性的首要条件是平台无关模型具有完整，精确的语义。我们将使用Action Semantics来描述EDOC中的元素的形式化语义。并以此为基础
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
Improve model checking efficie
提高模型检验效率
提高模型检验效率
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
[ZHAO Jianhua, Lei Bin等]
通讯作者：
ZHAO Jianhua, Lei Bin等
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
[Zhiming Liu, etc.]
通讯作者：
Zhiming Liu, etc.
DOI：
--
发表时间：
--
期刊：
计算机学报, P.513-525, 2006年第4期，第29卷
影响因子：
--
作者：
[]
通讯作者：
并发时间自动机检验算法中的空间压缩技术
-
批准号：60203009
-
项目类别：青年科学基金项目
-
资助金额：20.0万元
-
批准年份：2002
-
负责人：赵建华
-
依托单位：
国内基金
海外基金