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

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