{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:57:49Z","timestamp":1771700269465,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540356332","type":"print"},{"value":"9783540356363","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11784180_28","type":"book-chapter","created":{"date-parts":[[2006,9,26]],"date-time":"2006-09-26T14:12:21Z","timestamp":1159279941000},"page":"368-373","source":"Crossref","is-referenced-by-count":28,"title":["ITP\/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Clavel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marina","family":"Egea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"Object\u00a0Management Group: Unified Modeling Language Specification (2004), http:\/\/www.uml.org"},{"key":"28_CR2","unstructured":"Object\u00a0Management Group: Object Constraint Language Specification (2004), http:\/\/www.omg.org"},{"key":"28_CR3","unstructured":"Egea, M.: ITP\/OCL: a theorem prover-based tool for UML+OCL class diagrams. Master\u2019s thesis, Facultad de Inform\u00e1tica, Universidad Complutense de Madrid (2005), http:\/\/maude.sip.ucm.es\/~marina\/"},{"key":"28_CR4","unstructured":"Clavel, M., Egea, M.: Equational specifications of UML+OCL static class diagrams (2006), http:\/\/maude.sip.ucm.es\/itp\/~clavel"},{"key":"28_CR5","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: Maude Manual (Version 2.2) (2005) SRI International (December 2005), http:\/\/maude.cs.uiuc.edu"},{"key":"28_CR6","unstructured":"IBM: Rational Software (2006), http:\/\/www-306.ibm.com\/software\/rational\/"},{"key":"28_CR7","unstructured":"AG, G.: Poseidon Standard Edition (2006), http:\/\/www.gentleware.com"},{"key":"28_CR8","unstructured":"Demuth, B., L\u00f6cher, S., Zschaler, S.: Structure of the Dresden OCL toolkit. Technical report, Technical University of Darmstadt, Germany, Reviewed Conference Paper (2004)"},{"key":"28_CR9","unstructured":"Richters, M.: The USE tool: A UML-based specification environment (2001), http:\/\/www.db.informatik.uni-bremen.de\/projects\/USE\/"},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"Gogolla, M., Richters, M., Bohling, J.: Tool support for validating UML and OCL models through automating snapshot generation. In: Proceedings of SAICSIT, pp. 111\u2013120 (2003)","DOI":"10.1007\/978-3-540-45221-8_23"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11784180_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,9]],"date-time":"2023-05-09T00:01:28Z","timestamp":1683590488000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11784180_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540356332","9783540356363"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/11784180_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}