{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:40:49Z","timestamp":1760708449097},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,8,10]],"date-time":"2012-08-10T00:00:00Z","timestamp":1344556800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1007\/s10270-012-0265-9","type":"journal-article","created":{"date-parts":[[2012,8,9]],"date-time":"2012-08-09T04:19:31Z","timestamp":1344485971000},"page":"557-569","source":"Crossref","is-referenced-by-count":15,"title":["What makes a good process model?"],"prefix":"10.1007","volume":"11","author":[{"given":"W. M. P.","family":"van der Aalst","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,8,10]]},"reference":[{"key":"265_CR1","unstructured":"van der Aalst, W.M.P.: TomTom for business process management (TomTom4BPM). In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) Advanced Information Systems Engineering, Proceedings of the 21st International Conference on Advanced Information Systems Engineering (CAiSE\u201909). Lecture Notes in Computer Science, vol. 5565, pp. 2\u20135. Springer, Berlin (2009)"},{"key":"265_CR2","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Business process simulation revisited. In: Barjis, J. (ed.) Enterprise and organizational modeling and simulation. Lecture Notes in Business information Processing, vol. 63, p. 14. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-15723-3_1"},{"key":"265_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19345-3","volume-title":"Process Mining: Discovery, Conformance and Enhancement of Business Processes","author":"WMP Aalst van der","year":"2011","unstructured":"van der Aalst, W.M.P.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer, Berlin (2011)"},{"issue":"2","key":"265_CR4","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1002\/widm.1045","volume":"2","author":"WMP Aalst van der","year":"2012","unstructured":"van der Aalst, W.M.P., Adriansyah, A., van Dongen, B.: Replaying history on process models for conformance checking and performance analysis. WIREs Data Min. Knowl. Discov. 2(2), 182\u2013192 (2012)","journal-title":"WIREs Data Min. Knowl. Discov."},{"issue":"4","key":"265_CR5","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1142\/S0218843001000412","volume":"10","author":"WMP Aalst van der","year":"2001","unstructured":"van der Aalst, W.M.P., Barthelmess, P., Ellis, C.A., Wainer, J.: Proclets: a framework for lightweight interacting workflow processes. Int. J. Coop. Inf. Syst. 10(4), 443\u2013482 (2001)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"265_CR6","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/978-3-642-00416-2_15","volume-title":"Handbook on Business Process Management, International Handbooks on Information Systems","author":"WMP Aalst van der","year":"2010","unstructured":"van der Aalst, W.M.P., Nakatumba, J., Rozinat, A., Russell, N.: Business process simulation. In: vom Brocke, J., Rosemann, M. (eds.) Handbook on Business Process Management, International Handbooks on Information Systems, pp. 313\u2013338. Springer, Berlin (2010)"},{"key":"265_CR7","unstructured":"van der Aalst, W.M.P., Reijers, H.A., Song, M.: Discovering social networks from event logs. Comput. Supported Coop. work 14(6), 549\u2013593 (2005)"},{"issue":"9","key":"265_CR8","doi-asserted-by":"crossref","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"WMP Aalst van der","year":"2004","unstructured":"van der Aalst, W.M.P., Weijters, A.J.M.M., Maruster, L.: Workflow mining: discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128\u20131142 (2004)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"265_CR9","unstructured":"ACSI. Artifact-Centric Service Interoperation (ACSI) Project Home Page. http:\/\/www.acsi-project.eu"},{"key":"265_CR10","unstructured":"Alves, A., Arkin, A., Askary, S., Barreto, C., Bloch, B., Curbera, F., Ford, M., Goland, Y., Gu\u00edzar, A., Kartha, N., Liu, C.K., Khalaf, R., Koenig, D., Marin, M., Mehta, V., Thatte, S., Rijn, D., Yendluri, P., Yiu, A.: Web Services Business Process Execution Language Version 2.0 (OASIS Standard). WS-BPEL TC OASIS, http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.html (2007)"},{"key":"265_CR11","doi-asserted-by":"crossref","unstructured":"Jagadeesh Chandra Bose, R.P., van der Aalst, W.M.P., Zliobaite, I., Pechenizkiy, M.: Handling concept drift in process mining. In: Mouratidis, H., Rolland, C. (eds.), International Conference on Advanced Information Systems Engineering (Caise 2011). Lecture Notes in Computer Science, vol. 6741, pp. 391\u2013405. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-21640-4_30"},{"key":"265_CR12","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"265_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine","author":"D Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Berlin (2003)"},{"key":"265_CR14","first-page":"174","volume-title":"Designing Cooperative Systems (Coop 2000)","author":"T Herrmann","year":"2000","unstructured":"Herrmann, T., Hoffmann, M., Loser, K.U., Moysich, K.: Semistructured models are surprisingly useful for user-centered design. In: De Michelis, G., Giboin, A., Karsenty, L., Dieng, R. (eds.) Designing Cooperative Systems (Coop 2000), p. 174. IOS Press, Amsterdam (2000)"},{"key":"265_CR15","unstructured":"IEEE task force on process mining. Process mining manifesto. In: BPM Workshops. Lecture Notes in Business Information Processing. vol. 99, Springer, Berlin (2011)"},{"issue":"1","key":"265_CR16","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1016\/j.datak.2007.06.019","volume":"64","author":"J Mendling","year":"2008","unstructured":"Mendling, J., Verbeek, H.M.W., van Dongen, B.F., van der Aalst, W.M.P., Neumann, G.: Detection and Prediction of Errors in EPCs of the SAP Reference Model. Data Knowl. Eng. 64(1), 312\u2013329 (2008)","journal-title":"Data Knowl. Eng."},{"key":"265_CR17","unstructured":"Zur Muehlen, M., Recker, J.: How much language is enough? Theoretical and practical use of the business process modeling notation. In: Bellahsene, Z., L\u00e9onard, M. (eds.) Proceedings of the 20th International Conference on Advanced Information Systems Engineering (CAiSE\u201908), Lecture Notes in Computer Science, vol. 5074, pp. 465\u2013479. Springer, Berlin (2008)"},{"key":"265_CR18","unstructured":"OMG. Business Process Model and Notation (BPMN). Object Management Group, formal\/2011-01-03, 2011"},{"issue":"2","key":"265_CR19","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1109\/TII.2011.2124467","volume":"7","author":"M Rosa La","year":"2011","unstructured":"La Rosa, M., ter Hofstede, A.H.M., Wohed, P., Reijers, H.A., Mendling, J., van der Aalst, W.M.P.: Managing process model complexity via concrete syntax modifications. IEEE Trans. Ind. Inf. 7(2), 255\u2013265 (2011)","journal-title":"IEEE Trans. Ind. Inf."},{"issue":"4","key":"265_CR20","doi-asserted-by":"crossref","first-page":"614","DOI":"10.1109\/TII.2011.2166795","volume":"7","author":"M Rosa La","year":"2011","unstructured":"La Rosa, M., Wohed, P., Mendling, J., ter Hofstede, A.H.M., Reijers, H.A., van der Aalst, W.M.P.: Managing process model complexity via abstract syntax modifications. IEEE Trans. Ind. Inf. 7(4), 614\u2013629 (2011)","journal-title":"IEEE Trans. Ind. Inf."},{"issue":"1","key":"265_CR21","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1016\/j.is.2007.07.001","volume":"33","author":"A Rozinat","year":"2008","unstructured":"Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64\u201395 (2008)","journal-title":"Inf. Syst."},{"issue":"1","key":"265_CR22","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1016\/j.dss.2008.07.002","volume":"46","author":"M Song","year":"2008","unstructured":"Song, M., van der Aalst, W.M.P.: Towards comprehensive support for organizational mining. Decis. Support Syst. 46(1), 300\u2013317 (2008)","journal-title":"Decis. Support Syst."},{"key":"265_CR23","volume-title":"Data Mining: Practical Machine Learning Tools and Techniques","author":"IH Witten","year":"2005","unstructured":"Witten, I.H., Frank, E.: Data Mining: Practical Machine Learning Tools and Techniques, 2nd edn. Morgan Kaufmann, San Fransisco (2005)","edition":"2"},{"key":"265_CR24","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1002\/cne.920180503","volume":"18","author":"RM Yerkes","year":"1908","unstructured":"Yerkes, R.M., Dodson, J.D.: The relation of strength of stimulus to rapidity of habit-formation. J. Comp. Neurol. Psychol. 18, 459\u2013482 (1908)","journal-title":"J. Comp. Neurol. Psychol."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0265-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-012-0265-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-012-0265-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T01:08:07Z","timestamp":1643159287000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-012-0265-9"}},"subtitle":["Lessons learned from process mining"],"short-title":[],"issued":{"date-parts":[[2012,8,10]]},"references-count":24,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,10]]}},"alternative-id":["265"],"URL":"https:\/\/doi.org\/10.1007\/s10270-012-0265-9","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,8,10]]}}}