【摘要】 总体设计作为引导企业CIMS建设的总纲和蓝图，其设计质量直接关系到CIMS建设的成败，以及未来企业的运行效率。面向用户的CIMS的总体设计模型体系（UMSCOD）为企业CIMS提供了良好的模型表现机制。文章提出了用LSL（LarchSharedLanguage）对面向用户的CIMS总体设计模型体系的静态结构进行形式化的方法，使得该模型体系既能作为与用户交流、对系统建模的工具，又能保证模型体系中各子模型的一致性，为后续的模型分析和系统设计提供坚实的理论基础。更多还原

【Abstract】 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.更多还原