软件形式化开发方法的选择策略研究

随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。     

本体的自动构建方法

基于本体的信息集成方法是解决语义异构的最有效途径,但是传统的本体构建需要大量的人力物力。借助人工智能技术和WordNet等知识库实现本体的自动构建,将节省大量的社会成本,将是现在以及未来的本体构建方面研究的重点。文中对当今世界上主流的本体自动构建方法进行归纳总结,得出未来本体自动构建技术的主要发展方向。