论文部分内容阅读
一个分布式系统必须既能支持个体单元的活动，又能很好地实现个体之间的交互。通过分析分布式系统模型管理的需求，提出了一种分布式系统模型管理框架。分布式系统的关键需求主要是模型的共享性和可重用性，本框架使用模型本体将应用领域模型的知识和元知识概念化，以描述逻辑为表示语言，使得模型开发人员可以使用术语来开展模型管理活动，这些术语支持基于形式化推理的自动化工具，并且具有丰富的语义。