【文章內(nèi)容簡介】 并且還遠沒有達到我們想要的功能針對以上問題 我們基于軟件過程的特點以及迄今為止軟件工程領(lǐng)域的一些研究成果 提出了一種軟件過程仿真語言 SPSL 以及基于 SPSL 的軟件過程建模仿真平臺 與傳統(tǒng)的軟件過程建模方法相比 用 SPSL 建立的模型可以從組織流程制品等多角度描述軟件過程從而更加準確和有效地控制軟件開發(fā)過程而基于 SPSL 的仿真平臺能夠?qū)τ?SPSL 所建模型進行仿真可進一步對建模的執(zhí)行效果進行觀察和改進 該平臺還有很大的繼續(xù)改進和優(yōu)化的余地 并且可以在此基礎(chǔ)上進行進一步的擴展國內(nèi)外研究進展軟件過程仿真平臺的基礎(chǔ)是軟件過程元模型 目前 國內(nèi)外幾乎還沒有針對軟件過程的元模型規(guī)范在工作流領(lǐng)域有一些主流的工作流元模型如下WfMC 的工作流元模型WfMC 的元模型確定了基本的對象類型集 允許不同工作流管理系統(tǒng)間進行過程定義轉(zhuǎn)換 該元模型是一個基于活動的元模型 一個工作流過程由許多實用工作流相關(guān)數(shù)據(jù)的活動組成 活動間的轉(zhuǎn)移通過相關(guān)的轉(zhuǎn)移信息來實現(xiàn) 轉(zhuǎn)移信息可能涉及到活動間傳遞和產(chǎn)生工作流相關(guān)數(shù)據(jù) 活動可能調(diào)用工作流應(yīng)用 也?。。保薄。∩虾＝煌ù髮W(xué)計算機應(yīng)用碩士學(xué)位論文可能調(diào)用一個子過程為了避免通用數(shù)據(jù)實體和屬性的重復(fù)定義基于 XML 的軟件過程建模及仿真平臺　WfMC 提出了包元模型的概念在工作流模型中 包就像一個容器 多個過程定義被捆綁到一起 通用的數(shù)據(jù)實體只需定義一次WIDEWIDE 是西班牙 意大利 荷蘭等國的不同單位合作開發(fā)的工作流管理系統(tǒng)主要利用分布式數(shù)據(jù)庫和活動數(shù)據(jù)庫技術(shù)來實現(xiàn)工作流管理 它的工作模型包括組織模型 信息模型和過程模型 支持組織建模 復(fù)雜活動約束分配 動態(tài)流程控制復(fù)雜過程結(jié)構(gòu)以及工作流事務(wù)處理WIDE 是對 WfMC 參考模型的擴展WIDE 過程元模型是基于任務(wù)的每個任務(wù)由任務(wù)開始條件行為任務(wù)結(jié)束條件 角色約束和異常處理組成 WIDE 元模型提供表示任務(wù)控制序列的連接器 包括全分叉 全連接 條件分叉作流表示為 3 級工作流模型WIDE 對于異常處理做了充分研究處理方法WAMO部分連接 WIDE 將任務(wù) 超級任務(wù)和工它使用主動規(guī)則技術(shù)來描述異常情況和WAMO 工作流由多個活動數(shù)據(jù)對象和代理組成活動說明了企業(yè)過程中的工作單元 數(shù)據(jù)對象表示活動間交換的信息 代理表示執(zhí)行活動的人或計算機系統(tǒng)WAMO 元模型除了提供傳統(tǒng)的建模特征之外還具有事務(wù)處理的功能其另一個主要優(yōu)點是提供了意外處理機制WAMO 通過使子過程表示的復(fù)雜活動支持工作流分級一個活動可以同時參與幾個活動特別是同過幾次參與另一個活動來提高重用性WAMO 提供的控制結(jié)構(gòu)包括順序 并行 嵌套 有序選擇和自由選擇 不能再分解的活動叫做任務(wù)任務(wù)是工作流內(nèi)部最終執(zhí)行真實工作的黑盒Action WorkflowAction Workflow 是一個基于通訊的元模型 基于活動的元模型將工作流看作任務(wù)間的信息流動而 Action Workflow 則將任務(wù)定義為循環(huán)中的請求和執(zhí)行每個任務(wù)被當(dāng)作一個閉合的循環(huán) 它由 4 個階段組成 即提議 磋商 執(zhí)行和滿意 模型中存在兩個特殊的角色 即消費者和執(zhí)行者 企業(yè)過程被看作兩個特殊角色間的對話在 Action Workflow 元模型中工作流結(jié)構(gòu)通過人們的語言行為來定義過程模型的基本部分是對話或工作流主要工作流通過鏈接機制被連接到次要工作流 Act 根據(jù)不同的階段執(zhí)行相應(yīng)的行為 每種行為都可能轉(zhuǎn)變工作流狀態(tài)以上這些都是基于工作流的引擎 目前為止我們還沒有看到真正針對軟件過程需求而制定的規(guī)范 作為軟件工程如此之大的一個研究領(lǐng)域 這不得不說是一個非常薄弱的環(huán)節(jié)　－?。保病。∩虾＝煌ù髮W(xué)計算機應(yīng)用碩士學(xué)位論文基于 XML 的軟件過程建模及仿真平臺　項目概述本課題嘗試解決了以下幾個問題基于以上幾點現(xiàn)有的工作流建模和仿真平臺無法滿足軟件過程研究的需要 所以 我們提出了一種軟件過程仿真語言 SPSL 以及基于 SPSL 的軟件過程建模仿真平臺首先 構(gòu)建了比較完整的軟件過程元模型 元模型的研究大多是集中在某一個特定的領(lǐng)域 對于元模型的建模 我們提出了軟件工程的三視圖模型定義方法從組織過程產(chǎn)品三個不同的角度來描述軟件過程見圖 21其次在此元模型的基礎(chǔ)上提出了軟件過程建模語言 SPSL 作為一種軟件過程描述語言SPSL 結(jié)合了仿真系統(tǒng)的需求將仿真模型拆分成幾個不同的層面 覆蓋了過程定義 企業(yè)級數(shù)據(jù)及仿真結(jié)果等幾個部分 分別予以定義 具備良好的擴展性能最后開發(fā)了基于 SPSL 的軟件過程仿真環(huán)境基于 SPSL 語言的仿真環(huán)境的建立 使軟件工程研究者和企業(yè)軟件過程改進組的成員能夠擁有一個仿真平臺支持建模擴展和軟件過程運行的分析和改進計算無關(guān)模型測試過程模型業(yè)務(wù)關(guān)系開發(fā)過程模型業(yè)務(wù)關(guān)系管理過程模型平臺無關(guān)模型測試過程設(shè)計模型元數(shù)據(jù)開發(fā)過程設(shè)計模型元數(shù)據(jù)管理過程設(shè)計模型平臺相關(guān)模型基于 XML 的測試過程模型元數(shù)據(jù)基于 XML 的開發(fā)過程模型元數(shù)據(jù)基于 XML 的管理過程模型圖 21 SPSL 軟件過程概念結(jié)構(gòu)Diagram 21 Software Process Concept Structure該模型建立在若干個實踐項目和工作流元模型和領(lǐng)域工程理論的基礎(chǔ)上 過程模型具有廣泛的適用性 本文在后面的幾章中將對此平臺的建模與實現(xiàn)以及在該平臺上可以進行的仿真和研究活動進行了充分地探討 該平臺尚有很大的繼續(xù)改進和優(yōu)化的余地 并且可以在此基礎(chǔ)上進行進一步的擴展 希望能有更多的人共同參與研究　－?。保场。∩虾＝煌ù髮W(xué)計算機應(yīng)用碩士學(xué)位論文基于 XML 的軟件過程建模及仿真平臺　第三章　基于元模型的建模方法元模型的概念 元模型規(guī)范對軟件過程仿真的開發(fā) 首先要解決各子系統(tǒng)模型的集成問題 這就需要管理各種不同類型和結(jié)構(gòu)的數(shù)據(jù) 不同領(lǐng)域的仿真應(yīng)用是為了某一特定目的而開發(fā)的 一旦建成 常常不能用于其它的環(huán)境中 隨著時間的積累 用于特定的目的仿真模型不斷增加當(dāng)已經(jīng)存在的模型對于新的應(yīng)用程序來說不是非常完美時就需要花費大量的金錢用于創(chuàng)建新的模型 利用元模型技術(shù)進行軟件過程仿真的建模 利用元數(shù)據(jù)對不同類型的數(shù)據(jù)進行管理 可以在比各不同領(lǐng)域模型更高的層次上對模型進行分析和研究我們要研究軟件過程仿真平臺中模型的集成問題 就需要對各領(lǐng)域的模型進行分析 解決它們之間的集成和互操作問題 本文中基于元模型的軟件過程仿真建模方法的特點主要有l(wèi)基于 MOF 規(guī)范由于 MOF 規(guī)范是 OMG 組織為了幫助銷售商開發(fā)者和用戶更好的使用元模型和元數(shù)據(jù)技術(shù)而制定的 因此符合 MOF 規(guī)范的元模型具有開放性擴展性和互操作性MOF 規(guī)范對應(yīng)著一個 MOF model 它實際上是一個元元模型meta meta model它定義了描述元模型的語言雖然 MOF model 是一個強大的描述大量的信息模型的建模語言但是它不是最終的建模語言 人們使用 MOF 只是把它作為一個規(guī)范和工具去設(shè)計和實現(xiàn)更優(yōu)秀的元模型建模系統(tǒng)l基于 XMI 規(guī)范現(xiàn)在將 MOF 產(chǎn)生的元模型映射到實際的模型中有兩種標(biāo)準 IDL 映射(IDL Mapping)和 XMI 映射(XMI Mapping) 在我們的基于 MOF的開發(fā)系統(tǒng)使用 XMI 映射首先用 XML DTD 來描述元模型然后根據(jù)XMI 規(guī)范生成使用 XML 語言描述的軟件過程的系統(tǒng)模型ll構(gòu)成軟件過程的各子系統(tǒng)之間的互操作是通過信息交換來實現(xiàn)的 首先確定信息交換的方式 對這些信息進行分析研究 收集整理這些信息對應(yīng)的所有的元數(shù)據(jù)和它們之間的元關(guān)系 將這些元數(shù)據(jù)封裝成元類 同時分析構(gòu)成元類的元屬性很難找到一個嚴格意義上的符合所有軟件過程的元模型 而且由于軟件過程的新概念不斷增加 通常是不可能有這樣一個元模型的 元模型一般是在特定的領(lǐng)域內(nèi)能夠描述該領(lǐng)域內(nèi)的全部信息 而且元模型的產(chǎn)生過程不是一磋而就的 因此 在軟件過程仿真的開發(fā)過程中 不可能一開始就確定一個軟件過程的元模型 最初的元模型往往是很抽象的 只能描述系統(tǒng)的部分信息元數(shù)據(jù)以及它們之間的關(guān)系 但是針對相對特定的復(fù)雜仿真系統(tǒng) 通過不斷反復(fù)分析研究的過程 盡可能的抽象出軟件過程中所有的模型數(shù)據(jù)的共同概念 得到系統(tǒng)的元數(shù)據(jù)和它們之間的語義以及語法依賴 從而實現(xiàn)這個?。。保础。∩虾＝煌ù髮W(xué)計算機應(yīng)用碩士學(xué)位論文基于 XML 的軟件過程建模及仿真平臺　軟件過程仿真的元模型仿真平臺中的集成首先要解決的問題就是模型集成問題 基于元模型的建模技術(shù) 可以使子系統(tǒng)模型在比模型更高的層次上進行集成 在這一章中 我們首先介紹基于元模型的建模方法 并且將這種建模技術(shù)用于軟件過程的建模中 然后給出了軟件過程仿真平臺中元模型建模方法的實現(xiàn)方案 在文章的最后 通過一個原型系統(tǒng)的實現(xiàn)對這種實現(xiàn)方案的進行了驗證元模型是關(guān)于模型的模型 是關(guān)于如何建立模型 模型的語義或模型之間如何集成和互操作等信息的描述 是對某一特定領(lǐng)域建模環(huán)境的規(guī)范定義 它定義了該領(lǐng)域的語法和語義 能夠表示該領(lǐng)域內(nèi)的所有或全部系統(tǒng) 元模型比模型的抽象程度高因此能夠較好地解決模型集成中的問題同理元元模型(Metametamodel)是對給定元模型建模環(huán)境中的語法和語義的規(guī)范定義元模型建模Metamodeling 是一種創(chuàng)建元模型的活動它和一般的建模很相似 都是對特定信息和對象建立模型 但它們是針對于不同特性的建模 元模型建模是系統(tǒng)化的建模技術(shù) 是對系統(tǒng)高層次上的抽象 這種模型的抽象技術(shù)是一種減少仿真模型的復(fù)雜性而保持仿真結(jié)果有效性的方法 元模型建模是一種模型集成化的工程分析方法 它允許在特定領(lǐng)域內(nèi)創(chuàng)建多種模型的集成集合 這種集合也就是元模型Metamodel為了更好的將元數(shù)據(jù)和元模型技術(shù)用于實際的系統(tǒng)建模方法中 對象管理組織