{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:48:14Z","timestamp":1725536894548},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642042379"},{"type":"electronic","value":"9783642042386"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04238-6_42","type":"book-chapter","created":{"date-parts":[[2009,8,31]],"date-time":"2009-08-31T04:23:01Z","timestamp":1251692581000},"page":"457-463","source":"Crossref","is-referenced-by-count":2,"title":["Applying ASP to UML Model Validation"],"prefix":"10.1007","author":[{"given":"Mario","family":"Ornaghi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Camillo","family":"Fiorentini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Momigliano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Pagano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"42_CR1","series-title":"LNBIP","first-page":"278","volume-title":"TOOLS (46)","author":"E.G. Aydal","year":"2008","unstructured":"Aydal, E.G., Utting, M., Woodcock, J.: A comparison of state-based modelling tools for model validation. In: Paige, R.F., Meyer, B. (eds.) TOOLS (46). LNBIP, vol.\u00a011, pp. 278\u2013296. Springer, Heidelberg (2008)"},{"issue":"3-4","key":"42_CR2","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s10472-007-9076-z","volume":"50","author":"F. Calimeri","year":"2007","unstructured":"Calimeri, F., Cozza, S., Ianni, G.: External sources of knowledge and value invention in logic programming. Ann. Math. Artif. Intell.\u00a050(3-4), 333\u2013361 (2007)","journal-title":"Ann. Math. Artif. Intell."},{"key":"42_CR3","unstructured":"Calimeri, F., Cozza, S., Ianni, G., Leone, N.: DLV-Complex, \n                    \n                       http:\/\/www.mat.unical.it\/dlv-complex"},{"key":"42_CR4","doi-asserted-by":"crossref","unstructured":"Dalal, S.R., et al.: Model-based testing in practice. In: ICSE 1999, pp. 285\u2013294 (1999)","DOI":"10.1145\/302405.302640"},{"key":"42_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-3-642-02444-3_8","volume-title":"TYPES 2008 Post-Proceedings","author":"C. Fiorentini","year":"2009","unstructured":"Fiorentini, C., Momigliano, A., Ornaghi, M.: Towards a type discipline for answer set programming. In: Berardi, S., Damiani, F., de Liguoro, U. (eds.) TYPES 2008 Post-Proceedings. LNCS, vol.\u00a05497, pp. 117\u2013135. Springer, Heidelberg (2009)"},{"issue":"4","key":"42_CR6","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/s10270-005-0089-y","volume":"4","author":"M. Gogolla","year":"2005","unstructured":"Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL models in USE by automatic snapshot generation. Software and System Modeling\u00a04(4), 386\u2013398 (2005)","journal-title":"Software and System Modeling"},{"key":"42_CR7","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2006)"},{"key":"42_CR8","volume-title":"Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development","author":"C. Larman","year":"2004","unstructured":"Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development. Prentice Hall, Upper Saddle River (2004)"},{"issue":"3","key":"42_CR9","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N. Leone","year":"2006","unstructured":"Leone, N., et al.: The DLV system for knowledge representation and reasoning. ACM TOCL\u00a07(3), 499\u2013562 (2006)","journal-title":"ACM TOCL"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04238-6_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T11:50:03Z","timestamp":1552132203000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04238-6_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042379","9783642042386"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04238-6_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}