{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:24:50Z","timestamp":1725567890232},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642163722"},{"type":"electronic","value":"9783642163739"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16373-9_32","type":"book-chapter","created":{"date-parts":[[2010,10,27]],"date-time":"2010-10-27T07:38:03Z","timestamp":1288165083000},"page":"438-444","source":"Crossref","is-referenced-by-count":9,"title":["AuRUS: Automated Reasoning on UML\/OCL Schemas"],"prefix":"10.1007","author":[{"given":"Anna","family":"Queralt","sequence":"first","affiliation":[]},{"given":"Guillem","family":"Rull","sequence":"additional","affiliation":[]},{"given":"Ernest","family":"Teniente","sequence":"additional","affiliation":[]},{"given":"Carles","family":"Farr\u00e9","sequence":"additional","affiliation":[]},{"given":"Toni","family":"Urp\u00ed","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"32_CR1","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s10270-008-0110-3","volume":"9","author":"K. Anastasakis","year":"2010","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On Challenges of Model Transformation from UML to Alloy. Software and System Modeling\u00a09(1), 69\u201386 (2010)","journal-title":"Software and System Modeling"},{"issue":"1-2","key":"32_CR2","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.artint.2005.05.003","volume":"168","author":"D. Berardi","year":"2005","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML Class Diagrams. Artificial Intelligence\u00a0168(1-2), 70\u2013118 (2005)","journal-title":"Artificial Intelligence"},{"key":"32_CR3","unstructured":"Brucker, A.D., Wolff, B.: The HOL-OCL Book. Swiss Federal Institute of Technology (ETH),525 (2006)"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: Verification of UML\/OCL Class Diagrams Using Con-straint Programming. In: Proc. Workshop on Model Driven Engineering, Verification and Validation, MoDEVVa 2008 (2008)","DOI":"10.1109\/ICSTW.2008.54"},{"key":"32_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/3-540-45140-4_28","volume-title":"Advanced Information Systems Engineering","author":"S. Dupuy","year":"2000","unstructured":"Dupuy, S., Ledru, Y., Chabre-Peccoud, M.: An Overview of RoZ: A Tool for Integrating UML and Z Specifications. In: Wangler, B., Bergman, L.D. (eds.) CAiSE 2000. LNCS, vol.\u00a01789, pp. 417\u2013430. Springer, Heidelberg (2000)"},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"Farr\u00e9, C., Rull, G., Teniente, E., Urp\u00ed, T.: SVTe: A Tool to Validate Database Schemas Giving Explanations. In: Proc. International Workshop on Testing Database Systems - DBTest, p.\u00a09 (2008)","DOI":"10.1145\/1385269.1385281"},{"issue":"1-3","key":"32_CR7","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.scico.2007.01.013","volume":"69","author":"M. Gogolla","year":"2007","unstructured":"Gogolla, M., B\u00fcttner, F., Richters, M.: USE: A UML-based Specification Environment for Validating UML and OCL. Science of Computer Programming\u00a069(1-3), 27\u201334 (2007)","journal-title":"Science of Computer Programming"},{"key":"32_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/11901181_37","volume-title":"Conceptual Modeling - ER 2006","author":"A. Queralt","year":"2006","unstructured":"Queralt, A., Teniente, E.: Reasoning on UML Class Diagrams with OCL Constraints. In: Embley, D.W., Oliv\u00e9, A., Ram, S. (eds.) ER 2006. LNCS, vol.\u00a04215, pp. 497\u2013512. Springer, Heidelberg (2006)"},{"key":"32_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-540-69534-9_23","volume-title":"Advanced Information Systems Engineering","author":"A. Queralt","year":"2008","unstructured":"Queralt, A., Teniente, E.: Decidable Reasoning in UML Schemas with Constraints. In: Bellahs\u00e8ne, Z., L\u00e9onard, M. (eds.) CAiSE 2008. LNCS, vol.\u00a05074, pp. 281\u2013295. Springer, Heidelberg (2008)"},{"key":"32_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"660","DOI":"10.1007\/978-3-540-85654-2_56","volume-title":"Database and Expert Systems Applications","author":"G. Rull","year":"2008","unstructured":"Rull, G., Farr\u00e9, C., Teniente, E., Urp\u00ed, T.: Providing Explanations for Database Schema Validation. In: Bhowmick, S.S., K\u00fcng, J., Wagner, R. (eds.) DEXA 2008. LNCS, vol.\u00a05181, pp. 660\u2013667. Springer, Heidelberg (2008)"},{"issue":"1","key":"32_CR11","first-page":"92","volume":"15","author":"C. Snook","year":"2006","unstructured":"Snook, C., Butler, M.: UML-B: Formal Modeling and Design Aided by UML ACM Trans. on Soft. Engineering and Methodology\u00a015(1), 92\u2013122 (2006)","journal-title":"Engineering and Methodology"},{"key":"32_CR12","unstructured":"UPC, UOC. EinaGMC, http:\/\/guifre.lsi.upc.edu\/eina_GMC"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling \u2013 ER 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16373-9_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T22:41:40Z","timestamp":1559774500000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16373-9_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642163722","9783642163739"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16373-9_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}