{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:30:02Z","timestamp":1750307402968,"version":"3.41.0"},"publisher-location":"San Diego, CA, USA","reference-count":7,"publisher":"Society for Computer Simulation International","license":[{"start":{"date-parts":[[2010,4,11]],"date-time":"2010-04-11T00:00:00Z","timestamp":1270944000000},"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":[[2010,4,11]]},"DOI":"10.1145\/1878537.1878788","type":"proceedings-article","created":{"date-parts":[[2010,11,9]],"date-time":"2010-11-09T15:01:31Z","timestamp":1289314891000},"page":"1-4","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Applying data-flow analysis to models a novel approach for model analysis"],"prefix":"10.1145","author":[{"given":"Christian","family":"Saad","sequence":"first","affiliation":[{"name":"University of Augsburg, Germany"}]},{"given":"Bernhard","family":"Bauer","sequence":"additional","affiliation":[{"name":"University of Augsburg, Germany"}]}],"member":"320","published-online":{"date-parts":[[2010,4,11]]},"reference":[{"volume-title":"Proceedings of the First International Workshop on Future Trends of Model-Driven Development in the context of ICEIS'09","author":"Saad C.","key":"e_1_3_2_1_1_1","unstructured":"Saad , C. , F. Lautenbacher , and B. Bauer , 2009, \"An Attribute-based Approach to the Analysis of Model Characteristics \". Proceedings of the First International Workshop on Future Trends of Model-Driven Development in the context of ICEIS'09 . Saad, C., F. Lautenbacher, and B. Bauer, 2009, \"An Attribute-based Approach to the Analysis of Model Characteristics\". Proceedings of the First International Workshop on Future Trends of Model-Driven Development in the context of ICEIS'09."},{"key":"e_1_3_2_1_2_1","unstructured":"Aho A. V. M. S. Lam R. Sethi and J. D. Ullman 2006 Compilers -- Principles Techniques & Tools. Addison Weasley 2nd edition.   Aho A. V. M. S. Lam R. Sethi and J. D. Ullman 2006 Compilers -- Principles Techniques & Tools . Addison Weasley 2nd edition."},{"key":"e_1_3_2_1_3_1","volume-title":"New Zealand Second International Workshop on Dynamic and Declarative Business Processes (DDBP), in conjunction with the 13th IEEE International EDOC Conference (EDOC","author":"G\u00f6tz M.","year":"2009","unstructured":"G\u00f6tz , M. , S. Roser , F. Lautenbacher , and B. Bauer , September 2009, \"Token Analysis of Graph-Oriented Process Models \". New Zealand Second International Workshop on Dynamic and Declarative Business Processes (DDBP), in conjunction with the 13th IEEE International EDOC Conference (EDOC 2009 ). G\u00f6tz, M., S. Roser, F. Lautenbacher, and B. Bauer, September 2009, \"Token Analysis of Graph-Oriented Process Models\". New Zealand Second International Workshop on Dynamic and Declarative Business Processes (DDBP), in conjunction with the 13th IEEE International EDOC Conference (EDOC 2009)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74974-5_4"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88871-0_30"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69100-6_6"},{"volume-title":"Proceedings of the 6th Int. Conf. Unified Modeling Language, Springer, 265--279","author":"Gogolla M.","key":"e_1_3_2_1_7_1","unstructured":"Gogolla , M. and M. Richters , 2003, \"Validation of UML and OCL Models by Automatic Snapshot Generation \". In Proceedings of the 6th Int. Conf. Unified Modeling Language, Springer, 265--279 . Gogolla, M. and M. Richters, 2003, \"Validation of UML and OCL Models by Automatic Snapshot Generation\". In Proceedings of the 6th Int. Conf. Unified Modeling Language, Springer, 265--279."}],"event":{"name":"SpringSim '10: 2010 Spring Simulation Conference","sponsor":["SCS Society for Modeling and Simulation International","SIGSIM ACM Special Interest Group on Simulation and Modeling"],"location":"Orlando Florida","acronym":"SpringSim '10"},"container-title":["Proceedings of the 2010 Spring Simulation Multiconference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1878537.1878788","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1878537.1878788","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:39:25Z","timestamp":1750246765000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1878537.1878788"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4,11]]},"references-count":7,"alternative-id":["10.1145\/1878537.1878788","10.5555\/1878537"],"URL":"https:\/\/doi.org\/10.1145\/1878537.1878788","relation":{},"subject":[],"published":{"date-parts":[[2010,4,11]]},"assertion":[{"value":"2010-04-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}