彭科尔，Y。;A.苏比亚斯。 离散时间事件系统的基于历史的可诊断性方法：应用于web服务。 （英语） Zbl 1217.68046号 加州大学洛杉矶分校 15，第17号，3246-3272（2009）. 摘要：本文解决了web服务中的可诊断性分析问题。特别是，它侧重于分析时间对web服务工作流中诊断功能的影响。本文提出的可诊断性分析旨在确定先前开发的Web服务诊断算法的诊断能力。该诊断算法基于历史识别。服务工作流执行期间可能发生的故障通过历史记录进行描述。为了进行这种可诊断性分析，首先将问题定义为基于语言导致语言之间排他性测试定义的分析以编年史为代表。为了处理编年史固有的时间方面，然后我们建议使用时间Petri网进行自动分析。然后在时间Petri网的可达图上定义排他性测试隐式表示编年史语言。 引用于4文件 MSC公司： 68M99型 计算机系统组织 68英里11 互联网主题 68米15 网络和计算机系统的可靠性、测试和容错 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 93元65角 离散事件控制/观测系统 关键词：编年史;可诊断性;诊断;离散通风系统;时间Petri网;web服务;工作流程 软件：TINA公司 PDF格式BibTeX公司 XML格式引用 \textit{Y.Pencolé}和\textit{A.Subias}，J.UCS 15，No.17，3246--3272（2009；Zbl 1217.68046） 全文： 链接