軟件并行開(kāi)發(fā)過(guò)程

軟件學(xué)院李彤博士2007年春軟件并行開(kāi)發(fā)過(guò)程云南省中青年學(xué)術(shù)和技術(shù)帶頭人培養(yǎng)基金項(xiàng)目1998-37云南省自然科學(xué)基金項(xiàng)目

98F023M98F005G2001F0006M問(wèn)題的提出

一、生產(chǎn)率低下二、質(zhì)量欠佳背景并行工程并行處理多個(gè)程序員同時(shí)為同一個(gè)系統(tǒng)編碼現(xiàn)實(shí)生活中的各類非自覺(jué)的、偶然的并行行為制造業(yè)并行工程市場(chǎng)分析產(chǎn)品設(shè)計(jì)工藝設(shè)計(jì)采購(gòu)制造檢測(cè)裝配銷售維修并行度進(jìn)行反饋產(chǎn)品生存周期

1982年，美國(guó)國(guó)防部發(fā)表了著名的R-338報(bào)告，正式提出了“并行工程”的概念：并行工程是集成地、并行地設(shè)計(jì)產(chǎn)品及其相關(guān)的各種過(guò)程（包括制造過(guò)程和支持過(guò)程）的系統(tǒng)化方法。這種方法要求產(chǎn)品開(kāi)發(fā)人員從設(shè)計(jì)一開(kāi)始就考慮產(chǎn)品整個(gè)生存周期中從概念形成到產(chǎn)品報(bào)廢處理的所有因素，包括質(zhì)量、成本、進(jìn)度、計(jì)劃和用戶的要求。并行工程目前已成為制造業(yè)研究與實(shí)踐的熱點(diǎn)領(lǐng)域。在國(guó)外已成功地應(yīng)用于航空、航天、電子、汽車等領(lǐng)域，如福特汽車公司、波音公司、洛克希德公司、豐田汽車公司。我國(guó)并行工程的研究始于90年代初，國(guó)家科委在863計(jì)劃中設(shè)立了一些課題支持并行工程的研究，已有少數(shù)幾家企業(yè)開(kāi)始實(shí)施并行工程，并取得了新產(chǎn)品開(kāi)發(fā)樣機(jī)周期縮短、產(chǎn)品綜合技術(shù)經(jīng)濟(jì)指標(biāo)好、符合市場(chǎng)需求、經(jīng)濟(jì)效益好等效益。并行工程現(xiàn)狀

1）并行性：各種活動(dòng)并行交叉進(jìn)行。既包括各個(gè)部件開(kāi)發(fā)的并行交叉，又包括各個(gè)階段的并行交叉。2）流程改善：通過(guò)改善與優(yōu)化工作流程，提高產(chǎn)品質(zhì)量。3）盡早開(kāi)始工作：在信息不充分的情況下開(kāi)始工作，因此要有很強(qiáng)的應(yīng)變能力。4）集成化：強(qiáng)調(diào)全面優(yōu)化，追求產(chǎn)品整體的競(jìng)爭(zhēng)力和各小組的密切有機(jī)合作。5）強(qiáng)有力的支撐環(huán)境：必須有良好的支撐多小組并行協(xié)同工作的網(wǎng)絡(luò)與計(jì)算機(jī)平臺(tái)。6）強(qiáng)有力的管理：強(qiáng)調(diào)強(qiáng)有力的管理，保證各種并行活動(dòng)協(xié)調(diào)統(tǒng)一地進(jìn)行。并行工程特點(diǎn)

軟件過(guò)程軟件過(guò)程指軟件生存周期中所涉及的一系列相關(guān)過(guò)程。過(guò)程是活動(dòng)的集合，活動(dòng)是任務(wù)的集合，任務(wù)是把輸入轉(zhuǎn)換為輸出的操作。軟件過(guò)程是動(dòng)態(tài)的，它動(dòng)態(tài)地產(chǎn)生、推進(jìn)（執(zhí)行），動(dòng)態(tài)地消亡。軟件過(guò)程模型是對(duì)軟件過(guò)程的靜態(tài)描述，是軟件過(guò)程向前推進(jìn)的依據(jù)。軟件過(guò)程-ISO/IEC122071.主要過(guò)程類獲取過(guò)程供應(yīng)過(guò)程開(kāi)發(fā)過(guò)程運(yùn)行過(guò)程維護(hù)過(guò)程

3.組織過(guò)程類管理過(guò)程基礎(chǔ)設(shè)施過(guò)程改進(jìn)過(guò)程培訓(xùn)過(guò)程2.支持過(guò)程類

文檔編制過(guò)程配置管理過(guò)程質(zhì)量保證過(guò)程驗(yàn)證過(guò)程確認(rèn)過(guò)程聯(lián)合評(píng)審過(guò)程審核過(guò)程問(wèn)題解決過(guò)程過(guò)程并行子過(guò)程并行階段并行版本并行活動(dòng)并行軟件生存周期中的并行性

軟件生存周期并行度軟件開(kāi)發(fā)過(guò)程軟件維護(hù)過(guò)程軟件管理過(guò)程軟件文檔編制過(guò)程過(guò)程并行子過(guò)程并行軟件開(kāi)發(fā)周期并行度子開(kāi)發(fā)過(guò)程1子開(kāi)發(fā)過(guò)程2子開(kāi)發(fā)過(guò)程n初步需求分析集成與系統(tǒng)測(cè)試

階段并行軟件開(kāi)發(fā)周期并行度總體設(shè)計(jì)詳細(xì)設(shè)計(jì)編碼測(cè)試需求分析版本并行軟件生存周期并行度發(fā)行版本1的開(kāi)發(fā)發(fā)行版本2的開(kāi)發(fā)……發(fā)行版本n的開(kāi)發(fā)活動(dòng)并行

軟件生存周期并行度開(kāi)始編碼結(jié)束編碼編制模塊1活動(dòng)編制模塊2活動(dòng)編制模塊n活動(dòng)SD這DM模型支持獸軟件而并行漢開(kāi)發(fā)舅過(guò)程親的軟楚件過(guò)惰程模來(lái)型：能定掘義軟霉件開(kāi)粗發(fā)中旦的各墳并行耽成分筒、各鉤開(kāi)發(fā)冠活動(dòng)眼及它誦們相伶互之扯間的舉動(dòng)態(tài)面關(guān)系規(guī)（也危包括啟并行腹關(guān)系打）。能定醬義軟裝件過(guò)納程之灶間的瓶動(dòng)態(tài)宗關(guān)系鬼。任務(wù)哀是一家個(gè)三吩元組T=歲<{職P}，{Q墊}，Ms薯>，其中{P富}，{Q哄}均為愚謂詞最，我然們稱{P凍}為前鹽斷言炮，跡它刻廊劃了朗任務(wù)T執(zhí)行萬(wàn)前的翠狀態(tài)庸；{Q煎}稱為厭后斷姻言，蛛它刻疊劃了后任務(wù)T執(zhí)行馳后的處狀態(tài)悄。<{峰P}，{Q嗽}>刻劃把了把竹輸入鑒轉(zhuǎn)換展為輸遮出的少操作意。Ms是消羨息集宋合，與其中康的元愚素是加二元捐組m=襯<p曲.a榮.t，m.旅te尤xt價(jià)>，表示槐當(dāng)任蚊務(wù)T完成處時(shí)向送軟件喂過(guò)程p的活草動(dòng)a的任葬務(wù)t發(fā)送洽內(nèi)容宋為m.泛te景xt的消道息。m.荷te插xt既可躺以是睜一個(gè)吊字符丙串，右也可包以是慮一個(gè)枕可執(zhí)皆行的適過(guò)程活動(dòng)問(wèn)或者菜是一殃個(gè)任駛務(wù)序亦列T1T2…Tn，它表辭示任識(shí)務(wù)T1、T2、..妥.、Tn順序鎖地執(zhí)狐行；愈或者靈是一失個(gè)軟條件過(guò)億程。軟件觀過(guò)程愛(ài)是一池個(gè)六右元組P=授<C，A，F(xiàn)，I，O，M>。其中C為條色件的極集合道，C中的雖條件鍬是一岔個(gè)二栗元組<{圈Q}刷,D汽s>裝,{吼Q}是一金個(gè)謂者詞，效表示濕條件運(yùn)；Ds是一躲個(gè)廣馬義數(shù)迅據(jù)結(jié)屋構(gòu)，其是活汪動(dòng)操用作的巾對(duì)象已。A是活滿動(dòng)的戴集合絡(luò)。A中的覽活動(dòng)a在其睬前提鉆條件窗具備外的情劍況下鏈可以必執(zhí)行互（稱顆為點(diǎn)字火）柱。但a能否疤順利見(jiàn)進(jìn)行鑰，還瘡要看困其內(nèi)注部的話諸任扎務(wù)的水前斷紅言是毫否具這備。C∩館A=茶Φ。F（C×友A）∪腐（A×惑C），稱為踢流關(guān)窩系。I，OC分別頃稱為纏輸入主接口齊和輸辰出接咬口。擇軟件斜過(guò)程P將輸壘入接將口I的廣抽義數(shù)慨據(jù)結(jié)隆構(gòu)變江為輸局出接藏口O的廣壺義數(shù)懲據(jù)結(jié)環(huán)構(gòu)。MC稱為農(nóng)標(biāo)記綢，它關(guān)記錄蔥了過(guò)曲程P的一太個(gè)瞬品態(tài)。系統(tǒng)伶動(dòng)態(tài)擔(dān)開(kāi)發(fā)團(tuán)模型銳是一際個(gè)二僅元組SD錘DM甩=<橫Ps，Pr僻>，Ps是軟扭件過(guò)護(hù)程的援集合訂，Pr恰={平<P，P’耍>|漸P，P’徹∈P容s}稱為壤優(yōu)先追關(guān)系殺集，<P，P’弟>刻畫(huà)自了軟北件過(guò)蒙程P必須扮在P’前執(zhí)杏行。素?zé)o優(yōu)端先關(guān)都系的而過(guò)程符可以苗并行壘執(zhí)行袋。并嫌行執(zhí)緩行過(guò)尾程中哭的同事步關(guān)且系由勸軟件役過(guò)程如自行然發(fā)送狹消息必進(jìn)行驢控制念。C4軟件開(kāi)發(fā)過(guò)程的圖形表示子開(kāi)發(fā)過(guò)程1子開(kāi)發(fā)過(guò)程2子開(kāi)發(fā)過(guò)程n初步需求分析

集成與系統(tǒng)測(cè)試初步需求分析子開(kāi)發(fā)過(guò)程1子開(kāi)發(fā)過(guò)程2子開(kāi)發(fā)過(guò)程n集成與系統(tǒng)測(cè)試C1A1C2iA2iC3iA3軟件借過(guò)程反建模致語(yǔ)言呼特征動(dòng)態(tài)聯(lián)性：由匙于軟鴿件過(guò)獵程是咽動(dòng)態(tài)腸進(jìn)行癥的，承為支坡持設(shè)貸計(jì)者域動(dòng)態(tài)躬操作役，應(yīng)超具有倡描述當(dāng)動(dòng)態(tài)細(xì)行為現(xiàn)的成芹分。并行智性：應(yīng)鐮具有償描述扔不同很粒度特并行錘成分偵的能殊力。族能描你述軟兔件過(guò)吐程級(jí)薪（粗秩粒度印）、折活動(dòng)德級(jí)（轎細(xì)粒是度）爬的并取行行版為。一致膊性：由炭于軟占件過(guò)冊(cè)程中撲有多毫個(gè)角賢色協(xié)市同工身作，柴應(yīng)具畜有描猛述角筐色行浪為和享角色筋協(xié)同五工作碗的成破分，眉對(duì)角伴色的哄行為統(tǒng)進(jìn)行真精確洽的定注義，卸并便缺于形皮式化見(jiàn)地進(jìn)劑行一冒致性鐘檢查努。完整漠性：軟蠢件過(guò)周程包羞括許丘多方什面的盤(pán)內(nèi)容鏈，建弱模語(yǔ)覆言應(yīng)羞對(duì)其朝中組旨織、隸功能納、行壟為、長(zhǎng)信息源諸方蹈面的蜜內(nèi)容敗加以求描述棵，提闊供和頂表達(dá)壞盡可予能豐筍富的膜信息柴。模塊財(cái)性：L.運(yùn)Os樂(lè)te蝴rw依ei紋l提出難過(guò)“構(gòu)軟件勾過(guò)程其也是惠軟件頑”的額觀點(diǎn)銅并獲構(gòu)得了公廣泛蛛的認(rèn)敞同，測(cè)軟件塘過(guò)程唇模型豆是程搭序。滾因此涉，模誰(shuí)塊性鋸是自帆然的皇要求斑。支持沃抽象蘿與求奮精：軟佩件過(guò)聯(lián)程建充模可兼采用止自頂誦向下練、逐鬼步求首精的旬方法利進(jìn)行孔。應(yīng)切支持換不同脾抽象糞級(jí)的舉過(guò)程肆描述通，并東具有抓用低霉層詳籃細(xì)描越述替始換高送層抽漆象描溜述的用手段尊。基于Pe糊tr質(zhì)i網(wǎng)，準(zhǔn)具有晉較好冠的并白行表完達(dá)能難力和車動(dòng)態(tài)村表達(dá)霸能力至，便滑于并錄行控蓮制。具有孕面向刑對(duì)象羽的特例征，酸支持匆數(shù)據(jù)駱抽象該、信仆息隱陷蔽和卻過(guò)程周抽象熊，支烘持消縱息傳耀遞和魯單重順繼承矮。能表堡達(dá)各劉軟件捧過(guò)程黨、子遇開(kāi)發(fā)迫過(guò)程殃、活旨動(dòng)之恩間的比關(guān)系槍，能坊定義艙角色洗與活牌動(dòng)之外間的攔關(guān)系而?？杀硗静欢渫闇叵蠹?jí)畫(huà)的過(guò)施程模晨型，燭支持精以角喉色為喬中心岸的逐慣步求殼精的使過(guò)程犯建模蓬方法槽。一個(gè)雀軟件念過(guò)程等模型建就是混一個(gè)SD失DM功L程序艘。支持法模型項(xiàng)重用貝和過(guò)磚程重淹用。SD串DM結(jié)L主要切特征任務(wù)讀定義<任務(wù)>:效:=婦TA結(jié)SK址<任務(wù)緞名>棄{<消息勁定義>;五}寶BE畢GI船N址<前斷夢(mèng)言>;燒<后斷釣言>;乏{<消息教發(fā)送>;盛}袋EN奔D;<前斷烘言>:躺:=浪PR吐EA簡(jiǎn)SS毯ER換TI駝ON諸<謂詞連表達(dá)霸式><后斷淡言>:果:=貿(mào)PO氣ST嫂AS鴿SE浸RT卡IO駕N吵<謂詞而表達(dá)親式><謂詞侍表達(dá)盞式>:鳥(niǎo):=巾<簡(jiǎn)單甩布爾淺表達(dá)配式>|縫(<謂詞狹表達(dá)艙式>)閃|N碼OT謙<謂詞蠻表達(dá)營(yíng)式>|紅<謂詞立表達(dá)參式>A葬ND腳<謂詞神表達(dá)答式>|鈴<謂詞衣表達(dá)交式>O寶R<謂詞撫表達(dá)眉式>|典<謂詞希表達(dá)栗式>I疤MP年LY巴<謂詞案表達(dá)魂式>|萌<謂詞貢表達(dá)辮式>I塑FF馬<謂詞唉表達(dá)怪式>|章CO仁ND潑(<謂詞末表達(dá)弱式>,芽<謂詞籮表達(dá)撥式>,仗<謂詞垮表達(dá)掙式>)駐|A苗LL段(<變量詳名>)漆(<謂詞勺表達(dá)蒼式>)殲|E厭XI攪ST鞏S(按<變量炸名>)主(<謂詞鹿表達(dá)岔式>)<消息襖定義>:概:=滋ME暈SS收AG壟E怪<消息胃名>傘BE溝GI占N噸<消息封內(nèi)容>程EN煤D<消息升發(fā)送>:獲:=脾SE乓ND膚<消息少名>景TO菜<目標(biāo)><目標(biāo)>:矮:=但<軟件善過(guò)程釘名>.歸<活動(dòng)海名>.技<任務(wù)奴名>|錯(cuò)<軟件誕過(guò)程劇名>.飾<條件翅名>活動(dòng)娛定閣義<活動(dòng)>:柜:=虜AC威TI醫(yī)VI罩TY望<活動(dòng)同名>給[F護(hù)RO翠M霸<活動(dòng)砌名>]攻{塊<任務(wù)>}娘[害IM暑PO虎RT撫S捷<輸入趟數(shù)據(jù)州結(jié)構(gòu)>;荒]駐[E憑XP嘆OR掙TS受<輸出貌數(shù)據(jù)雁結(jié)構(gòu)>;倆]脂[L肅OC述AL害S寫(xiě)<局部囑數(shù)據(jù)進(jìn)結(jié)構(gòu)>;滿]導(dǎo)BE榨GI槐N孝<活動(dòng)需體>瞇EN秀D;<活動(dòng)艇體>:痰:=崗<任務(wù)看序列>|廚<軟件煩過(guò)程許名><輸入濁數(shù)據(jù)牧結(jié)構(gòu)>:廈:=摔<廣義問(wèn)數(shù)據(jù)顛結(jié)構(gòu)><輸出炭數(shù)據(jù)柔結(jié)構(gòu)>:枕:=茅<廣義遣數(shù)據(jù)譯結(jié)構(gòu)><局部卡數(shù)據(jù)捎結(jié)構(gòu)>:擱:=解<廣義符數(shù)據(jù)域結(jié)構(gòu)><廣義媽數(shù)據(jù)披結(jié)構(gòu)>:浩:=而ST順RU步CT浪UR棋E析<廣義命數(shù)據(jù)揪結(jié)構(gòu)熱名>置BE掠GI言N丘<變量董名>:生<變量峰類型>{猴;<變量誦名>:極<變量乘類型>}唇E權(quán)ND<任務(wù)春序列>:紗:=弟PE攻RF成OR帆ME素D愛(ài)BY鉆<層次>.幻玉<角色隔名>:外<任務(wù)拋名>{榆;<任務(wù)薄名>}<角色煉名>:項(xiàng):=憲PD香|P吼M|佩SA凳|D耳R|撇PR鞏|C豆P|橫MA網(wǎng)|G僻L|蘿<用戶決自定仗義角笛色名><軟件碌過(guò)程>:網(wǎng):=絡(luò)PR娃OC淹ES究S赤<軟件澡過(guò)程御名>新[F跪RO徑M榨<軟件吼過(guò)程規(guī)名>]竟{枕<活動(dòng)>}澆B駛EG見(jiàn)IN鄉(xiāng)豐[扒<條件迷集定婦義>;配]惑[<活動(dòng)館集定束義>;全]吐[<弧集庸定義>]組E應(yīng)ND曉;<條件店集定刑義>:錢(qián):=沒(méi)CO淋ND碼IT損IO下N鐵SE扮T諷BE尤GI引N始<條件酒名>{課;<條件喬名>}霧E竭ND<活動(dòng)遇集定雹義>:寫(xiě):=喊AC劉TI翁VI支TY材S匯ET棒B尼EG拐IN程<活動(dòng)孝名>{磁;<活動(dòng)彈名>}蜘E常ND<弧集假定義>:倡:=歇AR鋸C遲SE哀T此BE毯GI甘N擺<弧元漁素>{移;<弧元皺素>}騾E拔ND<弧元達(dá)素>:冰:=亮(<條件蛙名>,扁<活動(dòng)洽名>)居|風(fēng)(荒<活動(dòng)志名>,饅<條件蠢名>)軟病件過(guò)音程可定蛛義系饞統(tǒng)拳動(dòng)撐態(tài)憂開(kāi)性發(fā)粘模踩型<系統(tǒng)論動(dòng)態(tài)港開(kāi)發(fā)鵝模型>:燥:=練{#歪de諷fi桃ne藍(lán)<術(shù)語(yǔ)鑼定義>;縮慧}桃SD羞DM寒<臉SD畜DM模型繳名>寸[F回RO挪M贈(zèng)<S肆DD受M模型其名>]鈴{焦<軟件般過(guò)程>}老B竟EG壘IN窯[鬧<軟件冶過(guò)程釘優(yōu)先疤集>;碎]栗[<初始坦標(biāo)記>]苦E織ND凈.<軟件米過(guò)程繡優(yōu)先豬集>:切:=至PR典OC襖ES搖S蒜PR激IO珠RI梅TY管S傲ET惱B竭EG勻IN淺(吸<軟件輛過(guò)程套名>,賞<軟件腳過(guò)程訪名){盡;(孕<軟件錄過(guò)程狀名>,障<軟件鐘過(guò)程適名)}潛E斃ND<初始吵標(biāo)記>:慌:=婚MA筒RK依IN上G積SE惰T稈BE喬GI課N射<軟件軍過(guò)程桿名>.守<條件催名>{私;<軟件槳過(guò)程根名>.渣<條件留名>}釣E獸ND<術(shù)語(yǔ)期定義>:睡:=褲<標(biāo)識(shí)轟符>:震<字符肺串>并行度軟件生存周期初步需求分析子開(kāi)發(fā)過(guò)程1子開(kāi)發(fā)過(guò)程2子開(kāi)發(fā)過(guò)程n集成與系統(tǒng)測(cè)試軟件開(kāi)發(fā)過(guò)程DPd1

d2d31~d3nd41~d4nd51~d5nd6d7維護(hù)需求分析維護(hù)活動(dòng)測(cè)試軟件維護(hù)過(guò)程MPm1m3m5m7m6m4m2啟動(dòng)開(kāi)發(fā)成本管理過(guò)程管理配置管理結(jié)束開(kāi)發(fā)問(wèn)題定義角色管理啟動(dòng)維護(hù)維護(hù)管理結(jié)束維護(hù)軟件管理過(guò)程MGPc12c1c2c3c4c51~c54c61~c64c71~c74c8c9c10c15c13c14c11SD方DM模型#d區(qū)ef不in撓e個(gè)d2歉:初步到需求集分析;挺/折*將術(shù)構(gòu)語(yǔ)“剛初步簽需求響分析塘”符訂號(hào)化內(nèi)*/#d容ef堪in燈e觸d4陳1:子開(kāi)刊發(fā)過(guò)此程1;屬/*將術(shù)宏語(yǔ)“林子開(kāi)總發(fā)過(guò)譯程1”符號(hào)礙化*/……#d帶ef繞in壓e芽c1壟4:結(jié)束間維護(hù);遣/針*將術(shù)崇語(yǔ)“墳結(jié)束吩維護(hù)耍”符瘋號(hào)化鍵*/SD跟DM掉s替am窄pl營(yíng)e1PR拍OC吳ES般S汗DP蓋/*定義萬(wàn)軟件棗開(kāi)發(fā)界過(guò)程DP驅(qū)*/AC促TI五VI旨TY旱d翠2遠(yuǎn)…攀;黑/渠*定義問(wèn)活動(dòng)d2中任荒務(wù)、跌數(shù)據(jù)引結(jié)構(gòu)最等*/AC燥TI匠VI葛TY侵d孝41傷…膚;搭/優(yōu)*定義咸活動(dòng)d4皂1中任看務(wù)、悉數(shù)據(jù)竟結(jié)構(gòu)訂等*/……AC津TI擠VI哄TY疼d席6懷…食;碗/或*定義戚活動(dòng)d6中任裝務(wù)、僵數(shù)據(jù)氧結(jié)構(gòu)成等*/BE裁GI汽NCO虹ND誓IT具IO匯N膨SE島T炮BE競(jìng)GI聯(lián)N禿d1肌;d依31企;…橋;d烈3n訪;d添51廟;…叼;d纏5n夫;d講7垃EN閘D;傾/玩*D氏P中條讀件(圓圈)集*/AC功TI羅VI唇TY矩S邪ET應(yīng)B采EG病IN粉d味2;刊d4盟1;鹽…;右d4望n;用d6訴E考ND鼠;改/姓*D旅P中活唇動(dòng)(方框)集*/AR面C賄SE莊T眼BE潑GI計(jì)N搞(d共1,同d2考);價(jià)(d巷2,沉d3同1)諒;…盼;(俊d2肯,d云3n饑);埋…;另(d計(jì)6,籍d7尊)組EN介D炒/做*D嚴(yán)P中弧(箭頭)集*/EN美D;粘/*結(jié)En王d勞of抖P依RO俯CE幫SS搜D擋P*損/PR都OC表ES刪S殺MP裁…;儉/*定義囑軟件蕩維護(hù)棋過(guò)程MP扛*/PR嚴(yán)OC殺ES冒S需MG結(jié)P惡…破;貓/今*定義蔽軟件蹲管理反過(guò)程MG卻P*筆/BE浙GI毫NPR瞇OC湊ES煌S著PR簡(jiǎn)IO那RI蓮TY污S氧ET疏B遠(yuǎn)EG剛IN橋(作DP豪,M緣瑞P)逢E鴨ND腳;列/遵*D芽P必須團(tuán)在MP前啟福動(dòng)*/MA步RK瞞IN匪G語(yǔ)SE揭T握BE侄GI鑰N漫MG臂P.派c1閥E比ND燃/*初始社標(biāo)記物為僅浮有MG窮P中的紗條件c1一個(gè)咸元素騰的集晃合*/EN吊D.像/*殖En帶d秩of桂S旅DD燒M價(jià)sa率mp頁(yè)le靜1SD歪DM盛L程序基于SD派DM刻L的過(guò)榮程建諷模方疊法PR賽OC窯ED觸UR僻E核P兩ro鉤ce準(zhǔn)ss故_M珠od候el籠in浙g;PR淋OC竭ED篩UR肝E訂P德ro架ce枯ss頃_R既ef銷in悼in劑g(路p:靈p穩(wěn)ro婆ce頂ss屋;號(hào)i:站i辯nt喉eg嘩er雄);BE時(shí)GI戴N在p所應(yīng)灰該涉賺及的摧范圍集內(nèi)標(biāo)盆識(shí)第i層角哀色，棚這些曉角色任構(gòu)成壞集合Ri;分析Ri中角觀色所爛處理巴的廣田義數(shù)櫻據(jù)結(jié)信構(gòu)、僵活動(dòng)鋸、任塘務(wù)及鄙它們償與外比界的膏聯(lián)系腰（消板息）;根據(jù)Ri中角倡色所退處理痛的內(nèi)崖容用SD膜DM宅L定義串活動(dòng)址（每伴一個(gè)專角色宋定義腐一個(gè)窗活動(dòng)派）;分析Ri中角怕色所傾實(shí)施草的活睛動(dòng)之胞間的禍關(guān)系;根據(jù)Ri中角于色所愉實(shí)施擋的活圖動(dòng)及夕它們絡(luò)之間宵的關(guān)逝系用SD贏DM策L定義挑軟件天過(guò)程p;IF心i加<>白0條TH案EN驗(yàn)證談軟件秤過(guò)程p同第i-豬1層軟堤件過(guò)圣程之捎間的海一致徹性;IF軟件廁過(guò)程p中還構(gòu)有需打要細(xì)逐化的撒活動(dòng)TH插ENBE乏GI蹄N將每皇一個(gè)面需要怒細(xì)化壓的活法動(dòng)標(biāo)漿識(shí)為爪一個(gè)累軟件刮過(guò)程浴，這譽(yù)些軟沿件過(guò)鴨程構(gòu)區(qū)成集盲合Si;FO冒RSi中的星每一蝕個(gè)軟暮件過(guò)志程pi燙DOPr兩oc觀es習(xí)s_蒼Re厲fi伴ni拆ng救(p蓄i,質(zhì)i莫+1攀)EN免D;利用怕繼承物機(jī)制域定義謀細(xì)化鍵后的局系統(tǒng)渣動(dòng)態(tài)訴開(kāi)發(fā)禍模型屑，用熟以說(shuō)洽明第i-陸1層中斬需細(xì)僚化的猴活動(dòng)選在第i層中吉已被增軟件筐過(guò)程p所替峽代EN雙D;糞/丈*E膜nd留o扒f仿Pr滔oc自es錫s_母Re精fi幸ni宏ng根*/BE敘GI抵N標(biāo)識(shí)線構(gòu)成武軟件終過(guò)程稈模型皮的諸樓軟件臥過(guò)程遍，這繞些軟耐件過(guò)華程構(gòu)鴿成集撤合S;確定S中軟笑件過(guò)塘程之淹間的俱優(yōu)先耐關(guān)系;根據(jù)S中軟療件過(guò)容程及翅它們察之間拍的優(yōu)爐先關(guān)榮系，堅(jiān)用SD盡DM膛L定義桑系統(tǒng)湊動(dòng)態(tài)縣開(kāi)發(fā)芹模型;FO到R啦S中的舅每一械個(gè)軟芒件過(guò)封程p’例DOPr墳oc念es洋s_鋪Re挺fi習(xí)ni糧ng蹄(p從’,液0捉)EN笛D;倉(cāng)/竭*E均nd網(wǎng)o決f慨Pr雞oc獅es極s_夠Mo閘de縫li跑ng蜘*/基于Pe唱tr捕i網(wǎng)、壯嚴(yán)格授形式督化，陰可以途精確好地描卷述并翠行的借軟件原過(guò)程皮和軟逆件過(guò)蠢程內(nèi)典部的幣并行聰成分畫(huà)。層次搭化，份可用誼來(lái)構(gòu)崖造不壞同抽鄙象級(jí)研的軟糞件過(guò)硬程，誕可通娃過(guò)實(shí)環(huán)際的彩執(zhí)行肅來(lái)驗(yàn)盆證不巖同抽更象級(jí)栽的軟鋒件過(guò)儉程模咽型的裂一致有性?？梢再澩诰蛴衍浖み^(guò)程糧內(nèi)部桌的并線行性壤，延尊拓局胃部的殲并行歷性到來(lái)全局跨，提蜻高了阿軟件孫過(guò)程院的并嗎行度們。SD釘DM娛和S棋DD齊ML相關(guān)類型定義：活動(dòng)相關(guān)圖是一個(gè)三元組ARG=<V，D，R>。V≠Φ，為活動(dòng)節(jié)點(diǎn)集，其中元素稱為活動(dòng)。DV×V，為有向邊集，其中元素稱為有向邊。R：D→{δ，δ，δo，δc}，稱為相關(guān)函數(shù)。定義：活動(dòng)A的輸入數(shù)據(jù)集記為input(A)，輸出數(shù)據(jù)集記為output(A)。除input(A)和output(A)外，其它數(shù)據(jù)均認(rèn)為局部于活動(dòng)A。相關(guān)柄類型定義：在活動(dòng)相關(guān)圖ARG=<V，D，R>中，對(duì)A1，A2∈V，A1在A2之前進(jìn)行：（1）若output(A1)∩input(A2)≠Φ，則稱A1正相關(guān)于A2，記為A1δA2，δ為正相關(guān)類型。（2）若output(A2)∩input(A1)≠Φ，則稱A1反相關(guān)于A2，記為A1δA2，為反相關(guān)類型。（3）若output(A1)∩output(A2)≠Φ，則稱A1輸出相關(guān)于A2，記為A1δoA2，δo為輸出相關(guān)類型。定義：在活動(dòng)相關(guān)圖ARG=<V，D，R>中，對(duì)A1，A2∈V，若A2進(jìn)行與否取決于A1的進(jìn)行結(jié)果，則稱A1控制相關(guān)于A2，記為A1δcA2，δc為控制相關(guān)類型。構(gòu)造習(xí)活動(dòng)依相關(guān)爆圖算法(構(gòu)造潑活動(dòng)配相關(guān)辣圖AR咸G)輸入鑄：活諷動(dòng)集E=養(yǎng){A1，A2，…，An}；in攏pu館t(但Ai)，ou債tp念ut籍(Ai)油(i訂=1，2，…，n)；順序烤關(guān)系S=傘{<攔Ai，Aj>|夠Ai在Aj之前念進(jìn)行}；控景制關(guān)執(zhí)系C=禽{<張Ai，Aj>|縱Ai決定Aj是否蒸進(jìn)行}。輸出徐：活菠動(dòng)相辜關(guān)圖AR子G=旁<V，D，R>。BE軋GI慨NV:晃=E腳;畫(huà)D:學(xué)=Φ晃;案R:哄=訴Φ;FO均R禾i:流=1萌T橋O性n鞠DOFO聞R批j:粘=1艇T企O系n請(qǐng)DOBE奮GI爛NIF褲<夏Ai，Aj>∈狼S孔TH演ENBE固GI杯NIFou留tp乘ut咸(Ai)∩樸in這pu臟t(席Aj)≠熟ΦTH纖ENBE掉GI曠N私D:嗚=D警∪{俊(Ai，Aj)}籠;倆R:氏=R纏∪{拔<(儲(chǔ)Ai，Aj)，δ>芒}普EN幼D;IFou位tp柱ut氣(Aj)∩年in起pu產(chǎn)t(膏Ai)≠面ΦTH費(fèi)ENBE券GI匆N欲D:牌=D竭∪{浴(Ai，Aj)}拳;館R:劃=R展∪{嗎<(獨(dú)Ai，Aj)，δ粥>}論E擁ND姜;IFou班tp紗ut待(Ai)∩光ou頂tp蜓ut轟(Aj)≠航ΦTH錘ENBE央GI窄N葵D:丸=D聚∪{怕(Ai，Aj)}稱;冬R:鈴=R趕∪{封<(制Ai，Aj)，δo>}勇E談NDEN嫂D;IF妥<騙Ai，Aj>∈驚C紛TH迷ENBE被GI偏N那D:丸=D獎(jiǎng)∪{絹(Ai，Aj)}漿;丑R:剖=R泡∪{端<(籌Ai，Aj)，δc>}稠E繭NDEN殿DEN熄D.構(gòu)造患軟件嘉過(guò)程稱模型算法(構(gòu)造丙軟件億過(guò)程喉模型P)輸入村：活趁動(dòng)相剛關(guān)圖AR糠G=峰<V，D，R>。輸出疼：軟始件過(guò)布程模掌型P=賓<C，E，F(xiàn)，M>。BE稅GI卻NE:援=V贈(zèng);阻C:蘆=Φ津;熔F:苗=Φ輔;紋M:隙=Φ輛;FO鍛R撓i:暑=1醋T部O睡n零DO量/*于n為V、E中的勞節(jié)點(diǎn)趟數(shù)*/FO偶R作j:睜=1秧T嫩O谷n磨DOBE呈GI絹NIF換(筆(Vi，Vj)∈之D)告∧(換R(喝Vi，Vj)銷≠δc)孤TH藏EN尺/*噴Vi，Vj∈V且Vi，Vj∈E*/BE寸GI敘N茫C:孤=C∪某{Cij};臨F山:=復(fù)F∪險(xiǎn){(筋Vi，Cij)，(Cij，Vj)}蝕E周ND綿;IF揀(斧(Vi，Vj)∈升D)神∧(講R(找Vi，Vj)和=δc)昨TH損ENBE腫GI仇N節(jié)C:叉=C∪肚{Ci};抓F創(chuàng):=源F∪瘦{(護(hù)Vi，Ci)，(Ci，Vj)}姻E孟NDEN余D;FO貼R剛i:累=1奮T勇O石n易DOBE亡GI穴NIF款Vi·=Ф退T既HE妹NBE殊GI野N亭C:周=C∪積{Ci”}卷;但F:旁=F繩∪{凍(Vi，Ci”)蓬}附EN辯D;IF·Vi=Ф診T魯HE知NBE殊GI坐N效C:系=C∪座{Ci’}享;嘆F:攪=F∪群{(款Ci’，Vi)}油;偉M:歷=M∪只{Ci’}巷E不NDEN崖DEN是D.并行訂性挖榜掘rr(a)A1A2(b)V1V2分解活動(dòng)前后的活動(dòng)相關(guān)圖V3V4V5V6活動(dòng)予相關(guān)掌圖構(gòu)姑造的嫩軟件霞過(guò)程栽模型C23C12C45C25C1’●V1V2V3C3”C4’●V4V5V6C56C6”C4C1’C51”C3”C23●A1A2A4A3A5A6活動(dòng)相關(guān)圖構(gòu)造的軟件過(guò)程模型C12C14C6”cc/oA1A2A3A4A5A6活動(dòng)相關(guān)圖活動(dòng)五并行南化算法（將回活動(dòng)A并行絮化）輸入蛋：活瓦動(dòng)A，A的前烈流FI裕RS被T(則A)，A的后棟流FO莊LL河OW浴(A殼)。輸出隸：軟犧件過(guò)甘程模茅型P=貞<C，E，F(xiàn)>。BE哲GI言N構(gòu)造A中任徹務(wù)的暗相關(guān)乖圖TR奧G；由TR受G構(gòu)造A中任局務(wù)的慚相關(guān)東關(guān)系R；構(gòu)造A的任悉務(wù)集言合T關(guān)于R的商互集T/旦R,得劃沉分塊掌的集偷合{T翁b1，Tb2，…，Tbn}；將每甜一個(gè)莖劃分紡塊定蠶義為愉一個(gè)橫新活姑動(dòng)，亦新活立動(dòng)中旗不改蛇變?cè)瓟z任務(wù)衡進(jìn)行援的順衛(wèi)序，何得活凍動(dòng)集Ab={賠A1，A2，…，An}；/*Ab中每形一個(gè)竊元素壟為一露個(gè)任巴務(wù)序閘列*/E:把=Ab孕∪{絡(luò)A’，A”鳳}；F:胞=Φ；C:笑={磁C1’，C2’，…，Cn’，C1”，C2”，…，Cn”}；FO堵R購(gòu)i:惰=1鑰T收O債n聽(tīng)DOF:錄=F誓∪{糞(A坑’，Ci’)，(Ci”，A”持)，(Ci’，Ai)，(Ai，Ci”)激}；F:墨=F鹿∪F貧IR料ST懼(A區(qū)’/弓A)抬∪F街OL育LO浸W(銀A”辣/A蝦)EN的D.(a)C’ABA’A1A2AnC’A”B’B1B2BmB”(b)活動(dòng)非并行嬌化劃分膨塊之資間的游相關(guān)絡(luò)關(guān)系眾判別算法溜（劃糾分塊唯之間訪的相潮關(guān)關(guān)扮系判躬?jiǎng)e）輸入向：活此動(dòng)集A=雪{A1，A2，…，An}，A的同廣步關(guān)拒系RA，活動(dòng)Ai的輸攤?cè)搿⒂X(jué)輸出階數(shù)據(jù)爐集in販pu治t(醋Ai)、ou猶tp襲ut花(Ai)梅(i現(xiàn)=1，2，…，n)；活動(dòng)閘集B=漿{B1，B2，…，Bm}，B的同互步關(guān)廉系RB，活動(dòng)Bj的輸殘入、銅輸出渡數(shù)據(jù)譜集in劉pu膝t(委Bj)、ou把tp覆ut謹(jǐn)(Bj)越(j緞=1，2，…，m)。輸出浩：表炭明劃駱?lè)謮K干之間吧是否驢相關(guān)誘的二津維數(shù)苗組AB，劃分Ab，Bb。BE愧GI境N構(gòu)造A關(guān)于RA的商鋒集A/乘RA，得劃蜜分Ab={旨Ab1，Ab2，…，Abs}；構(gòu)造B關(guān)于RB的商斷集B/鄉(xiāng)豐RB，得劃杰分Bb參={憤Bb1，Bb2，…，Bbt}；AB掌[1島..印s，1.段.t秀]:允=f士al釀se；FO共R碎i:瘋=1濟(jì)T芽O汗s置DOFO護(hù)R諷j:周=1罵T浩O硬t談DOFO催R蛋i’丈:=烘1科TOsiDO萬(wàn)/異*塊Abi中有si個(gè)活譯動(dòng)*/FO澡R導(dǎo)j’天:=掠1網(wǎng)TOtjDO議/臘*塊Bbj中有tj個(gè)活社動(dòng)*/BE蓮GI跨N判別Abii’，Bbjj’之間宏的相道關(guān)關(guān)衣系；/*Abii廢’∈A暗bi，Bbjj貍’∈B賄bj*/IFAbii’與Bbjj’相關(guān)TH跡EN蛋A著B(niǎo)[決i，j]怎:=感tr脆ueEN剃DEN公D.算法嬸（并邁行性究延拓懷）輸入飯：軟允件過(guò)部程模姿型~P用=<圓~C森,~隆E,序~糊F>；活動(dòng)盒集A=荷{A1，A2，…，An}，A的同護(hù)步關(guān)紐奉系RA，活動(dòng)Ai的輸踏入、閉輸出捆數(shù)據(jù)壇集in丈pu辯t(辰Ai)、ou壞tp掙ut稍(Ai)顛(i脹=1，2，…，n)；活動(dòng)慮集B=掩{B1，B2，…，Bm}，B的同貿(mào)步關(guān)歇系RB，活動(dòng)Bj的輸宇入、榜輸出隸數(shù)據(jù)它集in乎pu競(jìng)t(關(guān)Bj)、ou乓tp宮ut補(bǔ)(Bj)價(jià)(j槍=1，2，…，m)。輸出毫：延絹拓中麻并行滿性后炕得到話的新挽軟件閉過(guò)程歌模型P=減<C，E，F(xiàn)>。BE董GI顯NCA遲LL劃分類塊之鞏間的視相關(guān)蘭關(guān)系僻判別抬算法才獲得貢布爾盯數(shù)組AB及劃胸分Ab，Bb；E:結(jié)=~避E-央{A啄”，B’宣}；C:塑=~披C-雀{C籠’}；F:惱=~掘F-晚FI沒(méi)RS半T(里A”蓬)-天FI肅RS防T(支B’謠)-迫FO應(yīng)LL息OW志(A崇”)懂-F默OL稻LO炒W(亂B’該)；FO穗R氣i:飯=1駁T爬O孔s恐DO軌/泉*Ab中有s個(gè)劃啊分塊益*/BE雄GI像NFO桐R抱j:柳=1裝T殺O溝t遭DO視/愿*B突b中有t個(gè)劃賊分塊宗*/IF冒A蹈B[哨i，j]融T餅HE越NBE附GI嘗NE:斃=E∪告{Bj’，Ai”}；C:載=C∪致{Cij}；FO置R曬j’館:=杰1墨TOtjDO蒙/*塊Bbj中有tj個(gè)活吉?jiǎng)樱築j1，Bj2，…*兆/F:跨=F∪檔{(酬Bj’，F(xiàn)Cjj’)}；/*FCjj’為指蘭向Bjj’的條飲件*/F:捷=F殃∪{盒(Ai”，Cij)，(Cij，Bj’)握}；FO把R姥i’趟:=考1蘆TOsiDO紙/*塊Abi中有si個(gè)活眠動(dòng)：Ai1，Ai2，…*飛/F:稀=F∪律{(均LCii’，Ai”)次}谷/籠*LCii’表示Aii’所指留向的畫(huà)條件浮*/EN仆D;IF全A集B第i行均辟為fa床ls貨e鋪TH棉EN鋼/*Ab第i塊不匯同Bb中任袍何一拿塊有肉相關(guān)懼關(guān)系鏈*/FO禾R懶i’越:=由1加TOsiDOF:圖=F∪沿{(露LCii’，B”努)}EN鹿D;FO冰R由j:繁=1虜T跟O呢t毯DOIF資A阻B第j列均柴為fa竄ls劇e罩TH凍EN鬼/驅(qū)*Ab中不販存在匯任何按一塊吊與Bb中第j塊有鉛相關(guān)纏關(guān)系成*/FO椒R棟j’緊:=撤1綱TOtjDOF:逃=F先∪{紋(A宇’，F(xiàn)Cjj’)}EN估D.A’A21A22A2bA2”B2’B21B22B2dB”A11A12A1aA1”B1’B11B12B1cAk1Ak2AkjAk”Bk’Bk1Bk2Bkm并行箱性延姐拓并行吵控制迅模型CC莊M定義師：∑=(或S，T，F(xiàn)，C)稱為捐一個(gè)CC筑M模型鋸，如銀果：(1寧)以(S，T，F(xiàn))是一鳳個(gè)