Conformance checking of interacting processes with overlapping instances

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6896 LNCS, Issue , 2011, Pages 345-361

  Fahland, Dirk ^a   De Leoni, Massimiliano ^a   Van Dongen, Boudewijn F ^a   Van Der Aalst, Wil M P ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

artifacts; conformance; overlapping process instances; process models

Indexed keywords

ARTIFACT-CENTRIC; ARTIFACTS; CONFORMANCE; CONFORMANCE CHECKING; CONVENTIONAL TECHNIQUES; INTERACTING PROCESS; OVERLAPPING PROCESS; PROCESS INSTANCES; PROCESS MODEL;

ENTERPRISE RESOURCE MANAGEMENT;

MODEL CHECKING;

EID: 80052796307     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-23059-2_26     Document Type: Conference Paper

References (17)

1. Rozinat, A., Jong, I., Gunther, C., van der Aalst, W.: Conformance Analysis of ASML's Test Process. In: GRCIS 2009. CEUR-WS.org, vol. 459, pp. 1-15 (2009)
2. Rozinat, A., de Medeiros, A.K.A., Günther, C.W., Weijters, A.J.M.M., 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) (Pubitemid 351358243)
3. 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)
4. Weijters, A., van der Aalst, W.: Rediscovering Workflow Models from Event-Based Data using Little Thumb. Integrated Computer-Aided Engineering 10, 151-162 (2003)
5. Medeiros, A., Weijters, A., van der Aalst, W.: Genetic Process Mining: An Experimental Evaluation. Data Mining and Knowledge Discovery 14, 245-304 (2007)
6. Rozinat, A., van der Aalst, W.: Conformance Checking of Processes Based on Monitoring Real Behavior. Information Systems 33, 64-95 (2008)
7. Adriansyah, A., van Dongen, B.F., van der Aalst, W.M.P.: Towards Robust Conformance Checking. In: Muehlen, M.z., Su, J. (eds.) Business Process Management Workshops. LNBIP, vol. 66, pp. 122-133. Springer, Heidelberg (2011)
8. van der 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)
9. Nigam, A., Caswell, N.: Business artifacts: An Approach to Operational Specification. IBM Systems Journal 42, 428-445 (2003)
10. Cohn, D., Hull, R.: Business artifacts: A data-centric approach to modeling business operations and processes. IEEE Data Eng. Bull. 32, 3-9 (2009)
11. 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)
12. 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)
13. Barros, A.P., Decker, G., Dumas, M., Weber, F.: Correlation patterns in service-oriented architectures. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 245-259. Springer, Heidelberg (2007)
14. van der Aalst, W.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer, Heidelberg (2011)
15. Adriansyah, A., Sidorova, N., van Dongen, B.: Cost-based fitness in conformance checking. In: ACSD 2011 (to appear 2011)
16. Fahland, D., de Leoni, M., van Dongen, B., van der Aalst, W.: Checking behavioral conformance of artifacts. BPM Center Report BPM-11-08, BPMcenter.org (2011)
17. 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)