摘要

由于当今生产执行系统行业背景的差异性,可重构的生产执行系统所需要的企业模型和工厂模型往往是多种多样的,这就对企业的元建模语言提出了抽象层次高和表达能力强的要求。阐述了一种可满足这种需要的企业元建模方法。其中着重论述了企业的层级结构,采用高阶多类别基调对层级结构进行形式化定义的方法,元模型的形式语义,并从理论上论证了该元模型的可靠性和完备性。

全文