学位论文 > 优秀研究生学位论文题录展示

EPDL的代数语义研究

作　者: 刘金卓
导　师: 李彤
学　校: 云南大学
专　业: 系统分析与集成
关键词: 软件演化过程 EPDL 代数语义 ∑代数
分类号: TP311.52
类　型: 硕士论文
年　份: 2010年
下　载: 21次
引　用: 0次
阅　读: 论文下载

内容摘要

软件演化过程是软件演化和软件过程的交叉学科,涉及软件演化和软件过程两个领域。随着越来越多的软件系统变成遗留系统,软件演化变得越来越重要。软件演化过程也成为了软件工程的一个非常重要的领域。软件演化过程描述语言(EPDL)是一种用来描述软件演化过程的计算机语言。为了更好的描述软件演化过程,李彤教授在软件演化过程元模型(EPMM)的基础上,设计了面向对象的EPDL。一个EPDL程序可以看作是一个软件演化过程模型详细的、扩展的描述。本文采用代数语义的方法描述了EPDL的语义。首先,对EPDL进行了分析和研究。充分掌握了EPDL各层的语法结构和语义描述。同时,对代数语义进行研究。对代数语义的基渊、操作、公理等进行研究,结合EPDlJ的定义及代数语义的理论,应用代数语义学中的∑代数,对EPDL进行代数语义的定义,抽象出EPDL各层中满足∑代数的类了、类子序列,深入研究EPDL各层中的功能,抽象出满足∑代数的运算和运算序列。定义出完整的EPDL的各层的代数语义。这种代数描述方式同样能为描述语毒语义提供一个精确的理论框架,将EPDL语义特征通过代数规则简洁而准确地表达出来。总之,本文从对EPDL语义的描述出发,结合代数语义的方法,给出了EPDL的代数语义描述,有助于语义形式定义文本的规范化与模块化,降低描述的复杂度。

全文目录

摘要  3-4
ABSTRACT  4-7
第一章引言  7-11
  1.1 研究背景  7-9
  1.2 研究目的和科学意义.  9
  1.3 研究内容  9
  1.4 创新点  9-10
  1.5 本文篇章结构  10-11
第二章国内外发展动态综述  11-16
  2.1 引子  11
  2.2 软件过程  11-12
  2.3 软件演化  12-14
  2.4 软件演化过程  14-15
  2.5 本章小结  15-16
第三章相关工作  16-23
  3.1 引子  16
  3.2 软件演化过程描述语言(EPDL)  16-17
    3.2.1 软件演化过程描述语言的设计目标  16-17
    3.2.2 软件演化过程描述语言的特征  17
  3.3 代数语义及∑代数.  17-22
    3.3.1 代数语义  17-20
    3.3.2 ∑代数  20-22
  3.4 本章小结  22-23
第四章 EPDL 代数语义系统的构建  23-45
  4.1 引子  23-24
  4.2 EPDL 语言任务层的代数语义构建  24-31
    4.2.1 EPDL 语言任务层的语法语义规则  24-27
    4.2.2 任务层的代数语义描述  27-31
  4.3 EPDL 语言活动层的代数语义构建  31-35
    4.3.1 EPDL 语言活动层的语法语义规则  31-32
    4.3.2 活动层的代数语义描述  32-35
  4.4 EPDL 语言软件过程层的代数语义构建.  35-39
    4.4.1 EPDL 语言软件过程层的语法语义规则  35-37
    4.4.2 软件过程层的代数语义描述  37-39
  4.5 EPDL 语言全局模型层的代数语义构建.  39-40
    4.5.1 EPDL 语言全局模型层的语法语义规则  39
    4.5.2 全局模型层的代数语义描述  39-40
  4.6 基于∑代数的EPDL 语言的代数语义描述  40-44
  4.7 本章小结  44-45
第五章总结  45-47
  5.1 工作总结  45
  5.2 工作展望  45-47
参考文献  47-49
致谢  49

EPDL的代数语义研究

内容摘要

全文目录

相似论文