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.
Keywords
- Business Process
- Reference Model
- Java Code
- Communicate Sequential Process
- Business Process Modeling Notation
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bihary, S., Koneti, J., Roy, S.: Process conformance using CSP. In: Proceeding of the 5th ISEC 2012, pp. 139–142. ACM (2012)
Bisztray, D., Heckel, R.: Rule-level verification of business process transformations using CSP. ECEASST 6 (2007)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall (1985)
Liu, Y., Sun, J., Dong, J.S.: PAT 3: An extensible architecture for building multi-domain model checkers. In: IEEE 22nd International Symposium on Software Reliability Engineering (ISSRE 2011), pp. 190–199 (2011)
Roscoe, A.W.: The theory and practice of concurrency. Prentice Hall (1997)
Sarbanes, P., Oxley, G., et al.: Sarbanes-Oxley act of 2002 (2002)
Sun, J., Liu, Y., Roychoudhury, A., Liu, S., Dong, J.S.: Fair Model Checking with Process Counter Abstraction. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 123–139. Springer, Heidelberg (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Roy, S., Bihary, S., Laos, J.A.C. (2012). A Conformance Checker Tool CSPConCheck. In: Roychoudhury, A., D’Souza, M. (eds) Theoretical Aspects of Computing – ICTAC 2012. ICTAC 2012. Lecture Notes in Computer Science, vol 7521. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32943-2_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-32943-2_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32942-5
Online ISBN: 978-3-642-32943-2
eBook Packages: Computer ScienceComputer Science (R0)
