{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:31:48Z","timestamp":1725543108412},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540359098"},{"type":"electronic","value":"9783540359104"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11787044_24","type":"book-chapter","created":{"date-parts":[[2006,6,28]],"date-time":"2006-06-28T14:19:58Z","timestamp":1151504398000},"page":"316-330","source":"Crossref","is-referenced-by-count":4,"title":["An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework"],"prefix":"10.1007","author":[{"given":"Artur","family":"Boronat","sequence":"first","affiliation":[]},{"given":"Joaqu\u00edn","family":"Oriente","sequence":"additional","affiliation":[]},{"given":"Abel","family":"G\u00f3mez","sequence":"additional","affiliation":[]},{"given":"Isidro","family":"Ramos","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 \u00c1.","family":"Cars\u00ed","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","first-page":"110","volume-title":"Model-Integrated Computing","author":"J. Sztipanovits","year":"1997","unstructured":"Sztipanovits, J., Karsai, G.: Model-Integrated Computing, vol.\u00a030, pp. 110\u2013111. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"24_CR2","unstructured":"Kleppe, A., Warmer, J., Bast, W.: MDA Explained: The Model Driven Architecture\u2013Practice and Promise (2003)"},{"key":"24_CR3","volume-title":"Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools","author":"J. Greenfield","year":"2004","unstructured":"Greenfield, J., Short, K., Cook, S., Kent, S.: Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools. John Wiley & Sons, Chichester (2004)"},{"key":"24_CR4","unstructured":"OMG: Meta Object Facility (MOF) 2.0 Core Specification, ptc\/04-10-15 (2004)"},{"key":"24_CR5","unstructured":"OMG: MOF 2.0 QVT final adopted specification (ptc\/05-11-01) (2005)"},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/11693017_20","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Boronat","year":"2006","unstructured":"Boronat, A., Cars\u00ed, J.A., Ramos, I.: Algebraic Specification of a Model Transformation Engine. In: Baresi, L., Heckel, R. (eds.) FASE 2006 and ETAPS 2006. LNCS, vol.\u00a03922, pp. 262\u2013277. Springer, Heidelberg (2006)"},{"key":"24_CR7","unstructured":"B\u00e9zivin, J., Dupe, G., Jouault, F., Pitette, G., Rougui, J.E.: First experiments with the ATL model transformation language: Transforming XSLT into XQuery. In: OOPSLA 2003 Workshop, Anaheim, California (2003)"},{"key":"24_CR8","unstructured":"The Model Transformation Framework, \n                    \n                      http:\/\/www.alphaworks.ibm.com\/tech\/mtf"},{"key":"24_CR9","volume-title":"The Object Constraint Language, Getting Your Models Ready for MDA","author":"J. Warmer","year":"2004","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language, Getting Your Models Ready for MDA, 2nd edn. Addison-Wesley, Reading (2004)","edition":"2"},{"key":"24_CR10","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","author":"M. Clavel","year":"2002","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: specification and programming in rewriting logic. Theor. Comput. Sci.\u00a0285, 187\u2013243 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"24_CR11","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0304-3975(01)00357-7","volume":"285","author":"N. Mart\u00ed-Oliet","year":"2002","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J.: Rewriting Logic: Roadmap and Bibliography. Theoretical Computer Science\u00a0285, 121\u2013154 (2002)","journal-title":"Theoretical Computer Science"},{"key":"24_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/11581741_23","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"A. Boronat","year":"2005","unstructured":"Boronat, A., Cars\u00ed, J.A., Ramos, I.: Automatic Support for Traceability in a Generic Model Management Framework. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol.\u00a03748, pp. 316\u2013330. Springer, Heidelberg (2005)"},{"key":"24_CR13","volume-title":"Eclipse Modeling Framework","author":"F. Budinsky","year":"2003","unstructured":"Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.J.: Eclipse Modeling Framework. Addison Wesley Professional, Reading (2003)"},{"key":"24_CR14","unstructured":"Kent, U.o.: Kent Object Constraint Language Library, \n                    \n                      http:\/\/www.cs.kent.ac.uk\/projects\/ocl\/index.html"},{"key":"24_CR15","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/s10270-003-0031-0","volume":"2","author":"A. Toval","year":"2003","unstructured":"Toval, A., Requena, V., Fern\u00e1ndez, J.L.: Emerging OCL tools. Software and System Modeling\u00a02, 248\u2013261 (2003)","journal-title":"Software and System Modeling"},{"key":"24_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-45923-5_23","volume-title":"Fundamental Approaches to Software Engineering","author":"W. Ahrendt","year":"2002","unstructured":"Ahrendt, W., Baar, T., Beckert, B., Giese, M., H\u00e4hnle, R., Menzel, W., Mostowski, W., Schmitt, P.H.: The KeY System: Integrating Object-Oriented Design and Formal Methods. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, p. 327. Springer, Heidelberg (2002)"},{"key":"24_CR17","unstructured":"Richters, M.: The USE tool: A UML-based Specification Environment (2001), \n                    \n                      http:\/\/www.db.informatik.uni-bremen.de\/projects\/USE\/"},{"key":"24_CR18","unstructured":"Egea, M., Clavel, M.: The ITP\/OCL tool (2006), \n                    \n                      http:\/\/maude.sip.ucm.es\/itp\/ocl\/"},{"key":"24_CR19","unstructured":"Vanwormhoudt, G.: EMF OCL Plugin (2006), \n                    \n                      http:\/\/www.enic.fr\/people\/Vanworm-houdt\/siteEMFOCL\/maven-reports.html"},{"key":"24_CR20","unstructured":"Eclipse Modeling Framework Technologies (2006), \n                    \n                      http:\/\/www.eclipse.org\/emft\/projects\/"},{"key":"24_CR21","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: Maude 2.2 manual and examples (2005)"},{"key":"24_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44881-0_3","volume-title":"Rewriting Techniques and Applications","author":"S. Eker","year":"2003","unstructured":"Eker, S.: Associative-Commutative Rewriting on Large Terms. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol.\u00a02706. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Architecture \u2013 Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11787044_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:20:30Z","timestamp":1619508030000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11787044_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540359098","9783540359104"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11787044_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}