基于Petri網(wǎng)的信息管理軟件服務(wù)建模方法研究.pdf

1、目前，全球企業(yè)面臨著業(yè)務(wù)模式創(chuàng)新、多元信息整合、人才管理和業(yè)務(wù)流程透明化等眾多變革。這些變革對企業(yè)的敏捷性提出了很高要求。SOA作為一種松耦合的體系架構(gòu)，能夠最大程度實現(xiàn)業(yè)務(wù)需求與IT的一致性，將業(yè)務(wù)流程活動從服務(wù)實現(xiàn)中分離出來，還能夠降低開發(fā)成本，是現(xiàn)今企業(yè)實現(xiàn)敏捷性最流行的技術(shù)手段。而服務(wù)建模的好壞直接影響到服務(wù)系統(tǒng)構(gòu)建的效率，因此，服務(wù)建模方法對服務(wù)系統(tǒng)的構(gòu)建有著舉足輕重的作用。
　　服務(wù)建模需要將服務(wù)流程形式化、計算機化，

2、以工作流形式描述是現(xiàn)今服務(wù)建模表示的主流方式之一。而既有嚴格的數(shù)學分析和形式化定義，又有直觀、形象的圖形表示的Petri網(wǎng)是非常適合的建模工具。
　　本文提出了一種基于Petri網(wǎng)的服務(wù)建模方法PN-SM，完成了服務(wù)系統(tǒng)向Petri網(wǎng)的映射，給出了對服務(wù)模型和服務(wù)組合邏輯關(guān)系的形式化描述，并對該建模方法進行了實例研究。
　　首先對國內(nèi)外服務(wù)建模研究成果進行了總結(jié)，并分析了主要存在的問題；其次對PN-SM服務(wù)建模方法進行了總體

3、設(shè)計:根據(jù)SOMA服務(wù)建模方法論總結(jié)給出PN-SM面向服務(wù)的建模方法體系結(jié)構(gòu)和覆蓋服務(wù)生命周期的六個建模步驟，并給出了PN-SM的非分層和分層服務(wù)模型結(jié)構(gòu)；重點研究了PN-SM的服務(wù)組合關(guān)系描述:建立服務(wù)系統(tǒng)與著色Petri網(wǎng)的映射，給出服務(wù)系統(tǒng)和服務(wù)、服務(wù)組合的定義和服務(wù)組合操作的形式化描述；最后，利用總結(jié)提出的PN-SM服務(wù)建模方法，對研究實例——大學生成功素質(zhì)教育評價系統(tǒng)進行IT環(huán)境、業(yè)務(wù)流程分析，并對其進行服務(wù)建模，得出目標系統(tǒng)