随着计算机以及Internet的飞速发展,计算已经不再像以前仅仅局限在网络中的几台服务器之上,再加上海量的数据、数据的分散存储,以及客户端与计算能力强的计算节点(服务器)的分离,人类进入了分布式计算的时代.该文在分析分布式应用系统总体架构过程中引入了本体(Ontology)的思想,建立了一类普遍的基于本体的分布式应用系统模型OMDAS,并且在作者参与的863项目(2001AA113182)中得以实现.该文首先介绍了本体(Ontology)的定义和一些基础知识.本体是概念模型的明确的规范说明,是对共享概念模型的形式化规范说明.它主要研究特定领域内的概念以及概念之间的关系,并且使用形式化的语言来给出严格的说明.然后该文总结了前人对本体论的一些数学描述,利用描述逻辑来分析本体模型、本体解释以及本体检验,并给出了一个简单的代数系统,介绍了本体论在软件需求分析中的应用——OORA方法.在此基础上,该文详细分析了分布式应用系统本体模型OMDAS.首先给出了分布式应用系统中的角色本体,如用户、组件、业务、形式模型等概念,并且分析了建立在它们之上的各种关系.然后,该文分析了分布式应用系统中的过程本体,给出了系统中的主要计算流程,并且从逻辑上描述了各种操作.对于复杂的组件库管理,该文详细分析了组件之间的引用关系、依赖关系等概念,并描述了其管理操作的执行逻辑.文章的最后给出了OMDAS的一个实例DataMingingExplorer,这个系统采用CORBA为分布式计算平台,设计并实现了符合OMDAS的应用服务器.