×

CSPConCheck公司

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

标准条款

1出版物描述软件 年份
一致性检查工具CSPConCheck
苏曼·罗伊;西德哈特·比哈里;老挝,何塞·阿方索·科尔索
2012