前沿系列讲座(描述逻辑及其应用简介)教学文稿.ppt

2. 描述逻辑系统中的研究问题（续） 基于描述逻辑的概念建模，研究用描述逻辑表示和推理的概念模型。 3. 描述逻辑应用 3.1. 软件工程 软件工程是描述逻辑早期应用的领域，这一应用是在ATT进行的。 其基本思想是用描述逻辑实现一个软件的信息系统，即，一个通过帮助软件开发人员发现大型软件的有关信息以支持软件开发的系统。 更详细的说，人们发现，软件开发过程中感兴趣的信息是关于应用领域的知识和代码信息的结合。代码和领域概念之间的联系需要用户说明。 3. 描述逻辑应用（续） 当时最具创新的描述逻辑应用是LASSIE系统[Devambu et al., 1991]，该系统允许用户增量式的建立代码实现的领域概念的分类。 当响应用户关于代码的查询时，LASSIE系统能够提供有用的信息。通过领域描述，LASSIE系统的信息抽取能力显著的超过了标准软件开发工具的能力。 关于软件的信息系统和使用描述逻辑的想法在以后的其它系统中得以应用。 3. 描述逻辑应用（续） 3.1.1. 构件和服务的语义说明 在基于构件的软件开发中，构件模型是构件分类、检索、适应和组装等关键任务的理论基础，构件模型中的语义表示方法是研究难点。 在学术界和产业界出现了多种构件模型。代表性的实现级产业标准构件模型有CORBA，COM/DCOM和Enterprise JavaBean构件模型。产业界构件基本上使用的分布式面向对象技术，不能完全满足构件技术的要求，同时缺乏对语义的支持。 3. 描述逻辑应用（续） Web服务作为一种新型的业务应用模型，目前对Web服务的语义描述的研究成为新热点。 UDDI和Web Services Description Language（WSDL）是两个工业界描述标准。UDDI中提供的Web服务发现机制使用的是名称/关键字/分类的方法，没有提供语义的搜索。 WSDL提供了Web服务更详细的描述，但是这种描述主要说明的是一种机器调用的接口信息与数据格式信息，缺少语义描述。当前基于语义的Web服务描述的核心思想是使用某种标注语言来标注和描述Web服务信息。 3. 描述逻辑应用（续） 3.1.2. 基于本体的领域知识库 本体通过把某个应用领域抽象或概括成一组领域共享的概念及概念间的关系以实现知识理解和共享。 本体加上本体实例构成领域知识库。在业务客户、软件系统用户和开发人员之间建立一个共享的领域知识库，可以为动态业务构件组装实现带来许多好处。 首先，本体的使用提供高度的可扩展性，构件设计人员能够丰富本体；其次，基于本体的系统适合于分布式系统；再次，已有许多现成的本体技术可以使用，RDF，RDF Schema和OWL等本体描述语言也已成为标准。 3. 描述逻辑应用（续） 本体不仅能够用于构件的组装，也能够用于构件的检索和发现。 本体底层的描述逻辑和编程语言底层的动态逻辑两者之间存在等价性，这也为将描述逻辑应用在软件工程提供了理论依据。 使用本体技术可以保证提出的模型具有长久的生命周期。 3. 描述逻辑应用（续） 3.2 构件组装和服务集成 描述逻辑的一个非常成功的应用领域是组装，包括支持通过组装多种构件（组件）形成复杂系统的应用。 一个组装任务是指，对给定的需求说明，寻找一组合适的可以互联的构件（组件），以实现一个系统，满足该需求。 例如，挑选一组计算机组件集成一台PC机就是一个简单的组装任务。 3. 描述逻辑应用（续） 当组件（构件）的数量、类型和连接变得越来越复杂时，组装任务将非常复杂。 组装任务在许多工业领域中，例如电信、车辆制造、建筑等领域，起重要作用。 基于描述逻辑的知识表示系统满足组装应用的发展需求。特别是，它使得面向对象的系统组件建模成为可能，面向对象的系统组件建模具有对不完全需求说明进行推理的能力，可以探测不一致性。 3. 描述逻辑应用（续） 应用描述逻辑，人们可以对组件（构件）进行分类并且在此分类中组织它们。此外，基于描述逻辑的方法还支持增量式需求说明和模块化。 组装任务应用至少需要两点：1. 规则的表示（与规则传播机制），2. 提供解释的能力。 3. 描述逻辑应用（续） 3.2.1 基于构件的软件组装和基于服务的应用集成 构件组装系统：通过选择构件找出基本服务，应用构件组装工具，定义出应用系统的体系结构，这样就将相关的构件整合到一起。 体系结构描述语言 (ADL)是用于对软件体系结构进行精确的形式化定义的语言。 ADL 是对系统的形式化抽象定义，重点在于描述系统的整体结构和功能框架，由构件、连接器(Connector) 以及它们的约束(Constraint) 组成。 描述逻辑及其应用简介 科学技术研究前沿系列讲座 马世龙 北京航空航天大学计算机学院 摘 要