论文部分内容阅读
软件系统所基于的计算机硬件平台正经历从集中封闭的计算平台向开放的Internet平台的转变。未来的基于Internet平台的软件系统会形成一种与当前的Internet类似的Software Web。Software Web不再仅仅是信息的提供者,而是各种服务的提供者,从而产生新的软件形态——网构软件(Internetware)。基于构件的软件开发(CBSD)方法学是网构软件的研究内容中的主要支撑。 现有的构件描述方法对构件的接口作了许多的考虑,但多数都没有提供对构件的准确规范的语义描述,而且服务提供方与服务需求方无法做到沟通和信息共享,构件的检索匹配也大多是基于关键字,精度不高。也有一些系统,自己提出一套规范来提高查全率、查准率但难以得到广泛的承认。这些缺点直接影响软件构件技术的发展。所以,需要一种能够在语义层次规范理解构件服务的统一描述方法、把用户和服务提供方有效地结合起来,支持构件检索、适配和自动组装。针对这些问题,本文提出了一个对策——构件语义本体描述,本文的主要内容可以概括为以下几个方面: 1.以SOFA构件模型为代表,介绍了主要的构件模型。讨论了构件的主要表示方法和构件的主要描述语言,对国内外的研究现状进行综述。 2.研究了领域本体及其建模。讨论了领域本体的表示以及存储。并研究领域本体建模方法,给出用OWL描述领域本体的实例。 3.提出基于本体语义构件描述模型,从5个方面对构件进行本体语义描述。从构件服务功能的构成,服务操作的规约及构件行为协议三个方面对构件的行为规约机制进行了详细讨论。 4.提出本体构件描述语言OCDL(Ontology based Component Description Language)对构件进行本体语义描述。说明了OCDL语言由四个组成部分:构件服务描述,构件接口描述,构件服务模型,构件服务基础的元描述文件。对SOFA构件模型的一个构件进行了OCDL描述。讨论OCDL语言的作用。