【摘 要】
：
服务组合是实现服务增值的一种有效方法，并已广泛使用于一些关键的应用。对这些应用而言，故障后能迅速而有效地处理是至关重要的。然而，现有的服务组合很少考虑服务的故障诊断及
【机 构】
：
华东理工大学计算机科学与工程系，上海200237华东理工大学计算机科学与工程系，上海200237上海市计算机软件评测重点实验室，上海，201112上海应用技术学院计算机科学与信息工程系，上海，2002
【出 处】
：
中国计算机学会全国软件与应用学术会议(NASAC2009)
论文部分内容阅读
服务组合是实现服务增值的一种有效方法，并已广泛使用于一些关键的应用。对这些应用而言，故障后能迅速而有效地处理是至关重要的。然而，现有的服务组合很少考虑服务的故障诊断及其故障处理方法，导致服务组合在运行时出现失败的概率较大。首先通过分析服务组合的故障需求，给出服务组合故障处理的框架。该框架采用Petri网来解决服务组合的错误发现及其处理问题。重点讨论了可用服务失败、组件失败及网络故障的情况，并相应地给出了服务故障模型。在此基础对故障处理模型进行分析，给出服务组合故障处理正确性准则，并证明了其正确性。最后，采用CTL描述相关性质并提出验证服务组合故障分析的实施算法。仿真结果表明，该方法在处理服务组合故障时具有一定的优越性。
其他文献
背景与目的胃癌(gastric cancer)是消化道最常见的恶性肿瘤之一,在我国乃至世界范围内都有很高的发病率和死亡率。众所周知,肿瘤的发生发展是多基因、多步骤协同作用的生物学
中石化的物资供应管理多年来围绕提高中石化国际竞争力,建设世界一流的能源化工公司的中心工作,在市场竞争日趋激烈,资源争夺日益激烈,企业成本压力不断增大的情况下,通过推
闭环管控系统是由投诉数据的正向处理流程和输出结果的反馈构成的闭合系统。闭环管控系统是一个自我稳定且不断完善的系统,根据结果的反馈不断的修正控制,使系统处于一个合适
在许多工业工艺环节中需要对空气进行除湿处理，然而目前随着对干燥空气的需求量以及除湿深度要求的不断提高，单纯依靠压缩式制冷进行空气除湿会造成能源的巨大浪费。本文将溶液
适应是一个动态变化的过程，免费师范生的适应问题既具有一般大学生适应的共性特点，也有自身的特殊性，本研究采用教育部“中国大学生心理健康测评系统”课题组编制的《中国大学生
目的观察与研究治疗肛肠疾病应用中药灌肠的临床疗效评价。方法将我院肛肠外科2015年1月~2017年2月收治的76例各类炎性肠病患者,应用数字随机法将患者平均分为观察组与对照组
"兰",是古诗中常见的词语,古人把兰花、兰草、木兰都称做兰,在诗词曲赋几千年的应用中,形成了一个庞大的寓意体系,通过对《诗经》到元明清诗词曲赋范本的分析研究,把"兰"的比
<正> 一、限界寿命的进化 人类限界寿命(最高寿命)的进化与文明无关,主要取决于遗传基因的突变。在此首先想介绍一下卡特勒(R·C·Cutler, 1979年)研究人类限界寿命进化的概
目的观察不同手术时期Bryan人工椎间盘置换术后置换节段脊柱功能单位(functional spine unit,FSU)曲度变化情况。方法随访2003年12月～2007年12月接受单节段Bryan人工椎间盘置
《诗经·郑风》运用比兴手法,塑造了香草美人意象,表达了对女性的赞美及对美好爱情的热烈追求。这种意象既切合了人们的审美需求,更是一个时代社会情形及精神文化的如实体现