業(yè)務過程軟件的模型驅動開發(fā)技術研究.pdf

1、復雜多變的業(yè)務需求已經使軟件開發(fā)面臨巨大困難，當對象管理組織提出用模型驅動體系結構（Model-Driven Architecture，MDA）來解決這一難題后，模型驅動的軟件開發(fā)就成了軟件工程領域的研究熱點。模型驅動開發(fā)涉及的關鍵技術有計算獨立模型（Computation Independent Model，CIM）、平臺無關模型（Platform Independent Model，PIM）、平臺特定模型（Platform Spec

2、ific Model，PSM）以及模型到模型的自動轉換等。
　　在業(yè)務過程建模領域，計算獨立模型可以采用標準業(yè)務過程建模符號（Business Process Modeling Notation，BPMN）來設計，并以過程定義可擴展標記語言（XML Process Definition Language，XPDL）的格式保存，以便不同的網絡應用環(huán)境都可以使用共同的文件格式。平臺特定模型可以使用工作流基礎（Workflow Foun

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

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