{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:48:15Z","timestamp":1742996895836,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471686"},{"type":"electronic","value":"9783319471693"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-47169-3_8","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T17:56:23Z","timestamp":1475603783000},"page":"97-118","source":"Crossref","is-referenced-by-count":2,"title":["Simplifying OMG MOF-Based Metamodeling"],"prefix":"10.1007","author":[{"given":"Nicolas F.","family":"Rouquette","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84800-070-4","volume-title":"The Algorithm Design Manual","author":"SS Skiena","year":"2008","unstructured":"Skiena, S.S.: The Algorithm Design Manual, 2nd edn. Springer, London (2008)","edition":"2"},{"issue":"1","key":"8_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2699485","volume":"40","author":"M Pawlik","year":"2015","unstructured":"Pawlik, M., Augsten, N.: Efficient computation of the tree edit distance. ACM Trans. Datab. Syst. 40(1), 1\u201340 (2015). Article 3","journal-title":"ACM Trans. Datab. Syst."},{"key":"8_CR3","unstructured":"Pierce, B.C.: Types and Programming Languages (2002)"},{"key":"8_CR4","volume-title":"EMF Eclipse Modeling Framework","author":"D Steinberg","year":"2008","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF Eclipse Modeling Framework, 2nd edn. Addison-Wesley, Boston (2008)","edition":"2"},{"key":"8_CR5","unstructured":"Object Management Group: Semantics of a Foundational Subset for Executable UML Models (fUML), version 1.2.1, formal\/2016-01-05 (2016)"},{"key":"8_CR6","unstructured":"Object Management Group: Meta-Object Facility Core Specification, version 2.5, formal\/2015-06-05 (2015)"},{"key":"8_CR7","unstructured":"Object Management Group: MOF Support for Semantic Structures, version 1.0 FTF beta 2, ptc\/2011-08-22 (2011)"},{"key":"8_CR8","unstructured":"Object Management Group: Report of the UML version 2.4.1 Revision Task Force, ptc\/2011-01-19 (2010)"},{"key":"8_CR9","unstructured":"Object Management Group: Unified Modeling Language version 2.5, formal\/2015-03-01 (2015)"},{"key":"8_CR10","series-title":"International Handbooks on Information Systems","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/978-3-540-24750-0_8","volume-title":"The Handbook on Ontologies","author":"N Guarino","year":"2004","unstructured":"Guarino, N., Welty, C.: An overview of OntoClean. In: Staab, S., Studer, R. (eds.) The Handbook on Ontologies. International Handbooks on Information Systems, pp. 151\u2013172. Springer, Heidelberg (2004)"},{"key":"8_CR11","unstructured":"Proch\u00e1zka, J., Cyganiak, R., Inkster, T., Ferris, B.: The Property Reification Vocabulary 0.11. http:\/\/smiy.sourceforge.net\/prv\/spec\/propertyreification.html"},{"key":"8_CR12","unstructured":"Biron, P.V., Malhotra, A.: XML Schema Part 2: Datatypes 2nd edn. W3C Recommendation, 28 October 2004. http:\/\/www.w3.org\/TR\/2004\/REC-xmlschema-2-20041028\/"},{"issue":"2","key":"8_CR13","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1145\/358024.358054","volume":"26","author":"W Kent","year":"1983","unstructured":"Kent, W.: A simple guide to five normal forms in relational database theory. Commun. ACM 26(2), 120\u2013125 (1983)","journal-title":"Commun. ACM"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Armbrust, M., et al.: Spark SQL: Relational data processing in spark. In: SIGMOD 2015 (2015)","DOI":"10.1145\/2723372.2742797"},{"key":"8_CR15","unstructured":"Gonzalez, J.E., et al.: GraphX: graph processing in a distributed dataflow framework. In: OSDI 2014 (2014)"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T04:07:54Z","timestamp":1568434074000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}