登记年份

 2005

成果完成人

 房鼎益    陈晓江    安娜    刘炜    吴晓南    何坚    段任    冯艳华    

成果完成单位

 西北大学

所处阶段

 中期阶段

成果来源

 陕西省

成果内容简介

 研究内容：项目针对当前基于构件的分布式系统开发技术的不足和问题，探索将软件构架和基于构件的软件开发方法相结合、支持大型分布式系统构造的有效方法和工具。成果创新点：（1） 提出了将形式化方法和可视化方法、自顶向下软件体系结构建模和软件体系结构制导的自底向上的系统构造有机结合，有效支持大型分布式系统开发的新思想和新方法。（2） 提出并实现了一个基于属性文法的分布式软件体系结构建模语言ADEAG。（3） 提出并实现了基于有穷状态进程FSP的分布式软件体系结构性质分析和验证方法。（4） 设计并实现了一个可视化的分布式软件体系结构构造环境CDisTool，使形式化和图形化工具有机结合，功能丰富、界面友好、便于使用。应用与效益：该成果已应用于西安兴网通信科技有限公司、西安时空超越科技有限公司、西安腾辉电器有限公司、西安金康腾科技有限公司等，取得了良好的经济效益和社会效益。初步应用表明，该成果基本能满足分布式系统设计和开发的需要，有效提高系统开发效率；该成果具有自主知识产权，且价格较低，因此具有广阔的应用前景。当前，大部分计算机应用系统都是基于网络的分布式系统，因此该成果会对众多的计算机软件公司有吸引力，如果能够进行有效的市场运作，必将产生良好的经济效益。理论成果：除了实现了一个实用的系统开发环境（软件工具），项目完成了一系列理论研究，在核心刊物发表论文13篇,国际会议论文3篇，国内会议论文2篇，其中EI索引3篇，ISTP索引1篇。