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

基于CSP的软件演化过程描述及研究

作　者: 张昂
导　师: 李彤
学　校: 云南大学
专　业: 软件工程
关键词: 软件演化软件过程元模型通信顺序进程
分类号: TP311.52
类　型: 硕士论文
年　份: 2010年
下　载: 102次
引　用: 0次
阅　读: 论文下载

内容摘要

随着科技和社会的发展,人类对于软件的需求在不断增长,高质量的软件产品已经成为了人类在日常的生产生活中最重要的部分。与此同时,越来越多成功的软件系统变成遗产系统(legacy system),软件演化的重要性和普及性越来越明显。一方面,软件演化已成为软件生存周期中最重要的形态之一进入了软件的各个领域,成为了今天软件工程研究的热点领域;另一方面,软件过程在提高软件演化的效率和质量方面也发挥着重要作用。正是如此,软件过程和软件演化的多学科交叉成为软件工程中的一个关键领域。利用Petri网可以对软件演化过程模型进行描述、研究、分析和控制,使得整个软件演化过程非常的直观清晰。为了更好地描述软件演化过程,基于扩展Petri网的软件演化过程元模型(EPMM)被提出,该模型将整个软件演化过程模型分为四层,并且将整个软件演化过程中的重要属性提取并表达。根据软件演化过程元模型,软件演化过程更易于被接受和研究。本文引入了通信顺序进程(CSP),把通信顺序进程与软件演化过程元模型结合在一起进行研究。由于通信顺序进程属于进程代数,它不仅具有刻画系统行为的模型,还具有进行推理的形式演算系统,能够很好地描述模型各语义属性,因此,通信顺序进程比其他描述方法如Petri网更适用于对模型的描述和检测。CSP的基本成分是事件和进程,进程是事件或者活动的序列。利用通信顺序进程(CSP)的基本性质对软件演化过程元模型进行了描述,通过CSP的基本成分事件和进程,结合CSP相应的操作符号,将软件演化过程元模型的四个层次进行了描述。再通过CSP的基本语法语义将元模型的每一层都描述为一个进程。软件演化过程元模型描述了一个完整的软件演化过程,而CSP基于严密的语义特性表达能力和演算推理分析能力可以对软件演化过程进行良好的语义描述分析和检测。

全文目录

摘要  3-4
Abstract  4-8
第一章绪论  8-14
  1.1 研究背景简介  8-9
  1.2 国内外研究现状  9-12
  1.3 论文选题及主要工作  12
  1.4 论文的创新和研究意义  12-13
  1.5 论文的结构  13-14
第二章软件演化过程和通信顺序进程简介  14-28
  2.1 软件演化过程元模型  14-18
    2.1.1 软件演化  14
    2.1.2 软件过程  14-15
    2.1.3 过程模型  15-16
    2.1.4 演化过程的描述工具  16
    2.1.5 软件演化过程元模型  16-18
  2.2 进程及其表示  18-28
    2.2.1 进程的基本表示法  19
    2.2.2 进程的递归方程表示法  19-20
    2.2.3 进程的选择表达式  20-22
    2.2.4 事件迹及其操作  22-24
    2.2.5 进程的符合操作  24-28
第三章软件演化过程元模型的CSP 建模  28-52
  3.1 任务进程的构建  28-32
  3.2 活动进程的构建  32-39
  3.3 演化进程的构建  39-43
  3.4 全局进程的构建  43-52
第四章软件演化过程元模型的CSP 语义描述  52-58
  4.1 CSP 语言的语义简介  52-54
  4.2 CSP 对任务进程的语义描述  54-55
  4.3 CSP 对活动进程的语义描述  55
  4.4 CSP 对演化进程的语义描述  55-56
  4.5 CSP 对全局进程的语义描述  56-58
第五章总结与展望  58-60
  5.1 工作总结  58
  5.2 工作展望  58-60
参考文献  60-63
致谢  63

基于CSP的软件演化过程描述及研究

内容摘要

全文目录

相似论文