{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T15:19:41Z","timestamp":1725981581820},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319933740"},{"type":"electronic","value":"9783319933757"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-93375-7_28","type":"book-chapter","created":{"date-parts":[[2018,6,15]],"date-time":"2018-06-15T15:30:27Z","timestamp":1529076627000},"page":"611-629","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["An Interface Prototype Proposal to a Semiautomatic Process Model Verification Method Based on Process Modeling Guidelines"],"prefix":"10.1007","author":[{"given":"Valter Helmuth Goldberg","family":"J\u00fanior","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vinicius Stein","family":"Dani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego Toralles","family":"Avila","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lucineia Heloisa","family":"Thom","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Palazzo Moreira","family":"de Oliveira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcelo","family":"Fantinato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,16]]},"reference":[{"key":"28_CR1","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1016\/j.datak.2007.06.019","volume":"64","author":"J Mendling","year":"2008","unstructured":"Mendling, J., Verbeek, H., van Dongen, B., van der Aalst, W., Neumann, G.: Detection and prediction of errors in EPCs of the SAP reference model. Data Knowl. Eng. 64, 312\u2013329 (2008)","journal-title":"Data Knowl. Eng."},{"key":"28_CR2","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/MS.2015.81","volume":"33","author":"H Leopold","year":"2016","unstructured":"Leopold, H., Mendling, J., Gunther, O.: Learning from quality issues of BPMN models from industry. IEEE Softw. 33, 26\u201333 (2016)","journal-title":"IEEE Softw."},{"key":"28_CR3","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.infsof.2009.08.004","volume":"52","author":"J Mendling","year":"2010","unstructured":"Mendling, J., Reijers, H.A., van der Aalst, W.M.P.: Seven process modeling guidelines (7PMG). Inf. Softw. Technol. 52, 127\u2013136 (2010)","journal-title":"Inf. Softw. Technol."},{"key":"28_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1007\/978-3-642-31095-9_45","volume-title":"Advanced Information Systems Engineering","author":"G Guizzardi","year":"2012","unstructured":"Guizzardi, G.: Ontological foundations for conceptual modeling with applications. In: Ralyt\u00e9, J., Franch, X., Brinkkemper, S., Wrycza, S. (eds.) CAiSE 2012. LNCS, vol. 7328, pp. 695\u2013696. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31095-9_45"},{"key":"28_CR5","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-540-89224-3_4","volume-title":"In: Metrics for Process Models","author":"J Mendling","year":"2008","unstructured":"Mendling, J.: Metrics for Business Process Models. In: Metrics for Process Models, vol. 6, pp. 103\u2013133. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89224-3_4"},{"key":"28_CR6","unstructured":"Silver, B.: BPMN method and style: a levels-based methodology for BPM process modeling and improvement using BPMN 2.0 (2009)"},{"key":"28_CR7","unstructured":"White, S.A., Miers, D.: BPMN Modeling and Reference Guide (2008)"},{"key":"28_CR8","unstructured":"Allweyer, T., Allweyer, D.: BPMN 2.0 : introduction to the standard for business process modeling. Books on Demand GmbH (2010)"},{"key":"28_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/3-540-45594-9_3","volume-title":"Business Process Management","author":"J Becker","year":"2000","unstructured":"Becker, J., Rosemann, M., von Uthmann, C.: Guidelines of business process modeling. In: van der Aalst, W., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 30\u201349. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-45594-9_3"},{"key":"28_CR10","unstructured":"Mendling, J., Neumann, G., van der Aalst, W.M.P.: On the correlation between process model metrics and errors. 26th International Conference on Conceptual Modeling, pp. 173\u2013178 (2007)"},{"key":"28_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/978-3-540-69534-9_36","volume-title":"Advanced Information Systems Engineering","author":"I Vanderfeesten","year":"2008","unstructured":"Vanderfeesten, I., Reijers, H.A., Mendling, J., van der Aalst, W.M.P., Cardoso, J.: On a quest for good process models: the cross-connectivity metric. In: Bellahs\u00e8ne, Z., L\u00e9onard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 480\u2013494. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-69534-9_36"},{"key":"28_CR12","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1016\/j.protcy.2012.09.045","volume":"5","author":"A Correia","year":"2012","unstructured":"Correia, A., Abreu, F.B.E.: Adding preciseness to BPMN models. Procedia Technol. 5, 407\u2013417 (2012)","journal-title":"Procedia Technol."},{"key":"28_CR13","doi-asserted-by":"crossref","DOI":"10.1201\/b17511","volume-title":"Visualization Analysis and Design","author":"T Munzner","year":"2014","unstructured":"Munzner, T.: Visualization Analysis and Design. CRC Press, Boca Raton (2014)"},{"key":"28_CR14","unstructured":"J\u00fanior, V.H.G., Heloisa, L., Jos, T.: A semiautomatic process model verification method based on process modeling guidelines (2017)"},{"key":"28_CR15","unstructured":"Vanderfeesten, I., Cardoso, J., Mendling, J., Reijers, H.A., van der Aalst, W.M.P.: Quality metrics for business process models. BPM and Workflow, pp. 1\u201312 (2007)"},{"key":"28_CR16","doi-asserted-by":"crossref","unstructured":"Mendling, J.: Metrics for Process Models, vol. 6. LNBIP. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-89224-3"},{"key":"28_CR17","unstructured":"Gruhn, V., Laue, R.: Complexity metrics for business process models. In: 9th International Conference on Business Information ... (2006)"},{"key":"28_CR18","doi-asserted-by":"publisher","first-page":"1159","DOI":"10.1016\/j.infsof.2012.05.001","volume":"54","author":"L S\u00e1nchez-Gonz\u00e1lez","year":"2012","unstructured":"S\u00e1nchez-Gonz\u00e1lez, L., Garc\u00eda, F., Ruiz, F., Mendling, J.: Quality indicators for business process models from a gateway complexity perspective. Inf. Softw. Technol. 54, 1159\u20131174 (2012)","journal-title":"Inf. Softw. Technol."},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"Cardoso, J.: Process control-flow complexity metric: an empirical validation. In: IEEE International Conference on Services Computing, SCC 2006 (2006)","DOI":"10.1109\/SCC.2006.82"},{"key":"28_CR20","unstructured":"S\u00e1nchez-Gonz\u00e1lez, L., Garc\u00eda, F., Mendling, J., Ruiz, F., Piattini, M.: Prediction of Business Process Model Quality Based on Structural Metrics (2008)"},{"key":"28_CR21","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-319-25897-3_8","volume-title":"The Practice of Enterprise Modeling","author":"M Snoeck","year":"2015","unstructured":"Snoeck, M., Moreno-Montes de Oca, I., Haegemans, T., Scheldeman, B., Hoste, T.: Testing a selection of BPMN tools for their support of modelling guidelines. In: Ralyt\u00e9, J., Espa\u00f1a, S., Pastor, \u00d3. (eds.) PoEM 2015. LNBIP, vol. 235, pp. 111\u2013125. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25897-3_8"},{"key":"28_CR22","doi-asserted-by":"crossref","unstructured":"Moreno-Montes de Oca, I., Snoeck, M.: Pragmatic guidelines for Business Process Modeling, p. 70 (2014)","DOI":"10.2139\/ssrn.2592983"},{"key":"28_CR23","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.compind.2011.12.003","volume":"63","author":"RM Dijkman","year":"2012","unstructured":"Dijkman, R.M., La Rosa, M., Reijers, H.A.: Managing large collections of business process models-current techniques and challenges. Comput. Ind. 63, 91\u201397 (2012)","journal-title":"Comput. Ind."},{"key":"28_CR24","unstructured":"Beeri, C., Eyal, A., Kamenkovich, S., Milo, T.: Querying business processes. In: Proceedings of the 32nd International Conference on Very Large Data Bases, VLDB Endowment, pp. 343\u2013354 (2006)"},{"key":"28_CR25","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-642-28115-0_9","volume-title":"Business Process Management Workshops","author":"Markus Hipp","year":"2012","unstructured":"Hipp, M., Mutschler, B., Reichert, M.: Navigating in process model collections: a new approach inspired by google earth. In: International Conference on Business Process Management, pp. 87\u201398. Springer (2011)"},{"key":"28_CR26","unstructured":"OMG (Object Management Group): BPMN Specification - Business Process Model and Notation (2015)"},{"key":"28_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-2936-3","volume-title":"Model-Based Development and Evolution of Information Systems","author":"J Krogstie","year":"2012","unstructured":"Krogstie, J.: Model-Based Development and Evolution of Information Systems. Springer, London (2012)"},{"key":"28_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-540-49524-6_20","volume-title":"Conceptual Modeling \u2013 ER 98","author":"R Schuette","year":"1998","unstructured":"Schuette, R., Rotthowe, T.: The guidelines of modeling \u2013 an approach to enhance the quality in information models. In: Ling, T.-W., Ram, S., Li Lee, M. (eds.) ER 1998. LNCS, vol. 1507, pp. 240\u2013254. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/978-3-540-49524-6_20"},{"key":"28_CR29","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-00416-2_8","volume-title":"In: Handbook on Business Process Management 1","author":"HA Reijers","year":"2015","unstructured":"Reijers, H.A., Mendling, J., Recker, J.: Business process quality management. In: Handbook on Business Process Management 1, pp. 167\u2013185. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-642-00416-2_8"},{"key":"28_CR30","unstructured":"Rospocher, M., Ghidini, C., Serafini, L.: An ontology for the Business Process Modelling Notation. In: Garbacz, P., Kutz, O., (eds.) Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, FOIS 2014, 22\u201325 September, 2014, Rio de Janeiro, Brazil, vol. 267, pp. 133\u2013146. IOS Press (2014)"},{"key":"28_CR31","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-642-18360-7_3","volume-title":"Evaluations of Process Modeling Grammars","author":"Jan Recker","year":"2011","unstructured":"Recker, J.: Evaluations of process modeling grammars: ontological, qualitative and quantitative analyses using the example of BPMN. Springer (2011)"},{"key":"28_CR32","doi-asserted-by":"publisher","first-page":"1188","DOI":"10.1016\/j.jss.2012.01.017","volume":"85","author":"J Mendling","year":"2012","unstructured":"Mendling, J., S\u00e1nchez-Gonz\u00e1lez, L., Garc\u00eda, F., La Rosa, M.: Thresholds for error probability measures of business process models. J. Syst. Softw. 85, 1188\u20131197 (2012)","journal-title":"J. Syst. Softw."},{"key":"28_CR33","doi-asserted-by":"crossref","unstructured":"Gassen, J.B., Mendling, J., Thom, L.H., de Oliveira, J.P.M.: Business process modeling. In: Proceedings of the 32nd ACM International Conference on the Design of Communication CD-ROM - SIGDOC 2014, pp. 1\u201310. ACM Press, New York (2014)","DOI":"10.1145\/2666216.2666217"},{"key":"28_CR34","doi-asserted-by":"crossref","first-page":"2:1","DOI":"10.1145\/1456650.1456652","volume":"41","author":"A Cockburn","year":"2009","unstructured":"Cockburn, A., Karlson, A., Bederson, B.B.: A review of overview+detail, zooming, and focus+context interfaces. ACM Comput. Surv. 41, 2:1\u20132:31 (2009)","journal-title":"ACM Comput. Surv."},{"key":"28_CR35","doi-asserted-by":"publisher","first-page":"921","DOI":"10.1109\/TVCG.2009.111","volume":"15","author":"T Munzner","year":"2009","unstructured":"Munzner, T.: A nested model for visualization design and validation. IEEE Trans. Vis. Comput. Graph. 15, 921\u2013928 (2009)","journal-title":"IEEE Trans. Vis. Comput. Graph."},{"key":"28_CR36","unstructured":"Balieiro, J.C.D.C.: Introdu\u00e7\u00e3o \u00e0 estat\u00edstica (2008)"},{"key":"28_CR37","doi-asserted-by":"crossref","unstructured":"Wehrend, S., Lewis, C.: A problem-oriented classification of visualization techniques. In: Proceedings of the 1st Conference on Visualization1990, pp. 139\u2013143. IEEE Computer Society Press (1990)","DOI":"10.1109\/VISUAL.1990.146375"},{"key":"28_CR38","doi-asserted-by":"crossref","unstructured":"Zhou, M.X., Feiner, S.K.: Visual task characterization for automated visual discourse synthesis. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pp. 392\u2013399. ACM Press\/Addison-Wesley Publishing Co. (1998)","DOI":"10.1145\/274644.274698"},{"key":"28_CR39","doi-asserted-by":"crossref","unstructured":"Shneiderman, B.: The eyes have it: a task by data type taxonomy for information visualizations. In: Proceedings of the IEEE Symposium on Visual Languages, pp. 336\u2013343. IEEE (1996)","DOI":"10.1109\/VL.1996.545307"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-93375-7_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,3]],"date-time":"2020-11-03T14:27:49Z","timestamp":1604413669000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-93375-7_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319933740","9783319933757"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-93375-7_28","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2018]]}}}