%0 Journal Article
%T 基于petri网的服务组合故障诊断与处理
%A 范贵生？
%A 虞慧群？
%A 陈丽琼？
%A 刘冬梅？
%J 软件学报
%P 231-247
%D 2010
%X 通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用petri网来解决服务组合的错误发现及其处理问题.重点讨论了可用服务失败、组件失败及网络故障的情况,并相应地给出了服务组合故障模型.在此基础上对故障处理模型进行分析,给出服务组合故障处理正确性准则,并证明了其正确性.最后,采用ctl(computationaltreelogic)描述相关性质并提出验证服务组合故障分析的实施算法.仿真结果表明,该方法在处理服务组合故障时具有一定的优越性.
%K petri网
%K 服务组合
%K 故障处理
%K ctl
%K (computational
%K tree
%K logic)
%K 可靠性
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=3790&flag=1