BPMN控制流可配置建模技術(shù)的研究.pdf

1、過(guò)程參考模型可以一定程度的解決某一特定領(lǐng)域的業(yè)務(wù)過(guò)程復(fù)用問(wèn)題，但是其模型大而臃腫，使其在人工剪裁方面花費(fèi)的成本較高，且過(guò)程模型圖元浪費(fèi)明顯?？膳渲媚Ｐ褪窃谶^(guò)程參考模型的基礎(chǔ)上提出的，可以有效提高過(guò)程模型的復(fù)用效率的解決方案。本文旨在從元元模型角度抽象出一個(gè)基于BPMN(業(yè)務(wù)過(guò)程建模標(biāo)注)語(yǔ)言的可配置過(guò)程模型語(yǔ)言。
　　本文的研究從語(yǔ)言的三個(gè)緯度出發(fā)，時(shí)間緯度、空間緯度、環(huán)境緯度進(jìn)行BPMN語(yǔ)言的可配置擴(kuò)展。其中本文將著重于時(shí)間緯度

2、和空間緯度的研究即BPMN語(yǔ)言的控制流核心圖元。本文研究方法采用形式化定義的方法，將BPMN語(yǔ)言完全形式化，并依照其控制流核心圖元的執(zhí)行語(yǔ)義，將其擴(kuò)展為C-BPMN語(yǔ)言。
　　BPMN語(yǔ)言是當(dāng)前業(yè)務(wù)流程建模的標(biāo)準(zhǔn)和在實(shí)踐中被廣泛采用的主流語(yǔ)言，但是它缺乏可配置建模能力。在本文中，基于控制流視角提出了一個(gè)支持可配置的BPMN過(guò)程模型。論文使用可配置工作流網(wǎng)為理論基礎(chǔ)，對(duì)BPMN語(yǔ)言的行為語(yǔ)義進(jìn)行可配置擴(kuò)展，并得到其正確性驗(yàn)證條件，及