结合UML和RAISE的软件开发方法研究

面向对象方法形象、直观、使用方便，但难以消除二义性。形式化方法严密、可靠、可验证，但软件规约不直观，不符合开发人员的使用习惯。探讨一种结合面向对象方法UML和形式化方法RAISE的软件开发方法。

虚拟企业集成模型的形式化方法

为开发正确、可靠、基于模型驱动的虚拟企业信息系统 ,满足虚拟企业对于可伸缩性、可重构性、可重用性以及互操作性的要求 ,在虚拟企业建模与开发过程中引入形式化RAISE (工业软件工程严格方法 ) ,分析了在虚拟企业组建中应用形式化方法的优点 ,讨论了 RAISE与有着广泛应用的传统 IDEF(集成计算机辅助制造定义方法 )的结合 ,并给出了运用形式化方法进行虚拟企业建模的方案。