基于Petri网的服务可靠性评价方法研究

被引：8

作者：

许家俊

姚淑珍

机构：

[1] 北京航空航天大学计算机学院

来源：

计算机科学 | 2014年 / 41卷 / 07期

关键词：

服务组合; Petri网; 可靠性评估;

D O I：

暂无

中图分类号：

TP393.09 []; TP301.1 [自动机理论];

学科分类号：

080201 [机械制造及其自动化];

摘要：

服务的可靠性研究成为一个研究热点。首先研究基于Petri网的结构关联的服务组合描述语言BPEL;而对于服务交互关联模型,构造服务组合模型的Petri网表示的交互特点;给出服务组合Petri网定义,建立基于服务组合Petri网的模型可靠性评估方法,包含结构关联的可靠性计算方法和交互关联模型可靠性化简和计算方法;最后给出旅游服务系统案例分析,说明了方法的可用性和合理性。

引用

页码：52 / 57

页数：6

共 10 条

[1]

Analyzing interacting WS-BPEL processes using flexible model generation.[J].Niels Lohmann;Peter Massuthe;Christian Stahl;Daniela Weinberg.Data & Knowledge Engineering.2007, 1

[2]

Formal semantics and analysis of control flow in WS-BPEL.[J].Chun Ouyang;Eric Verbeek;Wil M.P. van der Aalst;Stephan Breutel;Marlon Dumas;Arthur H.M. ter Hofstede.Science of Computer Programming.2007, 2

[3]

Tools for composite web services.[J].Richard Hull;Jianwen Su.ACM SIGMOD Record.2005, 2

[4]

正确性保证的组合服务综合问题复杂度研究 [J].