{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:30:24Z","timestamp":1725629424891},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/re.2014.6912283","type":"proceedings-article","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T16:37:18Z","timestamp":1412095038000},"page":"333-334","source":"Crossref","is-referenced-by-count":2,"title":["Business Application Modeler: A process model Validation and Verification tool"],"prefix":"10.1109","author":[{"given":"Soren","family":"Witt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"Feja","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Speck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Hadler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2008.45"},{"key":"2","first-page":"182","article-title":"Visualization of compliance violation in business process models","author":"awad","year":"2009","journal-title":"Business Process Management Workshops"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2011.33"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2014.30"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/2320765.2320821"},{"key":"4","first-page":"246","article-title":"Integrating validation techniques for process-based models","author":"speck","year":"2013","journal-title":"Proceedings of the Eighth International Conference on Evaluation of Novel Approaches to Software Engineering"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34549-4_4"}],"event":{"name":"2014 IEEE 22nd International Requirements Engineering Conference (RE)","start":{"date-parts":[[2014,8,25]]},"location":"Karlskrona, Sweden","end":{"date-parts":[[2014,8,29]]}},"container-title":["2014 IEEE 22nd International Requirements Engineering Conference (RE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6903646\/6912234\/06912283.pdf?arnumber=6912283","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T18:10:19Z","timestamp":1490292619000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6912283\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/re.2014.6912283","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}