微处理机
微處理機
미처리궤
MICROPROCESSORS
2011年
5期
26-29,34
,共5页
Web服务%业务流程执行语言%广义随机Petri网%组合Web服务%性能评价
Web服務%業務流程執行語言%廣義隨機Petri網%組閤Web服務%性能評價
Web복무%업무류정집행어언%엄의수궤Petri망%조합Web복무%성능평개
如何利用广义随机Petri网对WS - BPEL描述语言进行建模、验证以及评价,进而实现对Web服务组合过程可靠性和性能的分析,一直都是领域研究中的难点和热点.首先,给出WS-BPEL业务流程到GSPN的映射规则和转换方法；并通过对GSPN模型进行可达性和不变量分析,实现对WS-BPEL业务流程正确性的验证；然后,借助构造与GSPN模型同构的马尔可夫链,完成对系统性能的分析；最后,以某实例为分析对象,对模型的正确性和有效性进行了验证.
如何利用廣義隨機Petri網對WS - BPEL描述語言進行建模、驗證以及評價,進而實現對Web服務組閤過程可靠性和性能的分析,一直都是領域研究中的難點和熱點.首先,給齣WS-BPEL業務流程到GSPN的映射規則和轉換方法；併通過對GSPN模型進行可達性和不變量分析,實現對WS-BPEL業務流程正確性的驗證；然後,藉助構造與GSPN模型同構的馬爾可伕鏈,完成對繫統性能的分析；最後,以某實例為分析對象,對模型的正確性和有效性進行瞭驗證.
여하이용엄의수궤Petri망대WS - BPEL묘술어언진행건모、험증이급평개,진이실현대Web복무조합과정가고성화성능적분석,일직도시영역연구중적난점화열점.수선,급출WS-BPEL업무류정도GSPN적영사규칙화전환방법；병통과대GSPN모형진행가체성화불변량분석,실현대WS-BPEL업무류정정학성적험증；연후,차조구조여GSPN모형동구적마이가부련,완성대계통성능적분석；최후,이모실례위분석대상,대모형적정학성화유효성진행료험증.
