業(yè)務(wù)過程軟件的模型驅(qū)動(dòng)開發(fā)技術(shù)研究.pdf

1、復(fù)雜多變的業(yè)務(wù)需求已經(jīng)使軟件開發(fā)面臨巨大困難，當(dāng)對(duì)象管理組織提出用模型驅(qū)動(dòng)體系結(jié)構(gòu)（Model-Driven Architecture，MDA）來解決這一難題后，模型驅(qū)動(dòng)的軟件開發(fā)就成了軟件工程領(lǐng)域的研究熱點(diǎn)。模型驅(qū)動(dòng)開發(fā)涉及的關(guān)鍵技術(shù)有計(jì)算獨(dú)立模型（Computation Independent Model，CIM）、平臺(tái)無關(guān)模型（Platform Independent Model，PIM）、平臺(tái)特定模型（Platform Spec

2、ific Model，PSM）以及模型到模型的自動(dòng)轉(zhuǎn)換等。
　　在業(yè)務(wù)過程建模領(lǐng)域，計(jì)算獨(dú)立模型可以采用標(biāo)準(zhǔn)業(yè)務(wù)過程建模符號(hào)（Business Process Modeling Notation，BPMN）來設(shè)計(jì)，并以過程定義可擴(kuò)展標(biāo)記語言（XML Process Definition Language，XPDL）的格式保存，以便不同的網(wǎng)絡(luò)應(yīng)用環(huán)境都可以使用共同的文件格式。平臺(tái)特定模型可以使用工作流基礎(chǔ)（Workflow Foun

3、dation，WF）4來設(shè)計(jì)。本文深入細(xì)致地研究了相關(guān)的模型檢查和轉(zhuǎn)換方法，取得的創(chuàng)新和成果主要有：
　　1．為解決業(yè)務(wù)過程模型的形式化檢查的問題，將采用標(biāo)準(zhǔn)業(yè)務(wù)過程建模符號(hào)的業(yè)務(wù)過程模型轉(zhuǎn)換為Petri網(wǎng)，構(gòu)造出一種可建模企業(yè)間復(fù)雜業(yè)務(wù)協(xié)同的業(yè)務(wù)過程流網(wǎng)（Business Process Flow net，BPF-net），并開發(fā)了一種具有通用性的業(yè)務(wù)過程模型轉(zhuǎn)換和檢查工具。采用業(yè)務(wù)過程流網(wǎng)對(duì)供應(yīng)鏈中企業(yè)間采購訂單過程進(jìn)行了建模

4、。實(shí)驗(yàn)結(jié)果表明，業(yè)務(wù)過程流網(wǎng)能將符合 XPDL規(guī)范的業(yè)務(wù)模型完整地轉(zhuǎn)換為Petri網(wǎng)，得到的Petri網(wǎng)易于化簡和分析。
　　2．為了能將XPDL模型直接轉(zhuǎn)換為WF4中的流程圖，本文研究了業(yè)務(wù)過程模型結(jié)構(gòu)的檢查方法。對(duì)典型的結(jié)構(gòu)不良情形提出了相應(yīng)的修改建議，當(dāng)業(yè)務(wù)過程模型不是結(jié)構(gòu)良好時(shí)可以采用這些建議進(jìn)行修改。實(shí)驗(yàn)表明，這些修改建議有助于提高業(yè)務(wù)過程模型的質(zhì)量。
　　3．設(shè)計(jì)了將業(yè)務(wù)過程模型中的時(shí)鐘事件轉(zhuǎn)換到WF4活動(dòng)的方法