文献类型：学位论文

中文题名：软件过程剪裁及验证

作者：丁志义[1];

机构：[1]华东理工大学;

导师：宋国新;华东理工大学|施健;华东理工大学

授予学位：硕士

语种：中文

中文关键词：软件过程;形式化方法;软件过程模型;剪裁过程

摘要：一个机构的软件过程标准是非常重要的,因为特定项目的过程是对标准过程剪裁而得到的,并且机构的质量保证活动也是基于标准过程的,但现有的大多数研究在过程剪裁和验证方面尚未提出一个系统化的方法.该文针对以上问题,在封装可重用过程模块,剪裁过程模块和评价标准过程与剪裁后过程的顺应性等方面,为标准过程的形式化描述提供了系统化的方法.通过定义用aag(活动产品图)表示的标准过程模块来定义标准过程和剪裁标准过程.同时给出相应的算法和相应的静态验证方法.有理由认为过程设计者能够通过重用这些形式化的过程模块来剪裁一个标准过程,并对过程模块实施这些剪裁操作(运算),也可以验证被剪裁过程的正确性和标准的顺应性.