期刊文献+

面向用户的CIMS总体设计模型体系的一种形式化描述 被引量:1

A Formalization Method for User-Oriented Model System of CIMS Overall Design
下载PDF
导出
摘要 总体设计作为引导企业CIMS建设的总纲和蓝图,其设计质量直接关系到CIMS建设的成败,以及未来企业的运行效率。面向用户的CIMS的总体设计模型体系(UMSCOD)为企业CIMS提供了良好的模型表现机制。文章提出了用LSL(LarchSharedLanguage)对面向用户的CIMS总体设计模型体系的静态结构进行形式化的方法,使得该模型体系既能作为与用户交流、对系统建模的工具,又能保证模型体系中各子模型的一致性,为后续的模型分析和系统设计提供坚实的理论基础。 Overal Design of enterprise's CIMS is the outline and blueprint of its implementation. The quality of Overall Design directly determines the fate of CIMS and efficiency of to-be enterprise,s operation. User-oriented Model System of CIMS Overall Design (UMSCOD) brings a well defined model representative mechanism to this kind of engineering. This paper presents a formalization method for the static structure of UMSCOD with LSL (Larch Shared Language). With this method, UMSCOD can not only act as the bridge between engineer and customer, the tools for system modeling, but also enable the consistence among all submodels in UMSCOD, thus build a solid theoretical base for the subsequent model analysis and system design.
出处 《计算机工程与应用》 CSCD 北大核心 1999年第9期5-8,25,共5页 Computer Engineering and Applications
基金 国家自然科学重点基金
关键词 CIMS 总体设计 LSL 代数规约 形式描述 CIMS, Overall Design, LSL, Algebraic Specification
  • 相关文献

参考文献3

  • 1潘东 金以慧.基于对象的CIPS总体设计模型体系.过程系统工程与集约化经营高级研讨会[M].江西 九江,1998.. 被引量:1
  • 2潘东,过程系统工程与集约化经营高级研讨会,1998年 被引量:1
  • 3Bourdeau R H,IEEE Transaction on Software Engineering,1995年,21卷,10期,799页 被引量:1

同被引文献2

  • 1杨正圃.面向对象分析与设计[M].北京:中国铁道出版社,2001,4.. 被引量:1
  • 2刘超 张莉.可视化面向对象建模技术--标准建模语言UML教程[M].北京:北京航空航天大学出版社,1997.. 被引量:1

引证文献1

二级引证文献7

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部