UML模型分析技术和支撑工具的研究
基本信息
批准号：60273036
项目类别：面上项目
资助金额：22.00
负责人：郑国梁
学科分类：
依托单位：南京大学
批准年份：2002
结题年份：2005
起止时间：2003-01-01 - 2005-12-31
项目状态： 已结题
项目参与者：李宣东,郑滔,崔萌,周颖,朱平,黄春荣,陈雨亭,刘芳,袁海
关键词：
UML模型分析形式语义Z/COOZ
结项摘要
本项研究以Z/COOZ为基础,结合Automata和Petri Nels等其它形式描述机制,建立UML的形式语义,在此基础上解决相应的UML模型分析问题并开发相应的分析工具,同时在所建立的UML形式语义的基础上的探索不同层次上的UML模型之间的语义联系,为建立基于UML的软件开发方法打下基础,这对提高UML的精确性,提高软件开发效率和可靠性都有重要意义.
项目摘要
项目成果
{{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
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
DOI：
发表时间：
3
基于文献计量学和社会网络分析的国内高血压病中医学术团队研究
基于文献计量学和社会网络分析的国内高血压病中医学术团队研究
DOI：10.11842/wst.20190724002
发表时间：2020
4
二维FM系统的同时故障检测与控制
二维FM系统的同时故障检测与控制
DOI：10.16383/j.aas.c180673
发表时间：2021
5
扶贫资源输入对贫困地区分配公平的影响
扶贫资源输入对贫困地区分配公平的影响
DOI：
发表时间：2020
郑国梁的其他基金
批准号：11404220
批准年份：2014
资助金额：25.00
项目类别：青年科学基金项目
相似国自然基金
1
UML/OCL模型的改写语义研究和工具开发
批准号：61163008
批准年份：2011
负责人：马苏拉
学科分类：F0201
资助金额：49.00
项目类别：地区科学基金项目
2
软件在线演化的关键技术与支撑工具研究
批准号：60973044
批准年份：2009
负责人：马晓星
学科分类：F0203
资助金额：29.00
项目类别：面上项目
3
面向UML的形式化测试技术
批准号：69973051
批准年份：1999
负责人：王戟
学科分类：F0203
资助金额：12.00
项目类别：面上项目
4
模型检测的理论、技术与工具
批准号：60833001
批准年份：2008
负责人：林惠民
学科分类：F0201
资助金额：180.00
项目类别：重点项目