| 题名 | 软件过程模型和过程支持环境研究 |
| 作者 | 武小鹏 |
| 学位类别 | 博士 |
| 答辩日期 | 1997 |
| 授予单位 | 中国科学院软件研究所 北京中关村 100080 |
| 授予地点 | 中国科学院软件研究所 北京中关村 100080 |
| 关键词 | 组合软件工程 对象技术 软件过程模型 过程建模语言 过程支持环境 协同工作 |
| 学位专业 | 计算机软件 |
| 中文摘要 | 以基于组件的软件复用和软件构造为基本特征的组合软件工程代表了新一代软件技术发展的方向，近年发展起来的面向对象技术和软件过程技术为组合软件工程的实现提供了基础。冯玉琳教授指导下的课题组在组合软件工程方面进行了研究。从对象技术和软件过程技术出发，在大量理论分析和工程实验的基础上，提出了一种称为SCOP的组合软件工程模型，其基本含义是：Software Construction = Objects + Process Control 即软件是对象组件的复合，而软件设计则是对象组件在软件过程控制之下的组合构造。SCOP 模型是对象模型和软件过程模型的有机结合，对象模型描述软件产品的结构和行为，而软件过程模型则描述软件的组装与构造过程。围绕SCOP 模型，本文对组合软件工程中的软件过程技术进行了广泛、深入的研究，主要内容涉及软件过程模型、过程建模语言、支持环境、协同工作、软件设计方法等多个方面。软件过程模型是整个工作的基础。本文从组合软件工程的基本特点出发，提出了一种基于软件体系结构的多维软件过程模型ASPM（Architecture-based Software Process Model）。文章认为在组合软件工程中，软件体系结构对软件过程有着重要的影响，这种影响不仅体现在过程静态结构上，同时也体现在过程的实施行为上。因此，与传统以活动为中心的过程模型不同，ASPM 强调软件体系结构在组合软件工程中的核心地位，给出了明确的软件体系结构描述，并将其作为整个软件过程组织和实施的核心。借助软件体系结构描述，ASPM实现了相应的开发活动、产品、开发人员等各种过程实体的有机组合，充分体现了基于组件的组合构造和“并行／递归”的生命周期这一SCOP组合软件工程的基本特点。文章从时序的观点出发，给出了ASPM软件过程的形式定义，并建立了相应基于逻辑的形式化过程约束描述系统。在ASPM的基于上，本文设计了相应的过程建模语言 FPML (Form-based Process Modeling Language)。FPML以组件为单位，以明确的软件体系结构描述为核心，采用具有面向对象风格的、基于表格的过程描述方法，实现了各类过程实体的静态结构、动态实施信息和开发历史的良好封装，支持小粒度的超文本产品结构和灵活的过程行为建模。此外通过相应的Reflective语言机制，FPML为过程模型的动态修改提供了基础。目前我们在SUN工作站的Solaris 平台上，实现了一个以ASPM为核心的软件过程支持环境原形－-PCLAgenda，为SCOP软件过程生命周期中的各主要阶段－过程定义、过程实施和过程进化，提供了有效的支持手段。PCLAgenda的一个重要特点是强调软件过程强制性和指导性的有机结合，使用户可以根据其具体需要指定不同的实施方式，同时通过相应的事件系统和实施优化机制，为开发人员的工作提供了丰富的周围环境和背景信息。借助FPML的Reflective语言机制，PCLAgenda较好地支持了过程的动态修改，提供了有效的一致性维护机制。本文详细描述了PCLAgenda的主要设计思想与实现方法。我们还研究了软件过程中的协同支持技术。本文从软件开发中协同工作的基本特点和需求出发，结合CSCW技术提出 了一个协同工作支持的层次框架HCSF (Hierarchical Cooperation Support Framework)。HCSF的主要特点是将软件过程的协同支持分为协调工作（coordination）支持、合作（collaboration）支持和冲突解决（conbflict resolution）支持三个层次，强调三者在相应支持环境中的不同地位、不同作用和不同特点。HCSF为正确地理解软件过程中的协同工作、设计和相应的协同支持机制提供了一个明确的结构框架，同时也为有关系统的相互比较和评价提供了统一的标准。本文在HCSF框架之下，通过一个协商过程的实例，详细阐述了SCOP软件过程中协调工作、合作和冲突解决三种协同工作形式的主要内容和不同特点，讨论了FPML和 PCLAgenda 对三者提供的主要支持手段。此外本文还对SCOP组合软件工种模型下的软件设计方法进行了研究和探讨。 |
| 语种 | 中文 |
| 公开日期 | 2011-03-17 |
| 页码 | 133 |
| 内容类型 | 学位论文 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/5768]  |
| 专题 | 软件研究所_中科院软件所_中科院软件所 |
| 推荐引用方式 GB/T 7714 | 武小鹏. 软件过程模型和过程支持环境研究[D]. 中国科学院软件研究所 北京中关村 100080. 中国科学院软件研究所 北京中关村 100080. 1997. |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论