{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T13:41:23Z","timestamp":1768311683043,"version":"3.49.0"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319313061","type":"print"},{"value":"9783319313078","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-31307-8_68","type":"book-chapter","created":{"date-parts":[[2016,3,2]],"date-time":"2016-03-02T01:39:38Z","timestamp":1456882778000},"page":"665-673","source":"Crossref","is-referenced-by-count":3,"title":["Towards Ontology-Based Anti-patterns for the Verification of Business Process Behavior"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Roa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emiliano","family":"Reynares","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mar\u00eda Laura","family":"Caliusco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pablo","family":"Villarreal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,3,3]]},"reference":[{"key":"68_CR1","doi-asserted-by":"crossref","unstructured":"Weske, M.: Business process management: concepts, languages, architectures. Springer Science & Business Media (2012)","DOI":"10.1007\/978-3-642-28616-2"},{"key":"68_CR2","unstructured":"Object Management Group (OMG), Business Process Model and Notation (BPMN) Version 2.0, http:\/\/www.omg.org\/spec\/BPMN\/2.0\/"},{"key":"68_CR3","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.: The application of Petri nets to workflow management. Journal of Circuits, Systems, and Computers 8(1), 21\u201366 (1998)","DOI":"10.1142\/S0218126698000043"},{"key":"68_CR4","unstructured":"Koehler, J., Vanhatalo, J.: Process anti-patterns: How to avoid the common traps of business process modeling. IBM WebSphere Developer Technical Journal 10(2), 4 (2007)"},{"issue":"12","key":"68_CR5","doi-asserted-by":"crossref","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"Remco M. Dijkman","year":"2008","unstructured":"Dijkman, R., Dumas, M., and Ouyang, C.: Semantics and analysis of business process models in BPMN. Information and Software Technology 50(12), 1281\u20131294 (2008)","journal-title":"Information and Software Technology"},{"key":"68_CR6","first-page":"278","volume-title":"Lecture Notes in Computer Science","author":"Dirk 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. (eds.) BPM, vol. 5701, pp 278\u2013293 (2009)"},{"key":"68_CR7","unstructured":"Roa, J., Chiotti, O., Villarreal, P.: Behavior Alignment and Control Flow Verification of Process and Service Choreographies. Journal of Universal Computer Science 18(17), 2383\u20132406 (2012)"},{"key":"68_CR8","doi-asserted-by":"crossref","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 (EDOC06), pp. 116\u2013128. IEEE, Hong Kong (2006)","DOI":"10.1109\/EDOC.2006.56"},{"issue":"6-7","key":"68_CR9","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1002\/smr.517","volume":"22","author":"Stefan K\u00fchne","year":"2010","unstructured":"K\u00fchne, S., Kern, H., Gruhn, V., Laue, R.: Business process modeling with continuous validation. Journal of Software Maintenance and Evolution: Research and Practice 22 (6-7) 547\u2013566 (2010)","journal-title":"Journal of Software Maintenance and Evolution: Research and Practice"},{"key":"68_CR10","doi-asserted-by":"crossref","unstructured":"Han, Z., Gong, P., Zhang, L., Ling, J., Huang, W.: Definition and detection of control-flow anti-patterns in process models. In: IEEE 37th Annual Computer Software and Applications Conference Workshops (COMPSACW), pp. 433\u2013438. IEEE, Kyoto (2013)","DOI":"10.1109\/COMPSACW.2013.111"},{"key":"68_CR11","unstructured":"Laue, R., Awad, A.: Visualization of business process modeling anti patterns. Electronic Communications of the EASST 25 (2010)"},{"key":"68_CR12","doi-asserted-by":"crossref","unstructured":"Hepp, M., Leymann, F., Domingue, J., Wahler, A., & Fensel, D.: Semantic business process management: A vision towards using semantic web services for business process management. In: IEEE International Conference on e-Business Engineering, pp. 535\u2013540. IEEE, Beijing (2005)","DOI":"10.1109\/ICEBE.2005.110"},{"key":"68_CR13","doi-asserted-by":"crossref","unstructured":"Becker, J., Pfeiffer, D., R\u00e4ckers, M., Falk, T., & Czerwonka, M.: Semantic business process modelling and analysis. In: vom Brocke, J. and Rosemann, M. (eds.) Handbook on Business Process Management vol. 1, pp. 187\u2013217. Springer Berlin Heidelberg (2015)","DOI":"10.1007\/978-3-642-45100-3_9"},{"key":"68_CR14","doi-asserted-by":"crossref","unstructured":"Rospocher, M., Ghidini, C, Serafini, L.: An ontology for the Business Process Modelling Notation. Formal Ontology in Information Systems: Proceedings of the Eighth International Conference (FOIS2014), vol. 267, pp. 133-146. IOS Press, Rio de Janeiro (2014)","DOI":"10.3233\/978-1-61499-438-1-133"},{"key":"68_CR15","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-3-540-24625-1_2","volume-title":"Software Engineering for Multi-Agent Systems II","author":"Karin Koogan Breitman","year":"2004","unstructured":"Breitman, K., Leite, J.: Lexicon based ontology construction. In C. Lucena, A. Garcia, A. Romanovsky, J. Castro, P. S. C. Alencar (eds.) Software engineering for multi-agent systems II. LNCS, vol. 2940, pp. 41\u201345. Springer, Berlin Heidelberg (2004)"},{"key":"68_CR16","unstructured":"World Wide Web Consortium (W3C), OWL 2 web ontology language. Document overview, http:\/\/www.w3.org\/TR\/owl2-overview\/"},{"key":"68_CR17","unstructured":"World Wide Web Consortium (W3C), SWRL: A semantic web rule language combining OWL and RuleML, http:\/\/www.w3.org\/Submission\/SWRL\/"}],"container-title":["Advances in Intelligent Systems and Computing","New Advances in Information Systems and Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-31307-8_68","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T15:53:38Z","timestamp":1748793218000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-31307-8_68"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319313061","9783319313078"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-31307-8_68","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"value":"2194-5357","type":"print"},{"value":"2194-5365","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}