{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:00:58Z","timestamp":1725494458674},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540762911"},{"type":"electronic","value":"9783540762928"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-76292-8_15","type":"book-chapter","created":{"date-parts":[[2007,11,12]],"date-time":"2007-11-12T13:38:29Z","timestamp":1194874709000},"page":"126-136","source":"Crossref","is-referenced-by-count":4,"title":["Extending OCL to Ensure Model Transformations"],"prefix":"10.1007","author":[{"given":"Fran\u00e7ois","family":"Lagarde","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Terrier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Andr\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9bastien","family":"G\u00e9rard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Object Management Group (OMG): Object Constraint Language formal\/06-05-01 (May 2006)"},{"key":"15_CR2","unstructured":"Object Management Group (OMG): Unified Modeling Language: Superstructure, ptc\/06-04-02 (April 2006)"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/11538097_6","volume-title":"Model Driven Architecture","author":"D. Stein","year":"2005","unstructured":"Stein, D., Hanenberg, S., Unland, R.: A Graphical Notation to Specify Model Queries for MDA Transformations on UML Models. In: A\u00dfmann, U., Aksit, M., Rensink, A. (eds.) MDAFA 2003. LNCS, vol.\u00a03599, pp. 77\u201392. Springer, Heidelberg (2005)"},{"key":"15_CR4","unstructured":"Object Management Group (OMG): MOF 2.0 Query\/Views\/Transformations, ptc\/05-11-01 (November 2005)"},{"key":"15_CR5","unstructured":"Simmonds, D., France, R., Ghosh, S.: Using Directives to Implement Model Transformations. In: From MDD to Experiments and Illustrations, Hardback (2006)"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Jouault, F., Kurtev, I.: On the Architectural Alignment of ATL and QVT. In: SAC 2006. Proceedings of the 2006 ACM Symposium on Applied Computing, pp. 1188\u20131195. ACM Press, New York (2006) (chapter Model transformation (MT 2006))","DOI":"10.1145\/1141277.1141561"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/3-540-45832-8_30","volume-title":"Graph Transformation","author":"L. Baresi","year":"2002","unstructured":"Baresi, L., Heckel, R.: Tutorial introduction to graph transformation: A software engineering perspective. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 402\u2013429. Springer, Heidelberg (2002)"},{"key":"15_CR8","unstructured":"Heckel, R.: Graph transformation in a nutshell. In: Bezivin, J., Heckel, R. (eds.) IBFI. Language Engineering for Model-Driven Software Development. Number 04101 in Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik, Schloss Dagstuhl, Germany. Dagstuhl Seminar Proceedings (2005)"},{"key":"15_CR9","first-page":"145","volume-title":"IEEE Symposium on Human Centric Computing Languages and Environments, 2003","author":"J.M. Kuster","year":"2003","unstructured":"Kuster, J.M., Heckel, R., Engels, G.: Defining and validating transformations of UML models. In: IEEE Symposium on Human Centric Computing Languages and Environments, 2003, pp. 145\u2013152. IEEE Computer Society Press, Los Alamitos (2003)"},{"issue":"2","key":"15_CR10","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/j.entcs.2005.04.029","volume":"137","author":"R.F. Paige","year":"2005","unstructured":"Paige, R.F., Kolovos, D.S., Polack, F.A.: Refinement via Consistency Checking in MDA. Electronic Notes in Theoretical Computer Science\u00a0137(2), 151\u2013161 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Advances in Conceptual Modeling \u2013 Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76292-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T14:44:38Z","timestamp":1558277078000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76292-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540762911","9783540762928"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76292-8_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}