Pi演算与动态描述逻辑DDL的关系及其应用研究

发布时间：2022-11-05 17:05

　　本文完成的工作之一是分析了Pi演算与动态描述逻辑DDL之间的关系:DDL分别从静态结构与动态结构两方面对Pi演算的若干过程定义进行描述,以说明过程的逻辑结构及过程间逻辑关系的变化;以一种基于Pi演算的过程模型为基础,分析了ALC描述逻辑、TBox和ABox的语义,并指明Pi演算对DDL动态知识的变化过程的描述方法。 以上工作表明:DDL的可判定推理可解决基于Pi演算的动态系统的某些一致性问题,而Pi演算对动态系统的描述能力可解决DDL动态知识的变化过程的描述问题。 另外,本文基于如上关系分析提出两项应用:基于DDL的软件体系结构模型,描述体系结构的各个部分及其之间的约束条件,并支持对动态体系结构的一致性检测;基于Pi演算的本体演化实现方法,以一种本体过程模型为基础,从单本体、单节点上的多个依赖本体及分布本体三方面给出本体演化过程的实现方法。 

【文章页数】：59 页

【学位级别】：硕士

【文章目录】：
内容提要
第一章 引言
    1.1 语义网、本体及本体演化
    1.2 描述逻辑DL与动态描述逻辑DDL
    1.3 Pi演算与软件体系结构
    1.4 本文完成的主要工作
第二章 Pi 演算与动态描述逻辑DDL 概述
    2.1 Pi演算简介
    2.2 动态描述逻辑DDL简介
        2.2.1 描述逻辑DL简介
        2.2.2 DDL对DL的扩展
第三章 从Pi 演算到DDL 的关系分析
    3.1 静态结构
    3.2 动态结构
        3.2.1 y|-x.P 和y'(x' ).Q 在DDL中的对应
        3.2.2 P_1|P_2 在DDL中的对应
    3.3 DDL推理在一致性检测方面的应用
    3.4 本章小结
第四章 从DDL 到Pi 演算的关系分析
    4.1 基于Pi演算的过程模型
    4.2 ALC基于过程模型的语义
    4.3 TBox和ABox分析
    4.4 Pi演算对动态知识的变化过程的描述
    4.5 本章小结
第五章 基于DDL 的软件体系结构模型
    5.1 软件体系结构概述
    5.2 基于DDL的软件体系结构模型的描述
        5.2.1 组件
        5.2.2 通道
        5.2.3 类型
        5.2.4 连接件
        5.2.5 复合组件
    5.3 一个例子
        5.3.1 DDL描述语言
        5.3.2 TBox
        5.3.3 ABox
    5.4 DDL对动态体系结构的一致性检测支持
    5.5 本章小结
第六章 基于Pi 演算的本体演化实现方法
    6.1 本体演化简介
    6.2 基于Pi演算的本体过程模型
    6.3 本体演化的Pi演算描述
        6.3.1 单本体演化
        6.3.2 单节点上多个依赖本体的演化
        6.3.3 分布本体的演化
    6.4 本章小结
第七章 总结
参考文献
攻硕期间发表的学术论文
摘要
Abstract
致谢
导师及作者简介


【参考文献】：
期刊论文
[1]软件体系结构分析与评价方法评述[J]. 刘霞,李明树,王青,周津慧.  计算机研究与发展. 2005(07)
[2]基于动态描述逻辑的主体模型[J]. 董明楷,张海俊,史忠植.  计算机研究与发展. 2004(05)
[3]基于时序逻辑的软件体系结构描述语言XYZ/ADL[J]. 朱雪阳,唐稚松.  软件学报. 2003(04)



本文编号：3702994