软件过程期中论文.docxVIP

软件过程期中论文 任课教师：谢仲文专业：软件工程 学号：20121120256 姓名：周坤本学期，我修了软件过程这门课，想要学好软件过程，可以从以下几点来着手：1.软件过程定义。软件过程指一系列相关活动的集合，活动的执行可以是顺序的、重复的、并行的、嵌套的或者是有条件地引发的。究根结底，软件过程其实就是软件工程人员为了获得软件产品而在软件工具的支持下实施的一系列软件工程活动，这些活动包括需求分析，设计，功能实现，以及维护。2.软件过程模型。既然是软件工程活动，那么就需要相应的策略来使得活动能够正确有序的进行，以达到预期目的。这种策略即是软件过程模型。软件过程模型包括非正式的、半正式的和正式的模型。其中这些模型又包括更加细分的模型。总体来说分为五大类：　　1.惯例过程模型。　　2.瀑布模型。　　3.增量过程模型: 包括 增量模型、RAD模型。　　4.演化过程模型: 包括 原型开发模型、螺旋模型、协同开发模型。5.专用过程模型: 包括 基于构件的开发模型、形式化方法模型、面向方面的软件开发模型。描述软件过程模型可以使用以下工具图、表、自然语言、计算机语言和数学表达式。3.petri网。petri网可能适用于广泛的系统和流程的设计,在软件工程领域,佩特里网用于规范,文档和软件系统和流程的沟通,特别是并发系统。在软件过程中，我们常用petri网作为软件过程模型的建模工具。如下图，为一个petri网建模图p=(C, A; F, M0);C={c1, c21, …, c2n, c31, …, c3n, c4};A={a1, a21,…, a2n, a3};F={(c1, a1), (a1, c21), (a1, c22),…,(a1, c2n), (c21, a21), (c22, a22), …, (c2n, a2n), (a21, c31), (a22, c32),…,(a2n, c3n), (c31, a3), (c32, a3), …, (c3n, a3), (a3, c4)}；M0={c1};a1=Partition;a2i=Sub-process i; (i=1, 2, …, n)a3=Integration.4.EPMM。EPMM即是软件演化过程元模型，是一个正式的工具用于定义软件演化过程。软件演化过程具有以下五个基本特征；(1) 迭代：因为连续变化的软件演化，与传统软件开发对比，许多活动和套活动以更高频率来执行。迭代软件进化过程成为一个明显的现象。(2) 并发：在软件演化的过程中有许多并发执行的活动，其并发行高于传统的软件开发过程。(3) 非确定性：对于一个足够复杂的软件过程而言，软件演化过程模型无法描述其演化的全部细节。软件演化过程的执行会因环境不同而不同。(4) 反馈驱动：尽管促使软件系统演化的原因很复杂，但演化推动力必然是由于对需求的不满导致的。所以，软件演化必然是被用户需求和环境共同作用而驱动。(5) 多层结构：人们从不同的角度可以观察到不同粒度的过程和活动，为了减小这种复杂度，软件演化过程应该划分成不同的层次。如下为EPMM的一个实例。t =({ Q1 },{ Q2 },Mi Mo)1.Q1和Q2是一阶谓词公式。{ Q1 }之前称为先决条件,定义了状态执行任务t;{ Q2 }称为后置条件,定义了执行任务t后状态;2.(F)=({ Q1 },{ Q2 })被称为2-assertion,它定义了任务t的函数3.Mi是一组将接收到的消息的任务t。当任务t收到其中的一个或多个消息,执行任务t;4.莫是一组消息将发送任务t。??莫,m =(r、b),这表示r t m发送一条消息时执行任务t。r称为消息的接收者m b,称为消息体,是一组参数。5.EPDL。为了更好的描述软件演化过程,李彤教授在软件演化过程元模型（EPMM）的基础上,设计了面向对象的EPDL。一个EPDL程序可以看作是一个软件演化过程模型详细的、扩展的描述。EPDL具有简单性，灵活性，表示性，一致性的目标EPDL具有动态性，并行性，迭代性，集成性，模块化，支持抽象和求精以及面向对象计算机语言的特征。下图为实例PROCESS Iteration BEGIN CONDITION SET C:={a, b, c, g, h, i, l, m}; ACTIVITY SET A:={d, e, f, j, k, n}; ARC SET F:={(a, d), (d, g), (g, j), (j, l), (l, n), (j, h), (b, d), (b, f), (e, b), (h, e),