{ "labelLang" : "hun", "responseDate" : "2024-03-29 13:29", "content" : { "otype" : "BookChapter", "mtid" : 3169820, "status" : "VALIDATED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2017-02-15T00:54:36.000+0000", "deleted" : false, "oldId" : 3169820, "lastRefresh" : "2024-02-18T16:21:04.505+0000", "lastModified" : "2022-02-15T09:53:59.326+0000", "created" : "2017-01-19T13:47:23.000+0000", "creator" : { "otype" : "Author", "mtid" : 10045161, "link" : "/api/author/10045161", "label" : "Semeráth Oszkár (Informatika)", "familyName" : "Semeráth", "givenName" : "Oszkár", "published" : true, "oldId" : 10045161, "snippet" : true }, "lastDuplumOK" : "2022-02-15T09:55:21.281+0000", "lastDuplumSearch" : "2022-02-15T09:55:21.281+0000", "adminApproved" : "2017-02-10T09:17:20.000+0000", "adminApprover" : { "otype" : "Admin", "mtid" : 10039288, "link" : "/api/admin/10039288", "label" : "Szmolyán Mária (BME 4 admin - INAKTÍV)", "familyName" : "Szmolyán", "givenName" : "Mária", "published" : true, "oldId" : 10039288, "snippet" : true }, "validated" : "2022-02-15T09:53:32.628+0000", "validator" : { "otype" : "Admin", "mtid" : 10072271, "link" : "/api/admin/10072271", "label" : "Andódy Katalin (BME admin4)", "familyName" : "Andódy", "givenName" : "Katalin", "published" : true, "snippet" : true }, "core" : true, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Konferenciaközlemény (Könyvrészlet)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 228, "published" : true, "oldId" : 10000312, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "firstAuthor" : "Oszkár, Semeráth", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 8704429, "link" : "/api/authorship/8704429", "label" : "Oszkár, Semeráth [Semeráth, Oszkár (Informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); MTA-BME Lendület Kiber-fizikai Rendszerek Kutat... (BME / VIK / MIT)", "listPosition" : 1, "share" : 0.25, "first" : true, "last" : false, "author" : { "otype" : "Author", "mtid" : 10045161, "link" : "/api/author/10045161", "label" : "Semeráth Oszkár (Informatika)", "familyName" : "Semeráth", "givenName" : "Oszkár", "published" : true, "oldId" : 10045161, "snippet" : true }, "familyName" : "Oszkár", "givenName" : "Semeráth", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 25529902, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 8704430, "link" : "/api/authorship/8704430", "label" : "Csaba, Debreceni [Debreceni, Csaba (Informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); MTA-BME Lendület Kiber-fizikai Rendszerek Kutat... (BME / VIK / MIT)", "listPosition" : 2, "share" : 0.25, "first" : false, "last" : false, "author" : { "otype" : "Author", "mtid" : 10046995, "link" : "/api/author/10046995", "label" : "Debreceni Csaba (Informatika)", "familyName" : "Debreceni", "givenName" : "Csaba", "published" : true, "oldId" : 10046995, "snippet" : true }, "familyName" : "Csaba", "givenName" : "Debreceni", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 25529901, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 8704431, "link" : "/api/authorship/8704431", "label" : "Ákos, Horváth [Horváth, Ákos (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)", "listPosition" : 3, "share" : 0.25, "first" : false, "last" : false, "author" : { "otype" : "Author", "mtid" : 10030432, "link" : "/api/author/10030432", "label" : "Horváth Ákos (informatika)", "familyName" : "Horváth", "givenName" : "Ákos", "published" : true, "oldId" : 10030432, "snippet" : true }, "familyName" : "Ákos", "givenName" : "Horváth", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 25529900, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 8704432, "link" : "/api/authorship/8704432", "label" : "Dániel, Varró [Varró, Dániel (Informatika, szof...), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); MTA-BME Lendület Kiber-fizikai Rendszerek Kutat... (BME / VIK / MIT)", "listPosition" : 4, "share" : 0.25, "first" : false, "last" : true, "author" : { "otype" : "Author", "mtid" : 10001355, "link" : "/api/author/10001355", "label" : "Varró Dániel (Informatika, szoftvertechnológia)", "familyName" : "Varró", "givenName" : "Dániel", "published" : true, "oldId" : 10001355, "snippet" : true }, "familyName" : "Dániel", "givenName" : "Varró", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 25529899, "snippet" : true } ], "title" : "Incremental Backward Change Propagation of View Models by Logic Solvers", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 1165465, "link" : "/api/publicationidentifier/1165465", "label" : "DOI: 10.1145/2976767.2976788", "source" : { "otype" : "PlainSource", "mtid" : 6, "link" : "/api/publicationsource/6", "label" : "DOI", "type" : { "otype" : "PublicationSourceType", "mtid" : 10001, "link" : "/api/publicationsourcetype/10001", "label" : "DOI", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "DOI", "nameEng" : "DOI", "linkPattern" : "https://doi.org/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 6, "snippet" : true }, "oaType" : "PAY", "oaFree" : false, "validState" : "IDENTICAL", "idValue" : "10.1145/2976767.2976788", "realUrl" : "https://doi.org/10.1145/2976767.2976788", "published" : false, "oldId" : 1525388, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1165466, "link" : "/api/publicationidentifier/1165466", "label" : "REAL: 48988", "source" : { "otype" : "SwordSource", "mtid" : 36, "link" : "/api/publicationsource/36", "label" : "REAL", "type" : { "otype" : "PublicationSourceType", "mtid" : 10007, "link" : "/api/publicationsourcetype/10007", "label" : "Repozitórium", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "REAL", "nameEng" : "REAL", "linkPattern" : "http://real.mtak.hu/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 36, "snippet" : true }, "oaType" : "GREEN", "oaFree" : true, "validState" : "NO", "idValue" : "48988", "realUrl" : "http://real.mtak.hu/48988", "published" : false, "oldId" : 1544685, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 20605525, "link" : "/api/publicationidentifier/20605525", "label" : "WoS: 000509762900034", "source" : { "otype" : "PlainSource", "mtid" : 1, "link" : "/api/publicationsource/1", "label" : "WoS", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "WoS", "nameEng" : "WoS", "linkPattern" : "https://www.webofscience.com/wos/woscc/full-record/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 1, "snippet" : true }, "idValue" : "000509762900034", "realUrl" : "https://www.webofscience.com/wos/woscc/full-record/000509762900034", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1165464, "link" : "/api/publicationidentifier/1165464", "label" : "Scopus: 85008472963", "source" : { "otype" : "PlainSource", "mtid" : 3, "link" : "/api/publicationsource/3", "label" : "Scopus", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Scopus", "linkPattern" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@", "publiclyVisible" : true, "published" : true, "oldId" : 3, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "85008472963", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85008472963", "published" : false, "oldId" : 1525387, "snippet" : true } ], "firstPage" : "306", "lastPage" : "316", "firstPageOrInternalIdForSort" : "306", "pageLength" : 11, "publishedYear" : 2016, "abstractText" : "View models are key concepts of domain-specific modeling\nto provide task-specific focus (e.g., power or communication\narchitecture of a system) to the designers by highlighting\nonly the relevant aspects of the system. View models\ncan be specified by unidirectional forward transformations\n(frequently captured by graph queries), and automatically\nmaintained upon changes of the underlying source model using\nincremental transformation techniques. However, tracing\nback complex changes from one or more abstract view\nto the underlying source model is a challenging task, which,\nin general, requires the simultaneous analysis of \ntransformation\nspecifications and well-formedness constraints to create\nvalid changes in the source model. In this paper we introduce\na novel delta-based backward transformation technique\nusing SAT solvers to synthetize valid and consistent change\ncandidates in the source model, where only forward \ntransformation rules are specified for the view models.", "digital" : null, "printed" : null, "sourceYear" : 2017, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : true, "missingAuthor" : false, "oaType" : "GREEN", "oaCheckDate" : "2024-02-18", "oaFree" : true, "oaLink" : "http://real.mtak.hu/48988", "oaByAuthor" : { "otype" : "Author", "mtid" : 10045161, "link" : "/api/author/10045161", "label" : "Semeráth Oszkár (Informatika)", "familyName" : "Semeráth", "givenName" : "Oszkár", "published" : true, "oldId" : 10045161, "snippet" : true }, "citationCount" : 16, "citationCountUnpublished" : 0, "citationCountWoOther" : 13, "independentCitCountWoOther" : 12, "nationalOriginCitationCount" : 0, "foreignEditionCitationCount" : 10, "doiCitationCount" : 10, "wosCitationCount" : 10, "scopusCitationCount" : 9, "wosScopusCitationCount" : 11, "wosScopusCitationCountWoOther" : 11, "wosScopusIndependentCitationCount" : 10, "wosScopusIndependentCitationCountWoOther" : 10, "independentCitationCount" : 14, "selfCitationCount" : 2, "unhandledCitationCount" : 0, "citingPubCount" : 16, "independentCitingPubCount" : 14, "citingPubCountWoOther" : 13, "independentCitingPubCountWoOther" : 12, "unhandledCitingPubCount" : 0, "citedPubCount" : 6, "citedCount" : 6, "pubStats" : { "types" : [ { "type" : "Folyóiratcikk", "typeEng" : "Journal Article", "code" : 24, "count" : 9 }, { "type" : "Könyvrészlet", "typeEng" : "Chapter in Book", "code" : 25, "count" : 2 }, { "type" : "Könyv", "typeEng" : "Book", "code" : 23, "count" : 0 }, { "type" : "Egyéb konferenciaközlemény", "typeEng" : "Conference paper", "code" : 31, "count" : 2 }, { "type" : "Egyéb konferenciakötet", "typeEng" : "Conference proceedings", "code" : 32, "count" : 0 }, { "type" : "Oltalmi formák", "typeEng" : "Protection forms", "code" : 26, "count" : 0 }, { "type" : "Disszertáció", "typeEng" : "Thesis", "code" : 28, "count" : 1 }, { "type" : "Egyéb", "typeEng" : "Miscellaneous", "code" : 29, "count" : 2 }, { "type" : "Alkotás", "typeEng" : "Achievement", "code" : 22, "count" : 0 }, { "type" : "Kutatási adat", "typeEng" : "Research data", "code" : 33, "count" : 0 } ], "citationTypes" : [ { "type" : "Folyóiratcikk", "typeEng" : "Journal Article", "code" : 24, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Könyvrészlet", "typeEng" : "Chapter in Book", "code" : 25, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Könyv", "typeEng" : "Book", "code" : 23, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Egyéb konferenciaközlemény", "typeEng" : "Conference paper", "code" : 31, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Egyéb konferenciakötet", "typeEng" : "Conference proceedings", "code" : 32, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Oltalmi formák", "typeEng" : "Protection forms", "code" : 26, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Disszertáció", "typeEng" : "Thesis", "code" : 28, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Egyéb", "typeEng" : "Miscellaneous", "code" : 29, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Alkotás", "typeEng" : "Achievement", "code" : 22, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 }, { "type" : "Kutatási adat", "typeEng" : "Research data", "code" : 33, "countUnknown" : 0, "countIndependent" : 0, "countSelfCitation" : 0 } ], "years" : [ { "year" : 2016, "publicationCount" : 0, "citationCount" : 1, "independentCitationCount" : 0, "citingPubCount" : 1, "independentCitingPubCount" : 0, "oaStats" : null, "oaStats2" : null }, { "year" : 2017, "publicationCount" : 0, "citationCount" : 2, "independentCitationCount" : 1, "citingPubCount" : 2, "independentCitingPubCount" : 1, "oaStats" : null, "oaStats2" : null }, { "year" : 2018, "publicationCount" : 0, "citationCount" : 6, "independentCitationCount" : 6, "citingPubCount" : 6, "independentCitingPubCount" : 6, "oaStats" : null, "oaStats2" : null }, { "year" : 2019, "publicationCount" : 0, "citationCount" : 1, "independentCitationCount" : 1, "citingPubCount" : 1, "independentCitingPubCount" : 1, "oaStats" : null, "oaStats2" : null }, { "year" : 2020, "publicationCount" : 0, "citationCount" : 2, "independentCitationCount" : 2, "citingPubCount" : 2, "independentCitingPubCount" : 2, "oaStats" : null, "oaStats2" : null }, { "year" : 2021, "publicationCount" : 0, "citationCount" : 1, "independentCitationCount" : 1, "citingPubCount" : 1, "independentCitingPubCount" : 1, "oaStats" : null, "oaStats2" : null }, { "year" : 2022, "publicationCount" : 0, "citationCount" : 1, "independentCitationCount" : 1, "citingPubCount" : 1, "independentCitingPubCount" : 1, "oaStats" : null, "oaStats2" : null }, { "year" : 2023, "publicationCount" : 0, "citationCount" : 2, "independentCitationCount" : 2, "citingPubCount" : 2, "independentCitingPubCount" : 2, "oaStats" : null, "oaStats2" : null } ] }, "references" : [ { "otype" : "Reference", "mtid" : 2181521, "link" : "/api/reference/2181521", "label" : "1. CONCERTO ARTEMIS Project, , http://concerto-project.org/", "listPosition" : 1, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181522, "link" : "/api/reference/2181522", "label" : "2. Anjorin, A., Rose, S., Deckwerth, F., Schürr, A., Efficient model synchronization with view triple graph grammars (2014) Modelling Foundations and Applications, pp. 1-17. , Springer", "listPosition" : 2, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181523, "link" : "/api/reference/2181523", "label" : "3. Bruneliere, H., Perez, J.G., Wimmer, M., Cabot, J., Emf views: A view mechanism for integrating heterogeneous models (2015) Conceptual Modeling, pp. 317-325. , Springer", "listPosition" : 3, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181524, "link" : "/api/reference/2181524", "label" : "4. Callow, G., Kalawsky, R., A satisficing bi-directional model transformation engine using mixed integer linear programming (2013) Journal of Object Technology, 12 (1), pp. 11-43", "listPosition" : 4, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181525, "link" : "/api/reference/2181525", "label" : "5. Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A., JTL: A bidirectional and change propagating transformation language (2010) Software Language Engineering, pp. 183-202. , Springer", "listPosition" : 5, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181526, "link" : "/api/reference/2181526", "label" : "6. Debreceni, C., Horváth, A., Hegedüs, A., Ujhelyi, Z., Ráth, I., Varró, D., Query-driven incremental synchronization of view models (2014) Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, p. 31. , ACM", "listPosition" : 6, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181527, "link" : "/api/reference/2181527", "label" : "7. Famelis, M., Salay, R., Chechik, M., Partial models: Towards modeling and reasoning with uncertainty (2012) Proceedings of the 34th International Conference on Software Engineering, pp. 573-583. , Piscataway, NJ, USA, IEEE Press", "listPosition" : 7, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181528, "link" : "/api/reference/2181528", "label" : "8. Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A., Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem (2007) ACM Transactions on Programming Languages and Systems, 29 (3), p. 17", "listPosition" : 8, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181529, "link" : "/api/reference/2181529", "label" : "9. Gammaitoni, L., Kelsen, P., F-alloy: An alloy based model transformation language (2015) Theory and Practice of Model Transformations, pp. 166-180. , Springer", "listPosition" : 9, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181530, "link" : "/api/reference/2181530", "label" : "10. Gholizadeh, H., Diskin, Z., Kokaly, S., Maibaum, T., Analysis of source-to-target model transformations in quest (2015) Proceedings of the 4th Workshop on the Analysis of Model Transformations Co-located with (MODELS 2015, Ottawa, Canada, pp. 46-55", "listPosition" : 10, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181531, "link" : "/api/reference/2181531", "label" : "11. Hearnden, D., Lawley, M., Raymond, K., Incremental model transformation for the evolution of model-driven systems (2006) Model Driven Engineering Languages and Systems, pp. 321-335. , Springer", "listPosition" : 11, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181532, "link" : "/api/reference/2181532", "label" : "12. Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y., Gottmann, S., Engel, T., Model synchronization based on triple graph grammars: Correctness, completeness and invertibility (2015) Software & Systems Modeling, 14 (1), pp. 241-269", "listPosition" : 12, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181533, "link" : "/api/reference/2181533", "label" : "13. Hettel, T., (2010) Model Round-trip Engineering, , PhD thesis, Queensland University of Technology", "listPosition" : 13, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181534, "link" : "/api/reference/2181534", "label" : "14. Hidaka, S., Tisi, M., Cabot, J., Hu, Z., Feature-based classification of bidirectional transformation approaches (2015) Software & Systems Modeling, pp. 1-22", "listPosition" : 14, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181535, "link" : "/api/reference/2181535", "label" : "15. Horváth, A., Hegedüs, A., Búr, M., Varró, D., Starr, R.R., Mirachi, S., Hardware-software allocation specification of ima systems for early simulation (2014) Digital Avionics Systems Conference (DASC), , Colorado Spings, Colorado, US, 10/2014 IEEE", "listPosition" : 15, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181536, "link" : "/api/reference/2181536", "label" : "16. Jackson, D., Alloy Analyzer, , http://alloy.mit.edu/", "listPosition" : 16, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181537, "link" : "/api/reference/2181537", "label" : "17. Macedo, N., Cunha, A., Implementing QVT-R bidirectional model transformations using Alloy (2013) Fundamental Approaches to Software Engineering, pp. 297-311. , Springer", "listPosition" : 17, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181538, "link" : "/api/reference/2181538", "label" : "18. Mu, S.-C., Hu, Z., Takeichi, M., An injective language for reversible computation (2004) Mathematics of Program Construction, pp. 289-313. , Springer", "listPosition" : 18, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181539, "link" : "/api/reference/2181539", "label" : "19. MOF 2.0 Query/View/Transformation Specification (QVT), Version 1.1, , http://www.omg.org/spec/QVT/1.2/", "listPosition" : 19, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181540, "link" : "/api/reference/2181540", "label" : "20. Ráth, I., Bergmann, G., Ökrös, A., Varró, D., Live model transformations driven by incremental pattern matching (2008) Proc. First International Conference on the Theory and Practice of Model Transformations (ICMT 2008), pp. 107-121. , 5063 of LNCS, Springer Berlin-Heidelberg", "listPosition" : 20, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181541, "link" : "/api/reference/2181541", "label" : "21. Salay, R., Chechik, M., A generalized formal framework for partial modeling (2015) Fundamental Approaches to Software Engineering, pp. 133-148. , 9033 of LNCS, Springer", "listPosition" : 21, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181542, "link" : "/api/reference/2181542", "label" : "22. Salay, R., Chechik, M., Famelis, M., Gorzny, J., A methodology for verifying refinements of partial models (2015) Journal of Object Technology, 14 (3), p. 31", "listPosition" : 22, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181543, "link" : "/api/reference/2181543", "label" : "23. Salay, R., Famelis, M., Chechik, M., Language independent refinement using partial modeling (2012) Fundamental Approaches to Software Engineering, pp. 224-239. , 7212 of LNCS, Springer", "listPosition" : 23, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181544, "link" : "/api/reference/2181544", "label" : "24. Schürr, A., Specification of graph translators with triple graph grammars (1994) Graph-Theoretic Concepts in Computer Science, pp. 151-163. , Springer", "listPosition" : 24, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181545, "link" : "/api/reference/2181545", "label" : "25. Semeráth, O., Barta, A., Horváth, A., Szatmári, Z., Varró, D., Formal validation of domain-specific languages with derived features and well-formedness constraints (2015) Software and Systems Modeling, pp. 1-36", "listPosition" : 25, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181546, "link" : "/api/reference/2181546", "label" : "26. Semeráth, O., Debreceni, C., Horváth, A., Varró, D., Change propagation of view models by logic synthesis using SAT solvers (2016) Int. Workshop on Bidirectional Model Transformations BX'16, , https://inf.mit.bme.hu/en/research/publications/change-propagation-view-models-logic-synthesis-using-sat-solvers, In press. Preprint available for the reviewers from", "listPosition" : 26, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181547, "link" : "/api/reference/2181547", "label" : "27. Semeráth, O., Vörös, A., Varró, D., Iterative and incremental model generation by logic solvers (2016) Fundamental Approaches to Software Engineering, 19th International Conference, FASE 2016", "listPosition" : 27, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181548, "link" : "/api/reference/2181548", "label" : "28. Stevens, P., Bidirectional model transformations in qvt: Semantic issues and open questions (2008) Software & Systems Modeling, 9 (1), pp. 7-20", "listPosition" : 28, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181549, "link" : "/api/reference/2181549", "label" : "29. Ujhelyi, Z., Bergmann, G., Hegedüs, A., Horváth, A., Izsó, B., Ráth, I., Szatmári, Z., Varró, D., EMF-IncQuery: An integrated development environment for live model queries (2015) Sci. Comput. Program, 98, pp. 80-99", "listPosition" : 29, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 2181550, "link" : "/api/reference/2181550", "label" : "30. Xiong, Y., Liu, D., Hu, Z., Zhao, H., Takeichi, M., Mei, H., Towards automatic model synchronization from model transformations (2007) Proceedings of the 22nd IEEE/ACM Int. Conf. on Automated Software Engineering, pp. 164-173. , ACM", "listPosition" : 30, "published" : false, "snippet" : true } ], "hasCitationDuplums" : false, "inSelectedPubs" : "10045161", "userChangeableUntil" : "2017-02-10T09:17:20.000+0000", "publishDate" : "2017-01-19T13:49:37.000+0000", "directInstitutesForSort" : "MTA-BME Lendület Kiber-fizikai Rendszerek Kutat... (BME / VIK / MIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)", "ownerAuthorCount" : 4, "ownerInstituteCount" : 5, "directInstituteCount" : 2, "authorCount" : 4, "contributorCount" : 0, "book" : { "otype" : "Book", "mtid" : 3152145, "link" : "/api/publication/3152145", "label" : "Benoit Baudry. MODELS '16: ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems. (2016) ISBN:9781450343213", "core" : true, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000144, "link" : "/api/subtype/10000144", "label" : "Konferenciakötet (Könyv)", "name" : "Konferenciakötet", "nameEng" : "Conference proceedings", "docType" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "listPosition" : 345, "published" : true, "oldId" : 10000144, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "MODELS '16", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 1153159, "link" : "/api/publicationidentifier/1153159", "label" : "ISBN: 9781450343213", "source" : { "otype" : "PlainSource", "mtid" : 122, "link" : "/api/publicationsource/122", "label" : "ISBN", "type" : { "otype" : "PublicationSourceType", "mtid" : 10002, "link" : "/api/publicationsourcetype/10002", "label" : "Egyéb", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ISBN", "nameEng" : "ISBN", "linkPattern" : "https://www.worldcat.org/search?q=isbn%3A@@@", "publiclyVisible" : true, "published" : true, "oldId" : 122, "snippet" : true }, "idValue" : "9781450343213", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9781450343213", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1153160, "link" : "/api/publicationidentifier/1153160", "label" : "ACM Digital Library: 2976767", "source" : { "otype" : "PlainSource", "mtid" : 113, "link" : "/api/publicationsource/113", "label" : "ACM Digital Library", "type" : { "otype" : "PublicationSourceType", "mtid" : 10004, "link" : "/api/publicationsourcetype/10004", "label" : "Kiadói adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ACM Digital Library", "linkPattern" : "http://dl.acm.org/citation.cfm?id=@@@", "publiclyVisible" : true, "published" : true, "oldId" : 113, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "2976767", "realUrl" : "http://dl.acm.org/citation.cfm?id=2976767", "published" : false, "oldId" : 1505114, "snippet" : true } ], "publishedAt" : [ { "otype" : "City", "mtid" : 10367, "link" : "/api/city/10367", "label" : "New York, Amerikai Egyesült Államok", "partOf" : { "otype" : "Country", "mtid" : 10017, "link" : "/api/country/10017", "label" : "Amerikai Egyesült Államok", "published" : true, "oldId" : 13, "snippet" : true }, "published" : true, "oldId" : 870, "snippet" : true } ], "pageLength" : 414, "publishedYear" : 2016, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "published" : true, "oldId" : 3152145, "snippet" : true }, "hasQualityFactor" : false, "link" : "/api/publication/3169820", "label" : "Oszkár Semeráth et al. Incremental Backward Change Propagation of View Models by Logic Solvers. (2016) Megjelent: MODELS '16 pp. 306-316", "template" : "