CSPConCheck公司 swMATH ID: 6412 软件作者: 苏曼·罗伊;西德哈特·比哈里;老挝,何塞·阿方索·科尔索 描述: 一致性检查工具CSPConCheck我们描述了一个关于一致性检查的工具,它可以验证(观察到的)事件日志是否匹配/适合参考(任意)业务流程,我们将此工具称为“CSPConCheck”。我们使用了通信顺序过程(CSP)的概念,该概念有助于使用PAT工具包进行一致性检查的自动化分析。我们的工具以流程图和流程日志为输入,并使用PAT工具检查一致性。 主页: http://dl.acm.org/citation.cfm?id=2402932 相关软件: 拍打 引用于: 0个文档 标准条款 1出版物描述软件 年份 一致性检查工具CSPConCheck苏曼·罗伊;西德哈特·比哈里;老挝,何塞·阿方索·科尔索 2012