UML模型分析技术和支撑工具的研究
批准号：
60273036
项目类别：
面上项目
资助金额：
22.0 万元
负责人：
郑国梁
依托单位：
学科分类：
软件理论、软件工程与服务
结题年份：
2005
批准年份：
2002
项目状态：
已结题
项目参与者：
李宣东、郑滔、崔萌、周颖、朱平、黄春荣、陈雨亭、刘芳、袁海
项目摘要
结项摘要
相似基金
相关文献
中文摘要
本项研究以Z/COOZ为基础,结合Automata和Petri Nels等其它形式描述机制,建立UML的形式语义,在此基础上解决相应的UML模型分析问题并开发相应的分析工具,同时在所建立的UML形式语义的基础上的探索不同层次上的UML模型之间的语义联系,为建立基于UML的软件开发方法打下基础,这对提高UML的精确性,提高软件开发效率和可靠性都有重要意义.
英文摘要
国内基金
海外基金