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

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

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

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