{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:32:29Z","timestamp":1761597149229,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642025709"},{"type":"electronic","value":"9783642025716"}],"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-02571-6_7","type":"book-chapter","created":{"date-parts":[[2009,6,26]],"date-time":"2009-06-26T10:15:30Z","timestamp":1246011330000},"page":"96-115","source":"Crossref","is-referenced-by-count":14,"title":["Algebraic Semantics of OCL-Constrained Metamodel Specifications"],"prefix":"10.1007","author":[{"given":"Artur","family":"Boronat","sequence":"first","affiliation":[]},{"given":"Jos\u00e9","family":"Meseguer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"6","key":"7_CR1","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/352029.352035","volume":"35","author":"A.v. Deursen van","year":"2000","unstructured":"van Deursen, A.v., Klint, P., Visser, J.: Domain-specific languages: an annotated bibliography. SIGPLAN Not.\u00a035(6), 26\u201336 (2000)","journal-title":"SIGPLAN Not."},{"unstructured":"OMG: Meta Object Facility (MOF) 2.0 Core Specification (ptc\/06-01-01) (2006)","key":"7_CR2"},{"unstructured":"Boronat, A.: MOMENT: a formal framework for MOdel manageMENT. PhD in Computer Science, Universitat Polit\u00e8nica de Val\u00e8ncia (UPV), Spain (2007), \n                    \n                      http:\/\/www.cs.le.ac.uk\/~aboronat\/papers\/2007_thesis_ArturBoronat.pdf","key":"7_CR3"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/978-3-540-78743-3_28","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Boronat","year":"2008","unstructured":"Boronat, A., Meseguer, J.: An Algebraic Semantics for MOF. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 377\u2013391. Springer, Heidelberg (2008)"},{"unstructured":"MOMENT2 (2008), \n                    \n                      http:\/\/www.cs.le.ac.uk\/~aboronat\/tools\/moment2","key":"7_CR5"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-64299-4_26","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J. Meseguer","year":"1998","unstructured":"Meseguer, J.: Membership algebra as a logical framework for equational specification. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 18\u201361. Springer, Heidelberg (1998)"},{"unstructured":"Object Management Group: OCL 2.0 Specification (2006), \n                    \n                      http:\/\/www.omg.org\/cgi-bin\/doc?formal\/2006-05-01","key":"7_CR7"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/11787044_24","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"A. Boronat","year":"2006","unstructured":"Boronat, A., Oriente, J., G\u00f3mez, A., Ramos, I., Cars\u00ed, J.\u00c1.: An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol.\u00a04066, pp. 316\u2013330. Springer, Heidelberg (2006)"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Meseguer, J., Lincoln, P., Mart\u00ed-Oliet, N., Talcott, C.: All About Maude. In: Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C. (eds.) All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350, Springer, Heidelberg (2007)"},{"unstructured":"Eclipse Organization: The Eclipse Modeling Framework (2007), \n                    \n                      http:\/\/www.eclipse.org\/emf\/","key":"7_CR10"},{"unstructured":"Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs (1996)","key":"7_CR11"},{"issue":"1","key":"7_CR12","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science\u00a096(1), 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"unstructured":"Richters, M.: A Precise Approach to Validating UML Models and OCL Constraints. PhD thesis, Universit\u00e4t Bremen, Logos Verlag, Berlin, BISS Monographs, No. 14 (2002)","key":"7_CR13"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/3-540-45314-8_3","volume-title":"Fundamental Approaches to Software Engineering","author":"T. Clark","year":"2001","unstructured":"Clark, T., Evans, A., Kent, S.: The Meta-modeling Language Calculus: Foundation Semantics for UML. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol.\u00a02029, pp. 17\u201331. Springer, Heidelberg (2001)"},{"key":"7_CR15","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.\u00c1., Ramos, I.: Algebraic Specification of a Model Transformation Engine. In: Baresi, L., Heckel, R. (eds.) FASE 2006. LNCS, vol.\u00a03922, pp. 262\u2013277. Springer, Heidelberg (2006)"},{"issue":"1-3","key":"7_CR16","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. Sci. Comput. Program\u00a069(1-3), 27\u201334 (2007)","journal-title":"Sci. Comput. Program"},{"unstructured":"Egea, M.: An Executable Formal Semantics for OCL with Applications to Model Analysis and Validation. PhD in Computer Science (to appear), Universidad Complutense de Madrid, Spain (2008)","key":"7_CR17"},{"unstructured":"Brucker, A.D., Wolff, B.: The HOL-OCL book. Technical Report 525, ETH Z\u00fcrich (2006)","key":"7_CR18"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-540-75209-7_30","volume-title":"Model Driven Engineering Languages and Systems","author":"K. Anastasakis","year":"2007","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: UML2Alloy: A Challenging Model Transformation. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 436\u2013450. Springer, Heidelberg (2007)"},{"key":"7_CR20","first-page":"547","volume-title":"ASE 2007","author":"J. Cabot","year":"2007","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: UMLtoCSP: a tool for the formal verification of UML\/OCL models using constraint programming. In: ASE 2007, pp. 547\u2013548. ACM, New York (2007)"},{"doi-asserted-by":"crossref","unstructured":"Distefano, D., Katoen, J.P., Rensink, A.: On a temporal logic for object-based systems. In: Smith, S.F., Talcott, C.L. (eds.) Formal Methods for Open Object-based Distributed Systems, pp. 305\u2013326. Kluwer Academic Publishers, Dordrecht (2000); Report version: TR\u2013CTIT\u201300\u201306, Faculty of Informatics, University of Twente","key":"7_CR21","DOI":"10.1007\/978-0-387-35520-7_16"},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-540-72952-5_4","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"J. Mullins","year":"2007","unstructured":"Mullins, J., Oarga, R.: Model Checking of Extended OCL Constraints on UML Models in SOCLe. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol.\u00a04468, pp. 59\u201375. Springer, Heidelberg (2007)"},{"key":"7_CR23","first-page":"169","volume-title":"Proceedings. 11th IEEE International Enterprise Distibuted Object Computing Conference. EDOC 2007","author":"J.E. Rivera","year":"2007","unstructured":"Rivera, J.E., Vallecillo, A.: Adding behavioral semantics to models. In: Proceedings. 11th IEEE International Enterprise Distibuted Object Computing Conference. EDOC 2007, Annapolis, Maryland, USA, October 15-19, 2007, pp. 169\u2013180. IEEE Computer Society, Los Alamitos (2007)"},{"unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)","key":"7_CR24"},{"key":"7_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-540-69927-9_16","volume-title":"Theory and Practice of Model Transformations","author":"J. Cabot","year":"2008","unstructured":"Cabot, J., Claris\u00f3, R., Guerra, E., de Lara, J.: Analysing graph transformation rules through OCL. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol.\u00a05063, pp. 229\u2013244. Springer, Heidelberg (2008)"},{"key":"7_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/978-3-642-00593-0_2","volume-title":"FASE 2009","author":"A. Boronat","year":"2009","unstructured":"Boronat, A., Heckel, R., Meseguer, J.: Rewriting Logic Semantics and Verification of Model Transformations. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol.\u00a05503, pp. 18\u201333. Springer, Heidelberg (2009)"},{"unstructured":"Bruni, R., Lluch-Lafuente, A., Montanari, U., Tuosto, E.: Style-Based Architectural Reconfigurations. Bulletin of the EATCS (94) (February 2008)","key":"7_CR27"},{"unstructured":"SAE: AADL (2007), \n                    \n                      http:\/\/www.aadl.info\/","key":"7_CR28"}],"container-title":["Lecture Notes in Business Information Processing","Objects, Components, Models and Patterns"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02571-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T18:51:13Z","timestamp":1558378273000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02571-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642025709","9783642025716"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02571-6_7","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2009]]}}}