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

被引：7

作者：

刘永和

黄必清

刘文煌

奚兵

机构：

[1] 清华大学自动化系

[2] 国家CIMS工程研究中心!北京,清华大学自动化系

[3] 国家CIMS工程研究中心!北京

来源：

清华大学学报(自然科学版) | 2000年 / 04期

关键词：

虚拟企业; 企业模型; 形式化方法; 工业软件工程严格方法(RAISE); 集成计算机辅助制造定义方法(IDEF);

D O I：

10.16511/j.cnki.qhdxxb.2000.04.024

中图分类号：

TH164 [计算机辅助机械制造];

学科分类号：

080202 ;

摘要：

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

引用

页码：84 / 87

页数：4