메뉴 건너뛰기




Volumn 7347 LNCS, Issue , 2012, Pages 72-91

Decomposing process mining problems using passages

Author keywords

business process management; conformance checking; distributed computing; process discovery; process mining

Indexed keywords

BUSINESS PROCESS MANAGEMENT; COMPUTATION TIME; CONFORMANCE CHECKING; FORMAL SEMANTICS; IN-PROCESS; PROCESS DISCOVERY; PROCESS MINING; PROCESS MODEL; QUALITY CRITERIA; QUALITY MODELS; SINGLE COMPUTER;

EID: 84862503604     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-31131-4_5     Document Type: Conference Paper
Times cited : (59)

References (36)
  • 9
    • 79957450970 scopus 로고    scopus 로고
    • Towards Robust Conformance Checking
    • zur Muehlen, M., Su, J. (eds.) BPM 2010 Workshops. Springer, Heidelberg
    • Adriansyah, A., van Dongen, B.F., van der Aalst, W.M.P.: Towards Robust Conformance Checking. In: zur Muehlen, M., Su, J. (eds.) BPM 2010 Workshops. LNBIP, vol. 66, pp. 122-133. Springer, Heidelberg (2011)
    • (2011) LNBIP , vol.66 , pp. 122-133
    • Adriansyah, A.1    Van Dongen, B.F.2    Van Der Aalst, W.M.P.3
  • 11
    • 84890470685 scopus 로고    scopus 로고
    • Mining Process Models from Workflow Logs
    • Advances in Database Technology - EDDT'98
    • Agrawal, R., Gunopulos, D., Leymann, F.: Mining Process Models from Workflow Logs. In: Schek, H.-J., Saltor, F., Ramos, I., Alonso, G. (eds.) EDBT 1998. LNCS, vol. 1377, pp. 469-483. Springer, Heidelberg (1998) (Pubitemid 128044768)
    • (1998) LECTURE NOTES IN COMPUTER SCIENCE , Issue.1377 , pp. 469-483
    • Agrawal, R.1    Gunopulos, D.2    Leymann, F.3
  • 13
    • 38049100957 scopus 로고    scopus 로고
    • Process Mining Based on Regions of Languages
    • Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. Springer, Heidelberg
    • Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Process Mining Based on Regions of Languages. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 375-383. Springer, Heidelberg (2007)
    • (2007) LNCS , vol.4714 , pp. 375-383
    • Bergenthum, R.1    Desel, J.2    Lorenz, R.3    Mauser, S.4
  • 18
    • 78049338778 scopus 로고    scopus 로고
    • Process Mining Meets Abstract Interpretation
    • Balcázar, J.L., Bonchi, F., Gionis, A., Sebag, M. (eds.) ECML PKDD 2010. Springer, Heidelberg
    • Carmona, J., Cortadella, J.: Process Mining Meets Abstract Interpretation. In: Balcázar, J.L., Bonchi, F., Gionis, A., Sebag, M. (eds.) ECML PKDD 2010. LNCS, vol. 6321, pp. 184-199. Springer, Heidelberg (2010)
    • (2010) LNCS , vol.6321 , pp. 184-199
    • Carmona, J.1    Cortadella, J.2
  • 19
    • 57049165402 scopus 로고    scopus 로고
    • A Region-Based Algorithm for Discovering Petri Nets from Event Logs
    • Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. Springer, Heidelberg
    • Carmona, J.A., Cortadella, J., Kishinevsky, M.: A Region-Based Algorithm for Discovering Petri Nets from Event Logs. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 358-373. Springer, Heidelberg (2008)
    • (2008) LNCS , vol.5240 , pp. 358-373
    • Carmona, J.A.1    Cortadella, J.2    Kishinevsky, M.3
  • 20
    • 70349456562 scopus 로고    scopus 로고
    • Divide-and-Conquer Strategies for Process Mining
    • Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM2009. Springer, Heidelberg
    • Carmona, J., Cortadella, J., Kishinevsky, M.: Divide-and-Conquer Strategies for Process Mining. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM2009. LNCS, vol. 5701, pp. 327-343. Springer, Heidelberg (2009)
    • (2009) LNCS , vol.5701 , pp. 327-343
    • Carmona, J.1    Cortadella, J.2    Kishinevsky, M.3
  • 22
    • 0012168865 scopus 로고    scopus 로고
    • Software Process Validation: Quantitatively Measuring the Correspondence of a Process to a Model
    • Cook, J.E., Wolf, A.L.: Software Process Validation: Quantitatively Measuring the Correspondence of a Process to a Model. ACM Transactions on Software Engineering and Methodology 8(2), 147-176 (1999)
    • (1999) ACM Transactions on Software Engineering and Methodology , vol.8 , Issue.2 , pp. 147-176
    • Cook, J.E.1    Wolf, A.L.2
  • 23
    • 26444565779 scopus 로고    scopus 로고
    • Unbounded Petri Net Synthesis
    • Desel, J., Reisig,W., Rozenberg, G. (eds.) ACPN 2004. Springer, Heidelberg
    • Darondeau, P.: Unbounded Petri Net Synthesis. In: Desel, J., Reisig,W., Rozenberg, G. (eds.) ACPN 2004. LNCS, vol. 3098, pp. 413-438. Springer, Heidelberg (2004)
    • (2004) LNCS , vol.3098 , pp. 413-438
    • Darondeau, P.1
  • 25
    • 79953281019 scopus 로고    scopus 로고
    • The World's Technological Capacity to Store, Communicate, and Compute Information
    • Hilbert, M., Lopez, P.: The World's Technological Capacity to Store, Communicate, and Compute Information. Science 332(6025), 60-65 (2011)
    • (2011) Science , vol.332 , Issue.6025 , pp. 60-65
    • Hilbert, M.1    Lopez, P.2
  • 26
    • 84863011087 scopus 로고    scopus 로고
    • Process Mining Manifesto
    • IEEE Task Force on Process Mining Business Process Management Workshops. Springer, Berlin
    • IEEE Task Force on Process Mining. Process Mining Manifesto. In: Business Process Management Workshops. LNBIP, vol. 99, pp. 169-194. Springer, Berlin (2012)
    • (2012) LNBIP , vol.99 , pp. 169-194
  • 27
    • 10444269484 scopus 로고    scopus 로고
    • Modular Analysis of Systems Composed of Semiautonomous Subsystems
    • IEEE Computer Society
    • Lakos, C., Petrucci, L.: Modular Analysis of Systems Composed of Semiautonomous Subsystems. In: Application of Concurrency to System Design (ACSD 2004), pp. 185-194. IEEE Computer Society (2004)
    • (2004) Application of Concurrency to System Design (ACSD 2004) , pp. 185-194
    • Lakos, C.1    Petrucci, L.2
  • 30
    • 78049242475 scopus 로고    scopus 로고
    • A Fresh Look at Precision in Process Conformance
    • Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. Springer, Heidelberg
    • Muñoz-Gama, J., Carmona, J.: A Fresh Look at Precision in Process Conformance. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol. 6336, pp. 211-226. Springer, Heidelberg (2010)
    • (2010) LNCS , vol.6336 , pp. 211-226
    • Muñoz-Gama, J.1    Carmona, J.2
  • 32
    • 35748949584 scopus 로고    scopus 로고
    • Conformance Checking of Processes Based on Monitoring Real Behavior
    • Rozinat, A., van der Aalst, W.M.P.: Conformance Checking of Processes Based on Monitoring Real Behavior. Information Systems 33(1), 64-95 (2008)
    • (2008) Information Systems , vol.33 , Issue.1 , pp. 64-95
    • Rozinat, A.1    Van Der Aalst, W.M.P.2
  • 33
    • 77955344332 scopus 로고    scopus 로고
    • Process Mining from a Basis of State Regions
    • Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. Springer, Heidelberg
    • Solé,M., Carmona, J.: Process Mining from a Basis of State Regions. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol. 6128, pp. 226-245. Springer, Heidelberg (2010)
    • (2010) LNCS , vol.6128 , pp. 226-245
    • Solé, M.1    Carmona, J.2
  • 35
    • 0038002768 scopus 로고    scopus 로고
    • Rediscovering Workflow Models from Event-Based Data using Little Thumb
    • Weijters, A., van der Aalst, W.M.P.: Rediscovering Workflow Models from Event-Based Data using Little Thumb. Integrated Computer-Aided Engineering 10(2), 151-162 (2003)
    • (2003) Integrated Computer-Aided Engineering , vol.10 , Issue.2 , pp. 151-162
    • Weijters, A.1    Van Der Aalst, W.M.P.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.