A conformance checker tool CSPConCheck

Authors:
Suman Roy;Sidharth Bihary;Jose Alfonso Corso Laos
Affiliations:
Infosys Lab, Infosys Ltd., Bangalore, India;Infosys Lab, Infosys Ltd., Bangalore, India;College of Engineering, Pontificia Universidad Catolica De Chile, Santiago, Chile
Venue:
ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
Year:
2012

Citing 5
Cited 0

Communicating sequential processes

Communicating sequential processes
The Theory and Practice of Concurrency

The Theory and Practice of Concurrency
Fair Model Checking with Process Counter Abstraction

FM '09 Proceedings of the 2nd World Congress on Formal Methods
PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers

ISSRE '11 Proceedings of the 2011 IEEE 22nd International Symposium on Software Reliability Engineering
Process conformance using CSP

Proceedings of the 5th India Software Engineering Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe a tool on conformance checking which verifies if the event logs (observed) match/fit the reference (arbitrary) business process, we call this tool "CSPConCheck". We use concepts from Communicating Sequential Processes (CSP), which facilitates automated analysis using PAT toolkit for conformance checking. Our tool takes process diagram and process logs as input and uses PAT tool to check for conformance.