Skip to main content

Behavioral Conformance of Artifact-Centric Process Models

  • Conference paper
Business Information Systems (BIS 2011)

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 87))

Included in the following conference series:

Abstract

The use of process models in business information systems for analysis, execution, and improvement of processes assumes that the models describe reality. Conformance checking is a technique to validate how good a given process model describes recorded executions of the actual process. Recently, artifacts have been proposed as a paradigm to capture dynamic, and inter-organizational processes in a more natural way. In artifact-centric processes, several restrictions and assumptions of classical processes are dropped. This renders checking their conformance a more general problem. In this paper, we study the conformance problem of such processes. We show how to partition the problem into behavioral conformance of single artifacts and interaction conformance between artifacts, and solve behavioral conformance by a reduction to existing techniques.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Rozinat, A., Jong, I., Gunther, C., Aalst, W.: Conformance Analysis of ASML’s Test Process. In: GRCIS 2009. CEUR-WS.org, vol. 459, pp. 1–15 (2009)

    Google Scholar 

  2. Aalst, W., Barthelmess, P., Ellis, C., Wainer, J.: Proclets: A Framework for Lightweight Interacting Workflow Processes. Int. J. Cooperative Inf. Syst. 10, 443–481 (2001)

    Article  Google Scholar 

  3. Nigam, A., Caswell, N.: Business artifacts: An approach to operational specification. IBM Systems Journal 42, 428–445 (2003)

    Article  Google Scholar 

  4. Cohn, D., Hull, R.: Business artifacts: A data-centric approach to modeling business operations and processes. IEEE Data Eng. Bull. 32, 3–9 (2009)

    Google Scholar 

  5. Fritz, C., Hull, R., Su, J.: Automatic construction of simple artifact-based business processes. In: ICDT 2009. ACM ICPS, vol. 361, pp. 225–238 (2009)

    Google Scholar 

  6. Lohmann, N., Wolf, K.: Artifact-centric choreographies. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol. 6470, pp. 32–46. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  7. Rozinat, A., de Medeiros, A.K.A., Günther, C.W., Weijters, A.J.M.M.T., van der Aalst, W.M.P.: The need for a process mining evaluation framework in research and practice. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 84–89. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  8. Greco, G., Guzzo, A., Pontieri, L., Sacca, D.: Discovering Expressive Process Models by Clustering Log Traces. IEEE Trans. on Knowl. and Data Eng. 18, 1010–1027 (2006)

    Article  Google Scholar 

  9. Weijters, A., van der Aalst, W.: Rediscovering Workflow Models from Event-Based Data using Little Thumb. Integrated Computer-Aided Engineering 10, 151–162 (2003)

    Google Scholar 

  10. Medeiros, A., Weijters, A., van der Aalst, W.: Genetic Process Mining: An Experimental Evaluation. Data Mining and Knowledge Discovery 14, 245–304 (2007)

    Article  Google Scholar 

  11. Rozinat, A., van der Aalst, W.: Conformance Checking of Processes Based on Monitoring Real Behavior. Information Systems 33, 64–95 (2008)

    Article  Google Scholar 

  12. Adriansyah, A., Dongen, B., Aalst, W.: Towards Robust Conformance Checking. In: BPM 2010 Workshops (2010) (LNBIP to appear)

    Google Scholar 

  13. Fahland, D., de Leoni, M., van Dongen, B., van der Aalst, W.: Checking behavioral conformance of artifacts. BPM Center Report BPM-11-08 (2011), BPMcenter.org

  14. Silberschatz, A., Korth, H.F., Sudarshan, S.: Database System Concepts, 4th edn. McGraw-Hill Book Company, New York (2001)

    Google Scholar 

  15. Verbeek, H., Buijs, J.C., van Dongen, B.F., van der Aalst, W.M.P.: ProM: The Process Mining Toolkit. In: BPM Demos 2010. CEUR-WS, vol. 615 (2010)

    Google Scholar 

  16. Rozinat, A., de Medeiros, A.A., Günther, C., Weijters, A., van der Aalst, W.: Towards an Evaluation Framework for Process Mining Algorithms (2007), BPM Center Report BPM-07-06

    Google Scholar 

  17. Weijters, A., van der Aalst, W., de Medeiros, A.A.: Process Mining with the Heuristics Miner-algorithm. Technical report, Eindhoven University of Technology, Eindhoven, BETA Working Paper Series, WP 166 (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fahland, D., de Leoni, M., van Dongen, B.F., van der Aalst, W.M.P. (2011). Behavioral Conformance of Artifact-Centric Process Models. In: Abramowicz, W. (eds) Business Information Systems. BIS 2011. Lecture Notes in Business Information Processing, vol 87. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21863-7_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-21863-7_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-21829-3

  • Online ISBN: 978-3-642-21863-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics