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

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

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

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