{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:05:38Z","timestamp":1725887138059},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319584560"},{"type":"electronic","value":"9783319584577"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-58457-7_8","type":"book-chapter","created":{"date-parts":[[2017,5,4]],"date-time":"2017-05-04T21:03:51Z","timestamp":1493931831000},"page":"106-117","source":"Crossref","is-referenced-by-count":4,"title":["Ontology-Based Heuristics for Process Behavior: Formalizing False Positive Scenarios"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Roa","sequence":"first","affiliation":[]},{"given":"Emiliano","family":"Reynares","sequence":"additional","affiliation":[]},{"given":"Mar\u00eda Laura","family":"Caliusco","sequence":"additional","affiliation":[]},{"given":"Pablo","family":"Villarreal","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,6]]},"reference":[{"issue":"01","key":"8_CR1","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"08","author":"WMP Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of petri nets to workflow management. J. Circ. Syst. Comput. 08(01), 21\u201366 (1998)","journal-title":"J. Circ. Syst. Comput."},{"key":"8_CR2","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-540-79396-0_21","volume-title":"Business Information Systems","author":"A Awad","year":"2008","unstructured":"Awad, A., Puhlmann, F.: Structural detection of deadlocks in business process models. In: Abramowicz, W., Fensel, D. (eds.) BIS 2008. LNBIP, vol. 7, pp. 239\u2013250. Springer, Heidelberg (2008). doi:\n10.1007\/978-3-540-79396-0_21"},{"key":"8_CR3","series-title":"International Handbooks on Information Systems","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-642-45100-3_9","volume-title":"Handbook on Business Process Management 1: Introduction, Methods, and Information Systems","author":"J Becker","year":"2015","unstructured":"Becker, J., Pfeiffer, D., R\u00e4ckers, M., Falk, T., Czerwonka, M.: Semantic business process modelling and analysis. In: Brocke, J., Rosemann, M. (eds.) Handbook on Business Process Management 1. IHIS, pp. 187\u2013217. Springer, Heidelberg (2015). doi:\n10.1007\/978-3-642-45100-3_9"},{"key":"8_CR4","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: Models, Techniques, and Empirical Studies","author":"J Becker","year":"2000","unstructured":"Becker, J., Rosemann, M., Uthmann, C.: Guidelines of business process modeling. In: Aalst, W., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 30\u201349. Springer, Heidelberg (2000). doi:\n10.1007\/3-540-45594-9_3"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-24625-1_2","volume-title":"Software Engineering for Multi-Agent Systems II: Research Issues and Practical Applications","author":"KK Breitman","year":"2004","unstructured":"Breitman, K.K., Sampaio do Prado Leite, J.C.: Lexicon based ontology construction. In: Lucena, C., Garcia, A., Romanovsky, A., Castro, J., Alencar, P.S.C. (eds.) SELMAS 2003. LNCS, vol. 2940, pp. 19\u201334. Springer, Heidelberg (2004). doi:\n10.1007\/978-3-540-24625-1_2"},{"issue":"12","key":"8_CR6","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"RM Dijkman","year":"2008","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in bpmn. Inf. Softw. Technol. 50(12), 1281\u20131294 (2008)","journal-title":"Inf. Softw. Technol."},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-03848-8_19","volume-title":"Business Process Management","author":"D Fahland","year":"2009","unstructured":"Fahland, D., Favre, C., Jobstmann, B., Koehler, J., Lohmann, N., V\u00f6lzer, H., Wolf, K.: Instantaneous soundness checking of industrial business process models. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 278\u2013293. Springer, Heidelberg (2009). doi:\n10.1007\/978-3-642-03848-8_19"},{"unstructured":"Koehler, J., Vanhatalo, J.: Process anti-patterns: How to avoid the common traps of business process modeling. IBM WebSphere Dev. Tech. J. 10(2\u20134) (2007)","key":"8_CR8"},{"issue":"6\u20137","key":"8_CR9","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1002\/smr.517","volume":"22","author":"S K\u00fchne","year":"2010","unstructured":"K\u00fchne, S., Kern, H., Gruhn, V., Laue, R.: Business process modeling with continuous validation. J. Softw. Maint. Evol. Res. Pract. 22(6\u20137), 547\u2013566 (2010)","journal-title":"J. Softw. Maint. Evol. Res. Pract."},{"key":"8_CR10","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-319-17957-5_3","volume-title":"E-Technologies","author":"F Palma","year":"2015","unstructured":"Palma, F., Moha, N., Gu\u00e9h\u00e9neuc, Y.-G.: Specification and detection of business process antipatterns. In: Benyoucef, M., Weiss, M., Mili, H. (eds.) MCETECH 2015. LNBIP, vol. 209, pp. 37\u201352. Springer, Cham (2015). doi:\n10.1007\/978-3-319-17957-5_3"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1016\/j.infsof.2016.01.001","volume":"75","author":"J Roa","year":"2016","unstructured":"Roa, J., Chiotti, O., Villarreal, P.: Specification of behavioral anti-patterns for the verification of block-structured collaborative business processes. Inf. Softw. Technol. 75, 148\u2013170 (2016)","journal-title":"Inf. Softw. Technol."},{"issue":"17","key":"8_CR12","first-page":"2383","volume":"18","author":"J Roa","year":"2012","unstructured":"Roa, J., Chiotti, O., Villarreal, P.: Behavior alignment and control flow verification of process and service choreographies. JUCS 18(17), 2383\u20132406 (2012)","journal-title":"JUCS"},{"key":"8_CR13","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"665","DOI":"10.1007\/978-3-319-31307-8_68","volume-title":"New Advances in Information Systems and Technologies: Volume 2","author":"J Roa","year":"2016","unstructured":"Roa, J., Reynares, E., Caliusco, M.L., Villarreal, P.: Towards ontology-based anti-patterns for the verification of business process behavior. New Advances in Information Systems and Technologies. AISC, vol. 445, pp. 665\u2013673. Springer, Cham (2016). doi:\n10.1007\/978-3-319-31307-8_68"},{"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, FOIS2014, September 22\u201325, 2014, vol. 267, pp. 133\u2013146. IOS Press, Rio de Janeiro (2014)","key":"8_CR14"},{"doi-asserted-by":"publisher","unstructured":"Van Dongen, B., Mendling, J., van der Aalst, W.: Structural patterns for soundness of business process models. In: 10th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2006, pp. 116\u2013128, October 2006","key":"8_CR15","DOI":"10.1109\/EDOC.2006.56"},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-74974-5_4","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"J Vanhatalo","year":"2007","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Leymann, F.: Faster and more focused control-flow analysis for business process models through SESE decomposition. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 43\u201355. Springer, Heidelberg (2007). doi:\n10.1007\/978-3-540-74974-5_4"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-58457-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,5,4]],"date-time":"2017-05-04T21:05:59Z","timestamp":1493931959000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-58457-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319584560","9783319584577"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-58457-7_8","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2017]]}}}