基于SOFL的業(yè)務(wù)流程分析技術(shù)研究.pdf

1、隨著Web服務(wù)技術(shù)的興起，為了在企業(yè)級(jí)構(gòu)建合適的基于SOA的應(yīng)用系統(tǒng)，如何正確的Web服務(wù)組合和驗(yàn)證成為業(yè)務(wù)流程建模的關(guān)鍵的步驟。在業(yè)務(wù)流程建模中，Web服務(wù)組合驗(yàn)證能夠提前發(fā)現(xiàn)Web服務(wù)組合中存在的問(wèn)題，以確保正確可用的服務(wù)組合投入使用，從而提高服務(wù)組合執(zhí)行的成功率和用戶滿意度。因此，如何有效的對(duì)業(yè)務(wù)流程分析和設(shè)計(jì)成為當(dāng)今研究的熱點(diǎn)。由于SOFL的形式化方法可以為我們提供一種比較嚴(yán)謹(jǐn)卻又不失工程性的方法，因此在本文中采用該方法來(lái)描述工

2、作流，工作流的實(shí)現(xiàn)是由服務(wù)的組合來(lái)完成的，對(duì)于服務(wù)的功能性需求選擇，重要的在于驗(yàn)證組合出的服務(wù)是否符合用戶的需求，假如設(shè)計(jì)出的工作流是可驗(yàn)證的，那么就可判斷出組合出的服務(wù)是否與需求相一致。
　　本文在描述工作流方面摒棄了以往設(shè)計(jì)工作流采用一種特定的工作流描述語(yǔ)言的方式，而是先抽象出工作流的核心集合，工作流的描述基于該核心集合。同時(shí)為了適應(yīng)不同領(lǐng)域的模型，在工作流核心集合的基礎(chǔ)上增加了擴(kuò)展方法。利用SOFL的相關(guān)理論知識(shí)形式化描述工