{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T20:00:01Z","timestamp":1760299201584,"version":"3.41.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319226880"},{"type":"electronic","value":"9783319226897"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-22689-7_9","type":"book-chapter","created":{"date-parts":[[2015,8,31]],"date-time":"2015-08-31T08:25:49Z","timestamp":1441009549000},"page":"120-136","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Visualization of Checking Results for Graphical Validation Rules"],"prefix":"10.1007","author":[{"given":"S\u00f6ren","family":"Witt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"Feja","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Hadler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Speck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elke","family":"Pulverm\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,1]]},"reference":[{"issue":"1","key":"9_CR1","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.jvlc.2010.11.002","volume":"22","author":"A Awad","year":"2011","unstructured":"Awad, A., Weidlich, M., Weske, M.: Visually specifying compliance rules and explaining their violations for business processes. J. Vis. Lang. Comput. 22(1), 30\u201355 (2011)","journal-title":"J. Vis. Lang. Comput."},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/j.datak.2013.04.008","volume":"87","author":"D Borrego","year":"2013","unstructured":"Borrego, D., Eshuis, R., G\u00f3mez-L\u00f3pez, M.T., Gasca, R.M.: Diagnosing correctness of semantic workflow models. Data Knowl. Eng. 87, 167\u2013184 (2013)","journal-title":"Data Knowl. Eng."},{"key":"9_CR3","unstructured":"Br\u00e4uer, S., Delfmann, P., Dietrich, H.A., Steinhorst, M.: Using a generic model query approach to allow for process model compliance checking \u2013 an algorithmic perspective. In: 2013 Proceedings of the Wirtschaftsinformatik (2013)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/3-540-44798-9_23","volume-title":"Correct Hardware Design and Verification Methods","author":"Fady Copty","year":"2001","unstructured":"Copty, Fady, Irron, Amitai, Weissberg, Osnat, Kropp, Nathan, Kamhi, Gila: Efficient debugging in a formal verification environment. In: Margaria, Tiziana, Melham, Thomas F. (eds.) CHARME 2001. LNCS, vol. 2144, pp. 275\u2013292. Springer, Heidelberg (2001)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1007\/11494744_25","volume-title":"Applications and Theory of Petri Nets 2005","author":"Boudewijn F van Dongen","year":"2005","unstructured":"van Dongen, Boudewijn F., de Medeiros, Ana Karla Alves, Verbeek, HMW(Eric), Weijters, AJMMTon, van der Aalst, Wil M.P.: The ProM framework: a new era in process mining tool support. In: Ciardo, Gianfranco, Darondeau, Philippe (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 444\u2013454. Springer, Heidelberg (2005)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering, pp. 411\u2013420. ACM (1999)","DOI":"10.1145\/302405.302672"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Feja, S., F\u00f6tsch, D.: Model Checking with Graphical Validation Rules. In: International Conference on the Engineering of Computer-Based Systems. pp. 117\u2013125. IEEE Computer Society (2008)","DOI":"10.1109\/ECBS.2008.45"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Feja, S., Witt, S., Speck, A.: BAM: a requirements validation and verification framework for business process models. In: 11th International Conference on Quality Software, pp. 186\u2013191. IEEE Computer Society (2011)","DOI":"10.1109\/QSIC.2011.33"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1007\/11880240_49","volume-title":"Model Driven Engineering Languages and Systems","author":"Heather J Goldsby","year":"2006","unstructured":"Goldsby, Heather J., Cheng, Betty H.C., Konrad, Sascha, Kamdoum, Stephane: A visualization framework for the modeling and formal analysis of high assurance systems. In: Wang, Jilin, Whittle, Jon, Harel, David, Reggio, Gianna (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 707\u2013721. Springer, Heidelberg (2006)"},{"key":"9_CR10","unstructured":"Keller, G., N\u00fcttgens, M., Scheer, A.W.: Semantische Prozessmodellierung auf der Grundlage Ereignisgesteuerter Prozessketten (EPK). Technical report Institut f\u00fcr Wirtschaftsinformatik Universit\u00e4t Saarbr\u00fccken, Saarbr\u00fccken (1992)"},{"key":"9_CR11","unstructured":"McMillan, K.: Cadence SMV and other downloads from Cadence Berkeley Labs. Technical reports, Cadence Berkeley Labs (2012)"},{"key":"9_CR12","volume-title":"Metric for Process Models-Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness","author":"J Mendling","year":"2008","unstructured":"Mendling, J.: Metric for Process Models-Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness. Springer, Berlin (2008)"},{"key":"9_CR13","unstructured":"Nayak, P.P., Williams, B.C.: Fast Context Switching in Real-Time Propositional Reasoning, pp. 50\u201356. AAAI Press (1997)"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/3-540-45484-5_8","volume-title":"Formal Approaches to Agent-Based Systems","author":"Charles Pecheur","year":"2001","unstructured":"Pecheur, Charles, Simmons, Reid G.: From livingstone to SMV. In: Rash, James L., Rouff, Christopher A., Truszkowski, Walt, Gordon, Diana F., Hinchey, Michael G. (eds.) FAABS 2000. LNCS (LNAI), vol. 1871, pp. 103\u2013113. Springer, Heidelberg (2001)"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/978-3-642-54807-9_14","volume-title":"Compiler Construction","author":"Thomas M Prinz","year":"2014","unstructured":"Prinz, Thomas M., Spie\u00df, Norbert, Amme, Wolfram: A first step towards a compiler for business processes. In: Cohen, Albert (ed.) CC 2014 (ETAPS). LNCS, vol. 8409, pp. 238\u2013243. Springer, Heidelberg (2014)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Simmons, R., Pecheur, C., Srinivasan, G.: Towards automatic verification of autonomous systems. In: International Conference on Intelligent Robots and Systems, pp. 1410\u20131415 (2000)","DOI":"10.1109\/IROS.2000.893218"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Witt, S., Feja, S., Speck, A., Hadler, C.: Business application modeler: a process model validation and verification tool. In: Requirements Engineering Conference, pp. 333\u2013334 (2014)","DOI":"10.1109\/RE.2014.6912283"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Witt, S., Feja, S., Speck, A.: Applying pattern-based graphical validation rules to business process models. In: IEEE International Conference on Software Testing, Verification, and Validation Workshops, pp. 274\u2013283. IEEE Computer Society (2014)","DOI":"10.1109\/ICSTW.2014.30"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Witt, S., Feja, S., Speck, A., Prietz, C.: Integrated privacy modeling and validation for business process models. In: Proceedings of the 2012 Joint EDBT\/ICDT Workshops, pp. 196\u2013205. ACM (2012)","DOI":"10.1145\/2320765.2320821"}],"container-title":["Communications in Computer and Information Science","Intelligent Software Methodologies, Tools and Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22689-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T09:22:55Z","timestamp":1748596975000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22689-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319226880","9783319226897"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22689-7_9","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"1 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}