{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:39:47Z","timestamp":1725532787526},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642019142"},{"type":"electronic","value":"9783642019159"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01915-9_3","type":"book-chapter","created":{"date-parts":[[2009,6,2]],"date-time":"2009-06-02T04:53:20Z","timestamp":1243918400000},"page":"28-39","source":"Crossref","is-referenced-by-count":1,"title":["A Heuristic Method for Business Process Model Evaluation"],"prefix":"10.1007","author":[{"given":"Volker","family":"Gruhn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ralf","family":"Laue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Rutar, N., Almazan, C.B., Foster, J.S.: A comparison of bug finding tools for java. In: ISSRE, pp. 245\u2013256 (2004)","DOI":"10.1109\/ISSRE.2004.1"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/S0950-5849(99)00016-6","volume":"41","author":"W.M. Aalst van der","year":"1999","unstructured":"van der Aalst, W.M.: Formalization and verification of event-driven process chains. Information & Software Technology\u00a041, 639\u2013650 (1999)","journal-title":"Information & Software Technology"},{"key":"3_CR3","unstructured":"Gruhn, V., Laue, R.: Checking properties of business process models with logic programming. In: Augusto, J.C., Barjis, J., Ultes-Nitsche, U. (eds.) MSVVEIS, pp. 84\u201393. INSTICC Press (2007)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"3_CR5","unstructured":"van der Aalst, W.M.P.: Structural characterizations of sound workflow nets. Computing Science Reports\/23 (1996)"},{"key":"3_CR6","unstructured":"Mendling, J.: Detection and Prediction of Errors in EPC Business Process Models. PhD thesis, Vienna University of Economics and Business Administration (2007)"},{"key":"3_CR7","unstructured":"Fillies, C., Weichhardt, F.: Towards the corporate semantic process web. In: Berliner XML Tage, pp. 78\u201390 (2003)"},{"key":"3_CR8","unstructured":"Thomas, O., Fellmann, M.: Semantic EPC: Enhancing process modeling using ontology languages. In: Hepp, M., Hinkelmann, K., Karagiannis, D., Klein, R., Stojanovic, N. (eds.) SBPM. CEUR Workshop Proceedings, vol.\u00a0251. CEUR-WS.org (2007)"},{"key":"3_CR9","unstructured":"Gruhn, V., Laue, R.: Good and bad excuses for unstructured business process models. In: Proceedings of 12th European Conference on Pattern Languages of Programs (EuroPLoP 2007) (2007)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/11431855_26","volume-title":"Advanced Information Systems Engineering","author":"B.F. Dongen van","year":"2005","unstructured":"van Dongen, B.F., van der Aalst, W.M.P., Verbeek, H.M.W.: Verification of EPCs: Using reduction rules and Petri nets. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 372\u2013386. Springer, Heidelberg (2005)"},{"key":"3_CR11","unstructured":"Cuntz, N., Kindler, E.: On the semantics of EPCs: Efficient calculation and simulation. In: EPK 2004: Gesch\u00e4ftsprozessmanagement mit Ereignisgesteuerten Prozessketten, Proceedings, pp. 7\u201326 (2004)"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Cuntz, N., Freiheit, J., Kindler, E.: On the Semantics of EPCs: Faster calculation for EPCs with small state spaces. In: EPK 2005, Gesch\u00e4ftsprozessmanagement mit Ereignisgesteuerten Prozessketten, pp. 7\u201323 (2005)","DOI":"10.1007\/11538394_30"},{"key":"3_CR13","unstructured":"Barborka, P., Helm, L., K\u00f6ldorfer, G., Mendling, J., Neumann, G., van Dongen, B.F., Verbeek, E., van der Aalst, W.M.P.: Integration of EPC-related tools with ProM. In: N\u00fcttgens, M., Rump, F.J., Mendling, J. (eds.) EPK. CEUR Workshop Proceedings, vol.\u00a0224, pp. 105\u2013120. CEUR-WS.org (2006)"},{"key":"3_CR14","unstructured":"Wynn, M.T.: Semantics, Verification, and Implementation of Workflows with Cancellation Regions and OR-joins. PhD thesis, Queensland University of Technology Brisbane, Australia (2006)"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1108\/14637150910931479","volume":"15","author":"M.T. Wynn","year":"2009","unstructured":"Wynn, M.T., Verbeek, H., van der Aalst, W.M.P., Edmond, D.: Business process verification - finally a reality! Business Process Management Journal\u00a015, 74\u201392 (2009)","journal-title":"Business Process Management Journal"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Decker, G., Mendling, J.: Instantiation semantics for process models. In: Proceedings of the 6th International Conference on Business Process Management, Milan, Italy (2008)","DOI":"10.1007\/978-3-540-85758-7_14"},{"key":"3_CR17","unstructured":"van der Aalst, W.M.P., Desel, J., Kindler, E.: On the semantics of EPCs: A vicious circle. In: EPK 2004, Gesch\u00e4ftsprozessmanagement mit Ereignisgesteuerten Prozessketten, pp. 71\u201379 (2002)"},{"key":"3_CR18","unstructured":"Dumas, M., Grosskopf, A., Hettel, T., Wynn, M.: Semantics of BPMN process models with or-joins. Technical Report Preprint 7261, Queensland University of Technology, Brisbane (2007)"},{"key":"3_CR19","unstructured":"Mendling, J., Reijers, H.A., van der Aalst, W.M.P.: Seven process modeling guidelines (7pmg). Technical Report QUT ePrints, Report 12340, Queensland University of Technology (2008)"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1109\/32.310667","volume":"20","author":"A.C.W. Finkelstein","year":"1994","unstructured":"Finkelstein, A.C.W., Gabbay, D., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency handling in multiperspective specifications. IEEE Trans. Softw. Eng.\u00a020, 569\u2013578 (1994)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"3_CR21","unstructured":"St\u00f6rrle, H.: A prolog-based approach to representing and querying software engineering models. In: Cox, P.T., Fish, A., Howse, J. (eds.) VLL. CEUR Workshop Proceedings, vol.\u00a0274, pp. 71\u201383. CEUR-WS.org (2007)"},{"key":"3_CR22","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0950-5849(99)00083-X","volume":"42","author":"J.E. Robbins","year":"2000","unstructured":"Robbins, J.E., Redmiles, D.F.: Cognitive support, UML adherence, and XMI interchange in Argo\/UML. Information & Software Technology\u00a042, 79\u201389 (2000)","journal-title":"Information & Software Technology"},{"key":"3_CR23","volume-title":"The Elements of UML Style","author":"S.W. Ambler","year":"2003","unstructured":"Ambler, S.W.: The Elements of UML Style. Cambridge University Press, Cambridge (2003)"},{"key":"3_CR24","first-page":"5065","volume-title":"Proceedings of the 32nd Annual Hawaii International Conference on System Sciences","author":"S. Onoda","year":"1999","unstructured":"Onoda, S., Ikkai, Y., Kobayashi, T., Komoda, N.: Definition of deadlock patterns for business processes workflow models. In: Proceedings of the 32nd Annual Hawaii International Conference on System Sciences, vol.\u00a05, p. 5065. IEEE Computer Society, Los Alamitos (1999)"},{"key":"3_CR25","unstructured":"Koehler, J., Vanhatalo, J.: Process anti-patterns: How to avoid the common traps of business process modeling, part 1 - modelling control flow. IBM WebSphere Developer Technical Journal (2007)"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Liu, R., Kumar, A.: An analysis and taxonomy of unstructured workflows. In: Business Process Management, pp. 268\u2013284 (2005)","DOI":"10.1007\/11538394_18"},{"key":"3_CR27","unstructured":"Smith, G.: Improving process model quality to drive BPM project success (2008), http:\/\/www.bpm.com\/improving-process-model-quality-to-drive-bpm-project-success.html (accessed November 1, 2008)"},{"issue":"1","key":"3_CR28","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"The Journal of Circuits, Systems and Computers"},{"key":"3_CR29","unstructured":"K\u00fchne, S., Kern, H., Gruhn, V., Laue, R.: Business process modelling with continuous validation. In: Pautasso, C., Koehler, J. (eds.) MDE4BPM 2008 \u2013 1st International Workshop on Model-Driven Engineering for Business Process Management (2008)"},{"key":"3_CR30","unstructured":"Awad, A.: BPMN-Q: A language to query business processes. In: Reichert, M., Strecker, S., Turowski, K. (eds.) EMISA, GI. LNI, vol.\u00a0P-119, pp. 115\u2013128 (2007)"}],"container-title":["Lecture Notes in Business Information Processing","Advances in Enterprise Engineering III"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01915-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T08:22:38Z","timestamp":1685002958000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01915-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642019142","9783642019159"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01915-9_3","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2009]]}}}