基于扩展ECA规则的软件过程构件建模与应用

论文摘要

近年来,随着软件理论与技术的发展,人们认识到在现代化的软件生产方式下,要高效率、高质量和低成本地开发软件,必须引入其他行业先进的思想来改进软件过程。借鉴工业化生产的优点,采用“软件过程”的过程化管理思想和“构件化”的复用技术,实现软件的工业化生产是唯一的途径。而采用何种方式进行软件过程建模也成为了软件工业界关注的重点。支持工作流系统动态建模的ECA规则,具有事件驱动和动态路由的特点,适合在复杂的环境中进行动态建模。本文将ECA规则扩展为SOECA规则,不仅添加了过程的主体、客体,还对ECA规则的功能和语义框架进行了扩展,增强和丰富了ECA规则的表达能力,使其更加适宜软件过程建模。本文在SOECA规则的理论基础上,提出了支持并行和异步开发的SBCM（Subject Based Control Model）模型,利用SOECA规则构造了四种基本的软件过程构件元模型,并在SBCM模型中进行建模。将SBCM模型建模方法应用到EMOSS-FM（企业管理运营支撑系统-财务管理子系统）的开发过程中,对EMOSS-FM系统的各种管理子过程进行整理分类,定义了基本的软件过程构件元模型,使用SBCM模型进行建模。理论和实践相结合,充分表明使用SBCM模型进行软件过程构件建模,可以避免系统开发过程中大量重复性劳动,提高系统开发的效率和质量。

论文目录

• 摘要
• Abstract
• 第一章 引言
• 1.1 研究背景简介
• 1.2 国内外研究现状
• 1.3 论文的主要工作及研究意义
• 1.4 论文的结构
• 第二章 软件过程和构件技术简述
• 2.1 软件过程
• 2.1.1 软件过程的定义
• 2.1.2 软件过程模型
• 2.2 软件构件
• 2.2.1 构件技术及其定义
• 2.2.2 构件的模型
• 2.2.3 构件适配
• 2.3 软件过程构件
• 2.3.1 软件复用
• 2.3.2 过程构件
• 2.4 小结
• 第三章 ECA 规则及其扩展形式研究
• 3.1 工作流建模理论
• 3.1.1 工作流建模元模型
• 3.1.2 WFMC 参考模型
• 3.1.3 工作流建模模型分析
• 3.2 ECA 规则表示及形式化描述
• 3.2.1 ECA 规则的知识模型
• 3.2.2 ECA 规则的耦合方式
• 3.2.3 复合事件
• 3.3 扩展的ECA 规则（SOECA 规则）
• 3.3.1 SOECA 规则的事件定义
• 3.3.2 SOECA 规则的动作定义
• 3.3.3 SOECA 规则的信号定义
• 3.3.4 SOECA 规则的形式定义
• 3.4 小结
• 第四章 基于SOECA 规则的软件过程构件建模
• 4.1 基于SOECA 规则的软件过程构件模型
• 4.1.1 SBCM 模型的描述
• 4.1.2 SBCM 模型的功能模块
• 4.2 基于SOECA 规则的软件过程构件元模型
• 4.3 SBCM 模型的动态过程建模算法
• 4.4 小结
• 第五章 SBCM 模型在EMOSS-FM 系统开发中的应用
• 5.1 EMOSS-FM 系统概述
• 5.2 系统需求分析
• 5.2.1 系统的功能与要求
• 5.2.2 组织架构及业务角色
• 5.2.3 系统功能模块划分
• 5.3 EMOSS-FM 系统的部分用例图
• 5.4 EMOSS-FM 系统中的软件过程构件元模型
• 5.5 SBCM 模型建模实例
• 5.5.1 监理公司EMOSS-FM 子系统需求分析
• 5.5.2 SBCM 模型动态过程建模
• 5.6 EMOSS-FM 系统成果图
• 5.7 小结
• 第六章 工作总结与展望
• 6.1 工作总结
• 6.2 工作展望
• 参考文献
• 攻读硕士期间发表的论文
• 致谢