论文部分内容阅读
为开发正确、可靠、基于模型驱动的虚拟企业信息系统 ,满足虚拟企业对于可伸缩性、可重构性、可重用性以及互操作性的要求 ,在虚拟企业建模与开发过程中引入形式化RAISE (工业软件工程严格方法 ) ,分析了在虚拟企业组建中应用形式化方法的优点 ,讨论了 RAISE与有着广泛应用的传统 IDEF(集成计算机辅助制造定义方法 )的结合 ,并给出了运用形式化方法进行虚拟企业建模的方案。该方法是虚拟企业建模与实现技术的重要研究方向
In order to develop a correct, reliable and model-driven virtual enterprise information system to meet the requirements of virtual enterprises for scalability, reconfigurability, reusability and interoperability, formalization is introduced in the process of virtual enterprise modeling and development RAISE (a rigorous approach to industrial software engineering), analyzes the advantages of using formal methods in the formation of virtual enterprises, discusses the combination of RAISE with the widely used traditional IDEF (integrated computer-aided manufacturing definition method), and presents the use forms Method of virtual enterprise modeling program. This method is an important research direction of virtual enterprise modeling and implementation technology