Skip to main content

A Conformance Checker Tool CSPConCheck

  • Conference paper
  • 357 Accesses

Part of the Lecture Notes in Computer Science book series (LNTCS,volume 7521)

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

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   72.00
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bihary, S., Koneti, J., Roy, S.: Process conformance using CSP. In: Proceeding of the 5th ISEC 2012, pp. 139–142. ACM (2012)

    Google Scholar 

  2. Bisztray, D., Heckel, R.: Rule-level verification of business process transformations using CSP. ECEASST 6 (2007)

    Google Scholar 

  3. Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall (1985)

    Google Scholar 

  4. 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)

    Google Scholar 

  5. Roscoe, A.W.: The theory and practice of concurrency. Prentice Hall (1997)

    Google Scholar 

  6. Sarbanes, P., Oxley, G., et al.: Sarbanes-Oxley act of 2002 (2002)

    Google Scholar 

  7. 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)

    CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)