%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