{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:38:43Z","timestamp":1750307923901,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":7,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,3,11]],"date-time":"2007-03-11T00:00:00Z","timestamp":1173571200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,3,11]]},"DOI":"10.1145\/1244002.1244225","type":"proceedings-article","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T14:37:31Z","timestamp":1181140651000},"page":"1031-1032","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A software framework for automated verification"],"prefix":"10.1145","author":[{"given":"Ivo","family":"Raedts","sequence":"first","affiliation":[{"name":"Universiteit Eindhoven and Radboud Universiteit Nijmegen, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marija","family":"Petkovi\u0107","sequence":"additional","affiliation":[{"name":"Universiteit Eindhoven and Radboud Universiteit Nijmegen, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Serebrenik","sequence":"additional","affiliation":[{"name":"Universiteit Eindhoven and Radboud Universiteit Nijmegen, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan Martijn","family":"van der Werf","sequence":"additional","affiliation":[{"name":"Universiteit Eindhoven and Radboud Universiteit Nijmegen, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lou","family":"Somers","sequence":"additional","affiliation":[{"name":"Universiteit Eindhoven and Radboud Universiteit Nijmegen, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maarten","family":"Boote","sequence":"additional","affiliation":[{"name":"Universiteit Eindhoven and Radboud Universiteit Nijmegen, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,3,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Business Process Execution Language for Web Services Version 1.1 BEA Systems","author":"Andrews T.","year":"2003","unstructured":"Andrews , T. , Curbera , F. , Dholakia , H. , Goland , Y. , Klein , J. , Leymann , F. , Liu , K. , Roller , D. , Smith , D. , Thatte , S. , Trickovic , I. , Weerawarana , S. , Business Process Execution Language for Web Services Version 1.1 BEA Systems , IBM Corporation , Microsoft Corporation , SAP AG, Siebel Systems, May 2003 . Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S., Business Process Execution Language for Web Services Version 1.1 BEA Systems, IBM Corporation, Microsoft Corporation, SAP AG, Siebel Systems, May 2003."},{"key":"e_1_3_2_1_2_1","volume-title":"UML Distilled: A Brief Guide to the Standard Object Modeling Language","author":"Fowler M.","year":"2000","unstructured":"Fowler , M. , UML Distilled: A Brief Guide to the Standard Object Modeling Language , 2 nd edn. Addison Wesley ( 2000 ). Fowler, M., UML Distilled: A Brief Guide to the Standard Object Modeling Language, 2nd edn. Addison Wesley (2000).","edition":"2"},{"key":"e_1_3_2_1_4_1","volume-title":"Heft 89","author":"Keller G.","year":"1992","unstructured":"Keller , G. , N\u00fcttgens , M. , Scheer , A. W. , Semantische Prozessmodellierung auf der Grundlage \"Ereignisgesteuerter Prozessketten (EPK) \", Heft 89 , Institut f\u00fcr Wirtschaftsinformatik , Saarbrucken, Germany ( 1992 ). Keller, G., N\u00fcttgens, M., Scheer, A. W., Semantische Prozessmodellierung auf der Grundlage \"Ereignisgesteuerter Prozessketten (EPK)\", Heft 89, Institut f\u00fcr Wirtschaftsinformatik, Saarbrucken, Germany (1992)."},{"key":"e_1_3_2_1_5_1","volume-title":"Int. Workshop on Graph Based Tools (GraBaTs'02)","volume":"72","author":"Margaria T.","year":"2002","unstructured":"Margaria , T. , The Electronic Tool Integration Platform as a supplier and user of Graph Transformation Tools - Experience and Perspectives , Int. Workshop on Graph Based Tools (GraBaTs'02) , Barcelona (E ), Oct. 2002 , ENTCS Vol. 72 N.2. Margaria, T., The Electronic Tool Integration Platform as a supplier and user of Graph Transformation Tools - Experience and Perspectives, Int. Workshop on Graph Based Tools (GraBaTs'02), Barcelona (E), Oct. 2002, ENTCS Vol. 72 N.2."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2005.59"},{"key":"e_1_3_2_1_7_1","volume-title":"an Introduction","author":"Reisig W.","year":"1985","unstructured":"Reisig , W. , Petri Nets , an Introduction . Springer-Verlag , Berlin , ( 1985 ). Reisig, W., Petri Nets, an Introduction. Springer-Verlag, Berlin, (1985)."},{"key":"e_1_3_2_1_8_1","volume-title":"Business Process Modeling Notation (BPMN) Version 1.0 -","author":"White S. A.","year":"2004","unstructured":"White , S. A. , Business Process Modeling Notation (BPMN) Version 1.0 - May 2004 . At the BPMN website http:\/\/www.bpmn.org. White, S. A., Business Process Modeling Notation (BPMN) Version 1.0 - May 2004. At the BPMN website http:\/\/www.bpmn.org."}],"event":{"name":"SAC07: The 2007 ACM Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Seoul Korea","acronym":"SAC07"},"container-title":["Proceedings of the 2007 ACM symposium on Applied computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1244002.1244225","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1244002.1244225","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:51:42Z","timestamp":1750258302000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1244002.1244225"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,11]]},"references-count":7,"alternative-id":["10.1145\/1244002.1244225","10.1145\/1244002"],"URL":"https:\/\/doi.org\/10.1145\/1244002.1244225","relation":{},"subject":[],"published":{"date-parts":[[2007,3,11]]},"assertion":[{"value":"2007-03-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}