| 虚拟企业集成模型的形式化方法 |
| |
| 引用本文： | 刘永和,黄必清,刘文煌,奚兵.虚拟企业集成模型的形式化方法[J].清华大学学报(自然科学版),2000,40(4):84-87. |
| |
| 作者姓名： | 刘永和 黄必清 刘文煌 奚兵 |
| |
| 作者单位： | 清华大学,自动化系,国家CIMS工程研究中心,北京,100084 |
| |
| 基金项目： | 国家“八六三”高技术项目 !(863-511-9841-006)，国家自然科学基金项目!(69784006) |
| |
| 摘 要： | 为开发正确、可靠、基于模型驱动的虚拟企业信息系统 ,满足虚拟企业对于可伸缩性、可重构性、可重用性以及互操作性的要求 ,在虚拟企业建模与开发过程中引入形式化RAISE (工业软件工程严格方法 ) ,分析了在虚拟企业组建中应用形式化方法的优点 ,讨论了 RAISE与有着广泛应用的传统 IDEF(集成计算机辅助制造定义方法 )的结合 ,并给出了运用形式化方法进行虚拟企业建模的方案。该方法是虚拟企业建模与实现技术的重要研究方向
|
| 关 键 词： | 虚拟企业 企业模型 形式化方法 工业软件工程严格方法(RAISE) 集成计算机辅助制造定义方法(IDEF) |
| 修稿时间： | 1999-04-08 |
Formalization method for virtual enterprise integration models |
| |
| LIU Yonghe,HUANG Biqing,LIU Wenhuang,XI Bing.Formalization method for virtual enterprise integration models[J].Journal of Tsinghua University(Science and Technology),2000,40(4):84-87. |
| |
| Authors: | LIU Yonghe HUANG Biqing LIU Wenhuang XI Bing |
| |
| Abstract: | RAISE (rigorous approach to industrial software engineering) was used to provide reliable model driven virtual enterprise information systems that are scalable, re configurable, re usable, and interoperable. The advantages of combining RAISE and IDEF (integrated computer aided manufacturing) were analyzed. An approach is developed to model virtual enterprises using this formalization method which will improve virtual enterprise modelling and implementation. |
| |
| Keywords: | virtual enterprises enterprise models formalization method rigorous approach to industrial software engineering (RAISE) integrated computer aided manufacturing definition method (IDEF) |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
