软件并行开发过程.ppt

软软 件件 学学 院院李李 彤彤 博士博士2007年年 春春软件并行开发过程软件并行开发过程Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.云南省中青年学云南省中青年学术和技术带头人术和技术带头人培养基金项目培养基金项目1998-37云南省自然科云南省自然科学基金项目学基金项目 98F023M98F005G2001F0006MEvaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下问题的提出问题的提出 一、生产率低下一、生产率低下二、质量欠佳二、质量欠佳Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下背背 景景•并行工程并行工程•并行处理并行处理•多个程序员同时为同一个系统编码多个程序员同时为同一个系统编码•现现实实生生活活中中的的各各类类非非自自觉觉的的、、偶偶然然的的并行行为并行行为Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下制造业并行工程制造业并行工程市场分析产品设计工艺设计 采 购制 造检 测装 配销 售维 修并行度进行反馈产品生存周期Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下 •1982年年，，美美国国国国防防部部发发表表了了著著名名的的R-338报报告告，，正正式式提提出出了了“并并行行工工程程”的的概概念念：：并并行行工工程程是是集集成成地地、、并并行行地地设设计计产产品品及及其其相相关关的的各各种种过过程程（（包包括括制制造造过过程程和和支支持持过过程程））的的系系统统化化方方法法。

这这种种方方法法要要求求产产品品开开发发人人员员从从设设计计一一开开始始就就考考虑虑产产品品整整个个生生存存周周期期中中从从概概念念形形成成到到产产品品报报废废处处理理的的所所有有因因素素，，包包括括质质量量、、成成本本、、进进度度、、计划和用户的要求计划和用户的要求•并并行行工工程程目目前前已已成成为为制制造造业业研研究究与与实实践践的的热热点点领领域域在在国国外外已已成成功功地地应应用用于于航航空空、、航航天天、、电电子子、、汽汽车车等等领领域域，，如如福福特特汽汽车车公公司司、、波音公司、洛克希德公司、丰田汽车公司波音公司、洛克希德公司、丰田汽车公司•我我国国并并行行工工程程的的研研究究始始于于90年年代代初初，，国国家家科科委委在在863计计划划中中设设立立了了一一些些课课题题支支持持并并行行工工程程的的研研究究，，已已有有少少数数几几家家企企业业开开始始实实施施并并行行工工程程，，并并取取得得了了新新产产品品开开发发样样机机周周期期缩缩短短、、产产品品综综合合技技术术经经济济指标好、符合市场需求、经济效益好等效益指标好、符合市场需求、经济效益好等效益并行工程现状并行工程现状Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下 1））并并行行性性：：各各种种活活动动并并行行交交叉叉进进行行。

既既包包括括各各个个部部件件开开发发的的并行交叉，又包括各个阶段的并行交叉并行交叉，又包括各个阶段的并行交叉2）流程改善：通过改善与优化工作流程，提高产品质量流程改善：通过改善与优化工作流程，提高产品质量3））尽尽早早开开始始工工作作：：在在信信息息不不充充分分的的情情况况下下开开始始工工作作，，因因此此要要有很强的应变能力有很强的应变能力4））集集成成化化：：强强调调全全面面优优化化，，追追求求产产品品整整体体的的竞竞争争力力和和各各小小组组的密切有机合作的密切有机合作5））强强有有力力的的支支撑撑环环境境：：必必须须有有良良好好的的支支撑撑多多小小组组并并行行协协同同工工作的网络与计算机平台作的网络与计算机平台6））强强有有力力的的管管理理：：强强调调强强有有力力的的管管理理，，保保证证各各种种并并行行活活动动协协调统一地进行调统一地进行并行工程特点并行工程特点Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下 软件过程软件过程§软件过程指软件生存周期中所涉及的一系列相关过程。

过程是活动的集合，活动是任务的集合，任务是把输入转换为输出的操作软件过程是动态的，它动态地产生、推进（执行），动态地消亡§软件过程模型是对软件过程的静态描述，是软件过程向前推进的依据Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下软件过程软件过程-ISO/IEC 12207 1. 主要过程类获取过程供应过程开发过程运行过程维护过程 3. 组织过程类管理过程基础设施过程改进过程培训过程2. 支持过程类 文档编制过程 配置管理过程 质量保证过程 验证过程 确认过程 联合评审过程 审核过程 问题解决过程Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下§过程并行过程并行§子过程并行子过程并行§阶段并行阶段并行§版本并行版本并行§活动并行活动并行软件生存周期中的并行性软件生存周期中的并行性Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下 软件生存周期软件生存周期并并 行行 度度软件开发过程软件开发过程软件维护过程软件维护过程软件管理过程软件管理过程软件文档编制过程软件文档编制过程过过 程程 并并 行行Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下子子 过过 程程 并并 行行软件开发周期并行度子开发过程1子开发过程2子开发过程n初步需求分析集成与系统测试Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下 阶阶 段段 并并 行行软件开发周期软件开发周期并并行行度度总体设计详细设计编 码测 试需求分析Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下版版 本本 并并 行行软件生存周期软件生存周期并并 行行 度度发行版本1的开发发行版本2的开发…………发行版本n的开发Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下活活 动动 并并 行行 软件生存周期软件生存周期并并 行行 度度开开 始始 编编 码码结结 束束 编编 码码编制模块编制模块1活动活动编制模块编制模块2活动活动编制模块编制模块n活动活动Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下 SDDM模型模型 支持软件并行开发过程的软件过程模型：支持软件并行开发过程的软件过程模型：•能定义软件开发中的各并行成分、各开发能定义软件开发中的各并行成分、各开发活动及它们相互之间的动态关系（也包括活动及它们相互之间的动态关系（也包括并行关系）。

并行关系）•能定义软件过程之间的动态关系能定义软件过程之间的动态关系Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下§任务是一个三元组T=<{P}，{Q}，Ms>，其中{P}，{Q}均为谓词，我们称{P}为前断言， 它刻划了任务T执行前的状态；{Q}称为后断言，它刻划了任务T执行后的状态<{P}，{Q}>刻划了把输入转换为输出的操作Ms是消息集合，其中的元素是二元组m=，表示当任务T完成时向软件过程p的活动a的任务t发送内容为m.text的消息m.text既可以是一个字符串，也可以是一个可执行的过程Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下§活动或者是一个任务序列T1T2…Tn，它表示任务T1、T2、...、Tn顺序地执行；或者是一个软件过程。

Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下§软件过程是一个六元组P=其中 C为 条 件 的 集 合 ， C中 的 条 件 是 一 个 二 元 组<{Q},Ds>,{Q}是一个谓词，表示条件；Ds是一个广义数据结构，是活动操作的对象A是活动的集合A中的活动a在其前提条件具备的情况下可以执行（称为点火）但a能否顺利进行，还要看其内部的诸任务的前断言是否具备C∩A=ΦF（C×A）∪（A×C），称为流关系I，OC分别称为输入接口和输出接口软件过程P将输入接口I的广义数据结构变为输出接口O的广义数据结构MC称为标记，它记录了过程P的一个瞬态Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下n系统动态开发模型是一个二元组SDDM=，Ps是软件过程的集合，Pr={|P，P’∈Ps}称为优先关系集，刻画了软件过程P必须在P’前执行。

无优先关系的过程可以并行执行并行执行过程中的同步关系由软件过程自行发送消息进行控制C4软件开发过程的图形表示软件开发过程的图形表示软件开发过程的图形表示软件开发过程的图形表示子开发过程子开发过程1子开发过程子开发过程2子开发过程子开发过程n初初 步步 需需 求求 分分 析析 集集 成成 与与 系系 统统 测测 试试初初步步需需求求分分析析子开发过程子开发过程1子开发过程子开发过程2子开发过程子开发过程n集集成成与与系系统统测测试试C1A1C2iA2iC3iA3Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下 软件过程建模语言特征软件过程建模语言特征§动态性动态性：由于软件过程是动态进行的，为支持设计者动态操作，应具有描述动态行为的成分§并行性并行性：应具有描述不同粒度并行成分的能力能描述软件过程级（粗粒度）、活动级（细粒度）的并行行为§一致性一致性：由于软件过程中有多个角色协同工作，应具有描述角色行为和角色协同工作的成分，对角色的行为进行精确的定义，并便于形式化地进行一致性检查。

§完整性完整性：软件过程包括许多方面的内容，建模语言应对其中组织、功能、行为、信息诸方面的内容加以描述，提供和表达尽可能丰富的信息§模块性模块性：L.Osterweil提出过“软件过程也是软件”的观点并获得了广泛的认同，软件过程模型是程序因此，模块性是自然的要求§支持抽象与求精支持抽象与求精：软件过程建模可采用自顶向下、逐步求精的方法进行应支持不同抽象级的过程描述，并具有用低层详细描述替换高层抽象描述的手段 Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下§基于基于PetriPetri网，具有较好的并行表达能力和动态表达能力，便网，具有较好的并行表达能力和动态表达能力，便于并行控制于并行控制 §具有面向对象的特征，支持数据抽象、信息隐蔽和过程抽象，具有面向对象的特征，支持数据抽象、信息隐蔽和过程抽象，支持消息传递和单重继承支持消息传递和单重继承§能表达各软件过程、子开发过程、活动之间的关系，能定义角能表达各软件过程、子开发过程、活动之间的关系，能定义角色与活动之间的关系。

色与活动之间的关系§可表示不同抽象级的过程模型，支持以角色为中心的逐步求精可表示不同抽象级的过程模型，支持以角色为中心的逐步求精的过程建模方法的过程建模方法§一个软件过程模型就是一个一个软件过程模型就是一个SDDMLSDDML程序§支持模型重用和过程重用支持模型重用和过程重用 SDDML主要特征主要特征Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下 任务定义任务定义<任务任务>::=TASK <任务名任务名> {<消息定义消息定义>;} BEGIN <前断言前断言>;<后断言后断言>;{<消息消息发送发送>;} END;<前断言前断言>::=PREASSERTION <谓词表达式谓词表达式><后断言后断言>::=POSTASSERTION <谓词表达式谓词表达式><谓词表达式谓词表达式>::=<简单布尔表达式简单布尔表达式>|(<谓词表达式谓词表达式>)|NOT<谓词表达式谓词表达式>|<谓词谓词表达式表达式>AND<谓词表达式谓词表达式>|<谓词表达式谓词表达式>OR<谓词表达式谓词表达式>|<谓词表达式谓词表达式>IMPLY<谓词表达式谓词表达式>|<谓词表达式谓词表达式>IFF<谓词表达式谓词表达式>|COND(<谓词表达式谓词表达式>,<谓词表达式谓词表达式>,<谓词表达式谓词表达式>)|ALL(<变量名变量名>)(<谓词表达式谓词表达式>)|EXISTS(<变量变量名名>)(<谓词表达式谓词表达式>)<消息定义消息定义>::=MESSAGE <消息名消息名> BEGIN <消息内容消息内容> END<消息发送消息发送>::=SEND <消息名消息名> TO <目标目标><目标目标>::=<软件过程名软件过程名>.<活动名活动名>.<任务名任务名>|<软件过程名软件过程名>.<条件名条件名> Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下 活动活动 定义定义<活活动动>::=ACTIVITY <活活动动名名> [FROM <活活动动名名>] {<任任务务>} [IMPORTS <输输入入数数据据结结构构>;] [EXPORTS <输输出出数数据据结结构构>;] [LOCALS <局局部部数数据据结结构构>;] BEGIN <活动体活动体> END;<活动体活动体>::=<任务序列任务序列>|<软件过程名软件过程名><输入数据结构输入数据结构>::=<广义数据结构广义数据结构><输出数据结构输出数据结构>::=<广义数据结构广义数据结构><局部数据结构局部数据结构>::=<广义数据结构广义数据结构><广广义义数数据据结结构构>::=STRUCTURE <广广义义数数据据结结构构名名> BEGIN <变变量量名名>:<变变量量类类型型>{;<变量名变量名>:<变量类型变量类型>} END<任务序列任务序列>::=PERFORMED BY <层次层次>.<角色名角色名>: <任务名任务名>{;<任务名任务名>}<角色名角色名>::=PD|PM|SA|DR|PR|CP|MA|GL|<用户自定义角色名用户自定义角色名> Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下<软件过程软件过程>::=PROCESS <软件过程名软件过程名> [FROM <软件过程名软件过程名>] {<活动活动>} BEGIN [<条件集定义条件集定义>;] [<活动集定义活动集定义>;] [<弧集定义弧集定义>] END;<条件集定义条件集定义>::=CONDITION SET BEGIN <条件名条件名>{;<条件名条件名>} END<活动集定义活动集定义>::=ACTIVITY SET BEGIN <活动名活动名>{;<活动名活动名>} END<弧集定义弧集定义>::=ARC SET BEGIN <弧元素弧元素>{;<弧元素弧元素>} END<弧元素弧元素>::=(<条件名条件名>,<活动名活动名>) | (<活动名活动名>,<条件名条件名>)软软 件过件过 程程 定义定义Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下 系系 统统 动动 态态 开开 发发 模模 型型 <系统动态开发模型系统动态开发模型>::={#define <术语定义术语定义>;} SDDM [FROM ] {<软件过程软件过程>} BEGIN [<软件过程优先集软件过程优先集>;] [<初始标记初始标记>] END.<软件过程优先集软件过程优先集>::=PROCESS PRIORITY SET BEGIN (<软件过程名软件过程名>,<软件软件过程名过程名){;(<软件过程名软件过程名>,<软件过程名软件过程名)} END<初始标记初始标记>::=MARKING SET BEGIN <软件过程名软件过程名>.<条件名条件名>{;<软件过程名软件过程名>.<条件名条件名>} END<术语定义术语定义>::=<标识符标识符>:<字符串字符串> Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下 并并行行度度软件生存周期软件生存周期初步需求分析子开发过程1子开发过程2子开发过程n集成与系统测试软件开发过程软件开发过程DPd1 d2 d31~d3n d41~d4n d51~d5n d6d7维护需求分析维护活动测试软件维护过程软件维护过程MPm1m3m5m7m6m4m2启动开发成本管理过程管理配置管理结束开发问题定义角色管理启动维护维护管理结束维护软件管理过程软件管理过程MGPc12c1c2c3c4 c51~c54 c61~c64 c71~c74 c8c9c10c15c13c14c11SDDM模型模型Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下#define d2: #define d2: 初步需求分析初步需求分析; /*; /*将术语将术语““初步需求分析初步需求分析””符号化符号化*/*/#define d41: #define d41: 子开发过程子开发过程1; /*1; /*将术语将术语““子开发过程子开发过程1”1”符号化符号化*/*/…………#define c14: #define c14: 结束维护结束维护; /*; /*将术语将术语““结束维护结束维护””符号化符号化*/*/SDDM sample1SDDM sample1PROCESS DP /*PROCESS DP /*定义软件开发过程定义软件开发过程DP*/DP*/ACTIVITY d2 …; /*ACTIVITY d2 …; /*定义活动定义活动d2d2中任务、数据结构等中任务、数据结构等*/*/ACTIVITY d41 …; /*ACTIVITY d41 …; /*定义活动定义活动d41d41中任务、数据结构等中任务、数据结构等*/*/…………ACTIVITY d6 …; /*ACTIVITY d6 …; /*定义活动定义活动d6d6中任务、数据结构等中任务、数据结构等*/*/BEGINBEGIN CONDITION SET BEGIN d1;d31;…;d3n;d51;…;d5n;d7 END; /*DP CONDITION SET BEGIN d1;d31;…;d3n;d51;…;d5n;d7 END; /*DP中条件中条件( (圆圈圆圈) )集集*/*/ ACTIVITY SET BEGIN d2;d41;…;d4n;d6 END; /*DP ACTIVITY SET BEGIN d2;d41;…;d4n;d6 END; /*DP中活动中活动( (方框方框) )集集*/*/ ARC SET BEGIN (d1,d2);(d2,d31);…;(d2,d3n);…;(d6,d7) END /*DP ARC SET BEGIN (d1,d2);(d2,d31);…;(d2,d3n);…;(d6,d7) END /*DP中弧中弧( (箭头箭头 ) )集集*/*/END; /*End of PROCESS DP*/END; /*End of PROCESS DP*/PROCESS MP …; /*PROCESS MP …; /*定义软件维护过程定义软件维护过程MP*/MP*/PROCESS MGP …; /*PROCESS MGP …; /*定义软件管理过程定义软件管理过程MGP*/MGP*/BEGINBEGIN PROCESS PRIORITY SET BEGIN (DP,MP) END; /*DP PROCESS PRIORITY SET BEGIN (DP,MP) END; /*DP必须在必须在MPMP前启动前启动*/*/ MARKING SET BEGIN MGP.c1 END /* MARKING SET BEGIN MGP.c1 END /*初始标记为仅有初始标记为仅有MGPMGP中的条件中的条件c1c1一个元素的集合一个元素的集合*/*/END. /*End of SDDM sample1 END. /*End of SDDM sample1 SDDML程序程序Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd. 基于基于 SDDML 的过程建模方的过程建模方法法PROCEDURE Process_Modeling; PROCEDURE Process_Refining(p: process; i: integer); BEGIN 在p所应该涉及的范围内标识第i层角色，这些角色构成集合Ri; 分析Ri中角色所处理的广义数据结构、活动、任务及它们与外界的联系（消息）; 根据Ri中角色所处理的内容用SDDML定义活动（每一个角色定义一个活动）; 分析Ri中角色所实施的活动之间的关系; 根据Ri中角色所实施的活动及它们之间的关系用SDDML定义软件过程p; IF i<>0 THEN 验证软件过程p同第i-1层软件过程之间的一致性; IF 软件过程p中还有需要细化的活动 THEN BEGIN 将每一个需要细化的活动标识为一个软件过程，这些软件过程构成集合Si; FOR Si中的每一个软件过程pi DO Process_Refining(pi, i+1) END; 利用继承机制定义细化后的系统动态开发模型，用以说明第i-1层中需细化的活动在第i层中已被软件过程p所替代 END; /*End of Process_Refining*/ BEGIN 标识构成软件过程模型的诸软件过程，这些软件过程构成集合S; 确定S中软件过程之间的优先关系; 根据S中软件过程及它们之间的优先关系，用SDDML定义系统动态开发模型; FOR S中的每一个软件过程p’ DO Process_Refining(p’, 0) END; /*End of Process_Modeling*/ Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下 §基于基于PetriPetri网、严格形式化，可以精确地描述并行的网、严格形式化，可以精确地描述并行的软件过程和软件过程内部的并行成分。

软件过程和软件过程内部的并行成分§层次化，可用来构造不同抽象级的软件过程，可通过层次化，可用来构造不同抽象级的软件过程，可通过实际的执行来验证不同抽象级的软件过程模型的一致实际的执行来验证不同抽象级的软件过程模型的一致性§可以挖掘软件过程内部的并行性，延拓局部的并行性可以挖掘软件过程内部的并行性，延拓局部的并行性到全局，提高了软件过程的并行度到全局，提高了软件过程的并行度 SDDM和和SDDMLEvaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下 相关类型相关类型定定义义：： 活活动动相相关关图图是是一一个个三三元元组组ARG=V≠Φ，，为为活活动动节节点点集集，，其其中中元元素素称称为为活活动动D V×V，，为为有有向向边边集集，，其中元素称为有向边其中元素称为有向边R：：D→{δ，，δ ，，δo，，δc}，称为相关函数称为相关函数 定定义义：： 活活动动A的的输输入入数数据据集集记记为为input(A)，，输输出出数数据据集集记记为为output(A)。

除除input(A)和和output(A)外外，，其其它它数数据据均均认认为为局局部部于于活动活动AEvaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下 相关类型相关类型定定义义：：在在活活动动相相关关图图ARG=中中，，对对A1，，A2∈∈V，，A1在在A2之前进行：之前进行：（（1））若若output(A1)∩input(A2)≠Φ，，则则称称A1正正相相关关于于A2，，记记为为A1δA2，，δ为正相关类型为正相关类型2））若若output(A2)∩input(A1)≠Φ，，则则称称A1反反相相关关于于A2，，记记为为A1 δA2 ，为反相关类型为反相关类型3））若若output(A1)∩output(A2)≠Φ，，则则称称A1输输出出相相关关于于A2，，记为记为A1δoA2，，δo为输出相关类型为输出相关类型定定义义：：在在活活动动相相关关图图ARG=中中，，对对A1，，A2∈∈V，，若若A2进进行行与与否否取取决决于于A1的的进进行行结结果果，，则则称称A1控控制制相相关关于于A2，，记记为为A1δc A2，，δc为控制相关类型。

为控制相关类型Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd. 构造活动相关图构造活动相关图算法算法 (构造活动相关图ARG)输入：活动集E={A1，A2，…，An}；input(Ai)，output(Ai) (i=1，2，…，n)；顺序关系S={|Ai在Aj之前进行}；控制关系C={|Ai决定Aj是否进行}输出：活动相关图ARG=BEGIN V:=E; D:=Φ; R:= Φ; FOR i:=1 TO n DO FOR j:=1 TO n DO BEGIN IF ∈S THEN BEGIN IF output(Ai)∩input(Aj)≠Φ THEN BEGIN D:=D∪{(Ai，Aj)}; R:=R∪{<(Ai，Aj)，δ>} END; IF output(Aj)∩input(Ai)≠Φ THEN BEGIN D:=D∪{(Ai，Aj)}; R:=R∪{<(Ai，Aj)， δ >} END; IF output(Ai)∩output(Aj)≠Φ THEN BEGIN D:=D∪{(Ai，Aj)}; R:=R∪{<(Ai，Aj)，δo >} END END; IF ∈C THEN BEGIN D:=D∪{(Ai，Aj)}; R:=R∪{<(Ai，Aj)，δc >} END ENDEND.Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd. 构造软件过程模型构造软件过程模型算法算法 (构造软件过程模型P)输入：活动相关图ARG=。

输出：软件过程模型P=BEGIN E:=V; C:=Φ; F:=Φ; M:=Φ; FOR i:=1 TO n DO /*n为V、E中的节点数*/ FOR j:=1 TO n DO BEGIN IF ((Vi，Vj)∈D)∧(R(Vi，Vj) ≠δc ) THEN /* Vi，Vj∈V且Vi，Vj∈E*/ BEGIN C:=C∪{Cij}; F:=F∪{(Vi，Cij)，( Cij，Vj)} END; IF ((Vi，Vj)∈D)∧(R(Vi，Vj) =δc ) THEN BEGIN C:=C∪{Ci}; F:=F∪{(Vi，Ci)，( Ci，Vj)} END END; FOR i:=1 TO n DO BEGIN IF Vi·=Ф THEN BEGIN C:=C∪{Ci”}; F:=F∪{(Vi，Ci”)} END; IF ·Vi =Ф THEN BEGIN C:=C∪{Ci’}; F:=F∪{(Ci’，Vi)}; M:=M∪{Ci’} END ENDEND.Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd. 并行性挖掘并行性挖掘 rr(a)A1A2(b)V1V2分解活动前后的活动相关图分解活动前后的活动相关图V3V4V5V6 活动相关图构造的软件过程模型活动相关图构造的软件过程模型C23C12C45C25C1’●V1V2V3C3”C4’●V4V5V6C56C6”Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下 C4C1’C51”C3”C23●A1A2A4A3A5A6活动相关图构造的软件过程模型活动相关图构造的软件过程模型C12C14C6”cc/oA1A2A3A4A5A6活动相关图活动相关图Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下 活动并行化活动并行化算法算法（将活动A并行化）输入：活动A，A的前流FIRST(A)，A的后流FOLLOW(A)。

输出：软件过程模型P=BEGIN 构造A中任务的相关图TRG； 由TRG构造A中任务的相关关系R； 构造A的任务集合T关于R的商集T/R,得划分块的集合{Tb1，Tb2，…，Tbn }； 将每一个划分块定义为一个新活动，新活动中不改变原任务进行的顺序，得活动集Ab={A1，A2，…，An}；/*Ab中每一个元素为一个任务序列*/ E:=Ab∪{A’，A”}；F:=Φ； C:={C1’，C2’，…，Cn’，C1”，C2”，…，Cn”}； FOR i:=1 TO n DO F:=F∪{(A’，Ci’)，(Ci”，A”)，(Ci’，Ai)，(Ai，Ci”)}； F:=F∪FIRST(A’/A)∪FOLLOW(A”/A)END.Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下 (a)C’ABA’A1A2AnC’A”B’B1B2BmB”(b)活动并行化活动并行化Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下 划分块之间的相关关系判别划分块之间的相关关系判别算法（划分块之间的相关关系判别）算法（划分块之间的相关关系判别）输入：活动集A={A1，A2，…，An}，A的同步关系RA，活动Ai 的输入、输出数据集input(Ai)、output(Ai) (i=1，2，…，n)；活动集B={B1，B2，…，Bm}，B的同步关系RB，活动Bj 的输入、输出数据集input(Bj)、output(Bj) (j=1，2，…，m)。

输出：表明划分块之间是否相关的二维数组AB，划分Ab，BbBEGIN构造A关于RA的商集A/RA，得划分Ab={Ab1，Ab2，…，Abs}；构造B关于RB的商集B/RB，得划分Bb={Bb1，Bb2，…，Bbt}；AB[1..s，1..t]:=false；FOR i:=1 TO s DO FOR j:=1 TO t DO FOR i’:=1 TO si DO /*块Abi中有si个活动*/ FOR j’:=1 TO tj DO /*块Bbj中有tj 个活动*/ BEGIN 判别Abii’，Bbjj’之间的相关关系；/* Abii’∈Abi，Bbjj’∈Bbj*/ IF Abii’与Bbjj’ 相关 THEN AB[i，j]:=true ENDEND.Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd. 算法（并行性延拓）算法（并行性延拓）输入：软件过程模型~P=<~C,~E,~ F>；活动集A={A1，A2，…，An}，A的同步关系RA，活动Ai 的输入、输出数据集input(Ai)、output(Ai) (i=1，2，…，n)；活动集B={B1，B2，…，Bm}，B的同步关系RB，活动Bj 的输入、输出数据集input(Bj)、output(Bj) (j=1，2，…，m)。

输出：延拓中并行性后得到的新软件过程模型P=BEGIN CALL 划分块之间的相关关系判别算法获得布尔数组AB及划分Ab，Bb； E:=~E-{A”，B’}；C:=~C-{C’}； F:=~F-FIRST(A”)-FIRST(B’)-FOLLOW(A”)-FOLLOW(B’)； FOR i:=1 TO s DO /*Ab中有s 个划分块*/ BEGIN FOR j:=1 TO t DO /*Bb中有t 个划分块*/ IF AB[i，j] THEN BEGIN E:=E∪{Bj’，Ai”}； C:=C∪{Cij}； FOR j’:=1 TO tj DO /*块Bbj中有tj个活动：Bj1，Bj2，…*/ F:=F∪{(Bj’，FCjj’)}；/* FCjj’为指向Bjj’的条件*/ F:=F∪{(Ai”，Cij)，( Cij，Bj’)}； FOR i’:=1 TO si DO /*块Ab i中有si个活动：Ai1，Ai2，…*/ F:=F∪{(LCii’，Ai”)} /* LCii’表示Aii’所指向的条件*/ END; IF AB第i行均为false THEN /*Ab第i块不同Bb中任何一块有相关关系*/ FOR i’:=1 TO si DO F:=F∪{(LCii’，B”)} END; FOR j:=1 TO t DO IF AB第j列均为false THEN /*Ab中不存在任何一块与Bb中第j块有相关关系*/ FOR j’:=1 TO tj DO F:=F∪{(A’，FCjj’)}END.Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd. A’A21A22A2bA2”B2’B21B22B2dB”A11A12A1aA1”B1’B11B12B1cA k1A k2A kjA k”Bk’Bk1Bk2Bkm并行性延拓并行性延拓Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下 并行控制模型并行控制模型CCM定义：定义：∑=(S，T，F，C)称为一个CCM模型，如果：　 (1) (S，T，F)是一个网； (2) C是一个标记集合，若M1 和M2 为C中任意二个标记，则必然有一个广义步序列g1g2 …gn， 使得标记M1 转换为M2，记为M1 [> M2。

广义步或者是一步s，或一步的逆s-1 (3) 对T中任一活动e，必存在C中的一个标记，使e在此标记下能点火Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下 串行块串行块ei ejEvaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下 并行块并行块eiejEvaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下 互斥块互斥块ejeiEvaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下 同步块同步块eje0eneiEvaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下 重复块重复块ei ejEvaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下 基本块基本块 启动过程 过程进行 结束过程 start process finishEvaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd. CCM建模方法建模方法输入: 启动过程指令“start”，结束过程指令“finish”，过程进行“process”，根据过程进行需要确定的可以并行进行的活动及相应的条件。

输出: CCM模型∑=(S,T, F,C) BEGIN S:={start, finish}; T:={process}; F:={,}; C:={start}; F”:=Φ; LS:=Φ; FS:=Φ; WHILE T中尚有活动可细化 DO BEGIN e:=T中任一可细化元素; 根据需要，将e 细化为某一种基元块，并将该块中用虚线框围住的部分形式地表示为三元组∑’=（S’，T’，F’); T:=T－{e}; 加所有的t到集合LS中(t∈T’且所有形如(t, c)的边∈基元块且c没有被虚线框围住); 加所有的t到集合FS中(t∈T’且所有形如(c, t)的边∈基元块且c没有被虚线框围住); WHILE F中有形如和的边f ’ DO BEGIN F:=F－{ f ’ }; 根据实际需要形成形如或的边加到F”中（e’∈LS, e”∈FS，c’∈e·，c”∈·e ）； END； S:=S∪S’; T:=T∪T’; F:=F∪F’∪F”; END; 输出∑=(S,T,F,C) END. Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下 一个一个CCM模型的建立过程模型的建立过程Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd. 需求确认2完成集成测试验证原型2一致性验证1划分开始划分确认2划分确认1需求分析2需求分析1需求确认1需求确认3划分调整1一致性验证2验收测试调整确认2调整确认1设计2设计1构造原型2构造原型1设计确认2设计确认1设计确认3划分调整2调整确认4调整确认3原型确认2原型确认1执行原型2执行原型1验证原型1集成确认确认原型4优化原型2优化原型1原型确认3图4.11 一个细化后的CCM模型错误识别错误识别CCM模型例模型例Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.会泽百家 至公天下谢谢 谢谢 ！！Evaluation only.Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.Copyright 2004-2011 Aspose Pty Ltd.。