{ "labelLang" : "eng", "responseDate" : "2024-03-29 02:15", "paging" : { "last" : true, "first" : true, "totalPages" : 1, "totalElements" : 3, "totalUncutElements" : 3, "totalEstimatedElements" : 1, "size" : 100, "number" : 1, "numberOfElements" : 3, "sort" : [ { "direction" : "DESC", "property" : "publishedYear", "ascending" : false }, { "direction" : "ASC", "property" : "firstAuthor", "ascending" : true }, { "direction" : "ASC", "property" : "title", "ascending" : true } ] }, "content" : [ { "otype" : "Thesis", "mtid" : 2612543, "status" : "ADMIN_APPROVED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2018-09-12T20:22:02.000+0000", "deleted" : false, "oldId" : 2612543, "lastRefresh" : "2023-01-26T22:17:07.415+0000", "lastModified" : "2020-05-19T15:12:03.184+0000", "created" : "2008-01-30T23:00:00.000+0000", "creator" : { "otype" : "Author", "mtid" : 10001355, "link" : "/api/author/10001355", "label" : "Dániel Varró (Informatika, szoftvertechnológia)", "familyName" : "Varró", "givenName" : "Dániel", "published" : true, "oldId" : 10001355, "snippet" : true }, "lastDuplumOK" : "2020-06-11T20:55:12.096+0000", "lastDuplumSearch" : "2020-06-11T20:55:12.096+0000", "adminApproved" : "2020-05-19T15:12:03.199+0000", "adminApprover" : { "otype" : "Admin", "mtid" : 10068788, "link" : "/api/admin/10068788", "label" : "Mária Fritzné Tószeczki (BME admin5)", "familyName" : "Fritzné Tószeczki", "givenName" : "Mária", "published" : true, "snippet" : true }, "core" : true, "citation" : true, "type" : { "otype" : "PublicationType", "mtid" : 28, "link" : "/api/publicationtype/28", "label" : "Thesis", "code" : 28, "otypeName" : "Thesis", "listPosition" : 8, "published" : true, "oldId" : 28, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 9, "link" : "/api/subtype/9", "label" : "PhD (Thesis)", "name" : "PhD", "nameEng" : "PhD", "docType" : { "otype" : "PublicationType", "mtid" : 28, "link" : "/api/publicationtype/28", "label" : "Thesis", "code" : 28, "otypeName" : "Thesis", "listPosition" : 8, "published" : true, "oldId" : 28, "snippet" : true }, "listPosition" : 867, "published" : true, "oldId" : 9, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Scientific", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "English", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "firstAuthor" : "Varro, D", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 5220668, "link" : "/api/authorship/5220668", "label" : "Varro, D [Varró, Dániel (Informatika, szof...), author] Department of Measurement and Information Systems (BUTE / FEEI)", "listPosition" : 1, "share" : 1.0, "first" : true, "last" : false, "author" : { "otype" : "Author", "mtid" : 10001355, "link" : "/api/author/10001355", "label" : "Dániel Varró (Informatika, szoftvertechnológia)", "familyName" : "Varró", "givenName" : "Dániel", "published" : true, "oldId" : 10001355, "snippet" : true }, "familyName" : "Varro", "givenName" : "D", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Author", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 19823060, "snippet" : true } ], "title" : "Automated Model Transformations for the Analysis of IT Systems", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 820711, "link" : "/api/publicationidentifier/820711", "label" : "BME OMIKK: BMEOMIKK000456862", "source" : { "otype" : "PlainSource", "mtid" : 30, "link" : "/api/publicationsource/30", "label" : "BME OMIKK", "type" : { "otype" : "PublicationSourceType", "mtid" : 10005, "link" : "/api/publicationsourcetype/10005", "label" : "Könyvtári katalógus", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "BME OMIKK", "linkPattern" : "http://aleph.omikk.bme.hu/jump/sysno/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 30, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "BMEOMIKK000456862", "realUrl" : "http://aleph.omikk.bme.hu/jump/sysno/BMEOMIKK000456862", "published" : false, "oldId" : 728745, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 820712, "link" : "/api/publicationidentifier/820712", "label" : "Egyéb URL: http://www.doktori.hu/index.php?menuid=193&vid=8649", "source" : { "otype" : "PlainSource", "mtid" : 40, "link" : "/api/publicationsource/40", "label" : "Egyéb URL", "type" : { "otype" : "PublicationSourceType", "mtid" : 10006, "link" : "/api/publicationsourcetype/10006", "label" : "Link", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "Egyéb URL", "nameEng" : "Egyéb URL", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 40, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "http://www.doktori.hu/index.php?menuid=193&vid=8649", "realUrl" : "http://www.doktori.hu/index.php?menuid=193&vid=8649", "published" : false, "oldId" : 1183650, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 820713, "link" : "/api/publicationidentifier/820713", "label" : "Handle: 10890/261", "source" : { "otype" : "PlainSource", "mtid" : 152, "link" : "/api/publicationsource/152", "label" : "Handle", "type" : { "otype" : "PublicationSourceType", "mtid" : 10006, "link" : "/api/publicationsourcetype/10006", "label" : "Link", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "Handle", "linkPattern" : "http://hdl.handle.net/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 152, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "10890/261", "realUrl" : "http://hdl.handle.net/10890/261", "published" : false, "oldId" : 1183649, "snippet" : true } ], "firstPageOrInternalIdForSort" : "", "pageLength" : 240, "publishedYear" : 2004, "abstractText" : "When designing critical applications using the Unified Modeling Language, the system models are frequently projected into various mathematical domains (such as Petri nets, transition systems, process algebras, etc.) by model transformations to carry out a formal analysis of the system under design.\nIn the current thesis, I introduce a general, visual yet mathematically precise framework for uniformly specifying a large scale of model transformations within and between modeling languages. I also propose automated means to reason about the correctness of transformations, and to generate a transformation program as the implementation from such high-level specifications.", "digital" : null, "printed" : null, "sourceYear" : 2020, "packet" : "bme-pa-migracio-20014-06-20-v01", "foreignEdition" : null, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : false, "nationalOrigin" : true, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2023-01-26", "oaFree" : false, "oaByAuthor" : { "otype" : "Admin", "mtid" : 10039288, "link" : "/api/admin/10039288", "label" : "Mária Szmolyán (BME 4 admin - INAKTÍV)", "familyName" : "Szmolyán", "givenName" : "Mária", "published" : true, "oldId" : 10039288, "snippet" : true }, "citationCount" : 8, "citationCountUnpublished" : 0, "citationCountWoOther" : 7, "independentCitCountWoOther" : 3, "nationalOriginCitationCount" : 6, "foreignEditionCitationCount" : 7, "doiCitationCount" : 6, "wosCitationCount" : 3, "scopusCitationCount" : 7, "wosScopusCitationCount" : 7, "wosScopusCitationCountWoOther" : 7, "wosScopusIndependentCitationCount" : 3, "wosScopusIndependentCitationCountWoOther" : 3, "independentCitationCount" : 4, "selfCitationCount" : 4, "unhandledCitationCount" : 0, "citingPubCount" : 8, "independentCitingPubCount" : 4, "citingPubCountWoOther" : 7, "independentCitingPubCountWoOther" : 3, "unhandledCitingPubCount" : 0, "citedPubCount" : 1, "citedCount" : 1, "hasCitationDuplums" : false, "userChangeableUntil" : "2015-08-10T13:22:32.000+0000", "publishDate" : "2014-08-13T11:38:09.000+0000", "directInstitutesForSort" : "Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)", "ownerAuthorCount" : 1, "ownerInstituteCount" : 4, "directInstituteCount" : 1, "authorCount" : 1, "contributorCount" : 0, "consultantAuthor" : { "otype" : "Author", "mtid" : 10004524, "link" : "/api/author/10004524", "label" : "András Pataricza (Számítástechnika, informatika)", "familyName" : "Pataricza", "givenName" : "András", "published" : true, "oldId" : 10004524, "snippet" : true }, "consultant" : "Pataricza András", "school" : "Informatikai Tudományok Doktori Iskola", "applicationYear" : 2003, "acceptanceYear" : 2004, "hasQualityFactor" : false, "link" : "/api/publication/2612543", "label" : "Varro D. Automated Model Transformations for the Analysis of IT Systems. (2004)", "template" : "