{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T18:33:21Z","timestamp":1784572401446,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,3,26]],"date-time":"2012-03-26T00:00:00Z","timestamp":1332720000000},"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":[[2012,3,26]]},"DOI":"10.1145\/2245276.2231942","type":"proceedings-article","created":{"date-parts":[[2012,6,11]],"date-time":"2012-06-11T13:03:31Z","timestamp":1339419811000},"page":"1063-1068","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Functional requirements validation by transforming use case models into Abstract State Machines"],"prefix":"10.1145","author":[{"given":"Patrizia","family":"Scandurra","sequence":"first","affiliation":[{"name":"DIIMM, Univ. of Bergamo, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Arnoldi","sequence":"additional","affiliation":[{"name":"DIIMM, Univ. of Bergamo, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tao","family":"Yue","sequence":"additional","affiliation":[{"name":"Simula Research Laboratory, Oslo, Norway"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco","family":"Dolci","sequence":"additional","affiliation":[{"name":"DIIMM, Univ. of Bergamo, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2012,3,26]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"www.acceleo.org\/","author":"ACCELEO","year":"2006","unstructured":"ACCELEO website. www.acceleo.org\/ , 2006 . ACCELEO website. www.acceleo.org\/, 2006."},{"key":"e_1_3_2_1_2_1","volume-title":"http:\/\/asmeta.svn.sf.net\/svnroot\/asmeta\/code\/experimental\/AsmetaRE\/","author":"RE.","year":"2011","unstructured":"Asmeta RE. http:\/\/asmeta.svn.sf.net\/svnroot\/asmeta\/code\/experimental\/AsmetaRE\/ , 2011 . AsmetaRE. http:\/\/asmeta.svn.sf.net\/svnroot\/asmeta\/code\/experimental\/AsmetaRE\/, 2011."},{"key":"e_1_3_2_1_3_1","volume-title":"http:\/\/asmeta.sf.net\/","author":"The ASMETA","year":"2006","unstructured":"The ASMETA toolset. http:\/\/asmeta.sf.net\/ , 2006 . The ASMETA toolset. http:\/\/asmeta.sf.net\/, 2006."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-005-0079-0"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02745370"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"B\u00f6rger E.","year":"2003","unstructured":"E. B\u00f6rger and R. St\u00e4rk . Abstract State Machines: A Method for High-Level System Design and Analysis . Springer Verlag , 2003 . E. B\u00f6rger and R. St\u00e4rk. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer Verlag, 2003."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1006258.1006261"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87603-8_7"},{"key":"e_1_3_2_1_9_1","volume-title":"http:\/\/www.eclipse.org\/emf\/","author":"EMF.","year":"2008","unstructured":"EMF. http:\/\/www.eclipse.org\/emf\/ , 2008 . EMF. http:\/\/www.eclipse.org\/emf\/, 2008."},{"issue":"12","key":"e_1_3_2_1_10_1","first-page":"1949","article-title":"A metamodel-based language and a simulation engine for Abstract State Machines","volume":"14","author":"Gargantini A.","year":"2008","unstructured":"A. Gargantini , E. Riccobene , and P. Scandurra . A metamodel-based language and a simulation engine for Abstract State Machines . J. UCS , 14 ( 12 ): 1949 -- 1983 , 2008 . A. Gargantini, E. Riccobene, and P. Scandurra. A metamodel-based language and a simulation engine for Abstract State Machines. J. UCS, 14(12): 1949--1983, 2008.","journal-title":"J. UCS"},{"key":"e_1_3_2_1_11_1","first-page":"212","volume-title":"8th EUROCAST Workshop on Abstract State Machines","author":"Gervasi V.","year":"2001","unstructured":"V. Gervasi . Synthesizing ASMs from natural language requirements . In 8th EUROCAST Workshop on Abstract State Machines , pages 212 -- 215 , 2001 . V. Gervasi. Synthesizing ASMs from natural language requirements. In 8th EUROCAST Workshop on Abstract State Machines, pages 212--215, 2001."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s007660200005"},{"key":"e_1_3_2_1_13_1","first-page":"456","volume-title":"Proc. of Software Engineering Research and Practice","author":"Som\u00e9 S. S.","year":"2003","unstructured":"S. S. Som\u00e9 . An approach for the synthesis of state transition graphs from use cases . In Proc. of Software Engineering Research and Practice , p. 456 -- 464 , 2003 . S. S. Som\u00e9. An approach for the synthesis of state transition graphs from use cases. In Proc. of Software Engineering Research and Practice, p. 456--464, 2003."},{"key":"e_1_3_2_1_14_1","volume-title":"www.uml.org","author":"Modeling Language The Unified","year":"2009","unstructured":"The Unified Modeling Language . www.uml.org , 2009 . The Unified Modeling Language. www.uml.org, 2009."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/2023522.2023535"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_37"},{"key":"e_1_3_2_1_17_1","volume-title":"Simula Research Lab.","author":"Yue T.","year":"2010","unstructured":"T. Yue , L. C. Briand , and Y. Labiche . Automatically Deriving a UML Analysis Model from a Use Case Model. Tech. R. 152010 , Simula Research Lab. , 2010 . T. Yue, L. C. Briand, and Y. Labiche. Automatically Deriving a UML Analysis Model from a Use Case Model. Tech. R. 152010, Simula Research Lab., 2010."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-010-0111-y"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430536.2430539"}],"event":{"name":"SAC 2012: ACM Symposium on Applied Computing","location":"Trento Italy","acronym":"SAC 2012","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 27th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2245276.2231942","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2245276.2231942","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:08:03Z","timestamp":1750273683000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2245276.2231942"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3,26]]},"references-count":19,"alternative-id":["10.1145\/2245276.2231942","10.1145\/2245276"],"URL":"https:\/\/doi.org\/10.1145\/2245276.2231942","relation":{},"subject":[],"published":{"date-parts":[[2012,3,26]]},"assertion":[{"value":"2012-03-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}