{ "labelLang" : "hun", "responseDate" : "2024-03-28 22:41", "paging" : { "last" : true, "first" : true, "totalPages" : 1, "totalElements" : 7, "totalUncutElements" : 7, "totalEstimatedElements" : 1, "size" : 100, "number" : 1, "numberOfElements" : 7, "sort" : [ { "direction" : "DESC", "property" : "publishedYear", "ascending" : false }, { "direction" : "ASC", "property" : "firstAuthor", "ascending" : true }, { "direction" : "ASC", "property" : "title", "ascending" : true } ] }, "content" : [ { "otype" : "JournalArticle", "mtid" : 3229152, "status" : "APPROVED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2018-07-02T22:21:31.000+0000", "deleted" : false, "oldId" : 3229152, "lastRefresh" : "2024-02-18T20:08:49.613+0000", "lastModified" : "2023-05-30T01:42:01.760+0000", "created" : "2017-05-26T12:22:19.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-15T10:09:58.198+0000", "lastDuplumSearch" : "2022-02-15T10:09:58.198+0000", "adminApproved" : "2022-02-15T09:33:33.101+0000", "adminApprover" : { "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" : 24, "link" : "/api/publicationtype/24", "label" : "Folyóiratcikk", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000059, "link" : "/api/subtype/10000059", "label" : "Szakcikk (Folyóiratcikk)", "name" : "Szakcikk", "nameEng" : "Article", "docType" : { "otype" : "PublicationType", "mtid" : 24, "link" : "/api/publicationtype/24", "label" : "Folyóiratcikk", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "snippet" : true }, "listPosition" : 101, "published" : true, "oldId" : 10000059, "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" : 9085405, "link" : "/api/authorship/9085405", "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.5, "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" : 26088033, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 9085406, "link" : "/api/authorship/9085406", "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" : 2, "share" : 0.5, "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" : 26088032, "snippet" : true } ], "title" : "Evaluating Well-Formedness Constraints on Incomplete Models", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 14735625, "link" : "/api/publicationidentifier/14735625", "label" : "DOI: 10.14232/actacyb.23.2.2017.15", "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 }, "validState" : "NO", "idValue" : "10.14232/actacyb.23.2.2017.15", "realUrl" : "https://doi.org/10.14232/actacyb.23.2.2017.15", "published" : false, "oldId" : 16349679, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1201909, "link" : "/api/publicationidentifier/1201909", "label" : "REAL: 57729", "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" : "57729", "realUrl" : "http://real.mtak.hu/57729", "published" : false, "oldId" : 1618085, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1201907, "link" : "/api/publicationidentifier/1201907", "label" : "WoS: 000416171500015", "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 }, "oaFree" : false, "validState" : "IDENTICAL", "idValue" : "000416171500015", "realUrl" : "https://www.webofscience.com/wos/woscc/full-record/000416171500015", "published" : false, "oldId" : 1739554, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 1201908, "link" : "/api/publicationidentifier/1201908", "label" : "Scopus: 85025146484", "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" : "85025146484", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85025146484", "published" : false, "oldId" : 1748024, "snippet" : true } ], "journal" : { "otype" : "Journal", "mtid" : 10004911, "link" : "/api/journal/10004911", "label" : "ACTA CYBERNETICA 0324-721X 2676-993X", "pIssn" : "0324-721X", "eIssn" : "2676-993X", "reviewType" : "REVIEWED", "noIF" : false, "sciIndexed" : true, "scopusIndexed" : true, "lang" : "FOREIGN", "hungarian" : true, "published" : true, "oldId" : 10004911, "snippet" : true }, "volume" : "23", "issue" : "2", "firstPage" : "687", "lastPage" : "713", "firstPageOrInternalIdForSort" : "687", "pageLength" : 26, "publishedYear" : 2017, "conference" : { "otype" : "Conference", "mtid" : 121552, "link" : "/api/conference/121552", "label" : "CSCS 2016 special issue [Szeged, Magyarország]", "location" : [ { "otype" : "City", "mtid" : 10004, "link" : "/api/city/10004", "label" : "Szeged, Magyarország", "partOf" : { "otype" : "Country", "mtid" : 10001, "link" : "/api/country/10001", "label" : "Magyarország", "published" : true, "oldId" : 1, "snippet" : true }, "published" : true, "oldId" : 1015847, "snippet" : true } ], "published" : true, "snippet" : true }, "abstractText" : "In modern modeling tools used for model-driven development, the valida- tion of several well-formedness constraints is continuously been carried out by exploiting advanced graph query engines to highlight conceptual design aws. However, while models are still under development, they are frequently par- tial and incomplete. Validating constraints on incomplete, partial models may identify a large number of irrelevant problems. By switching o the val- idation of these constraints, one may fail to reveal problematic cases which are dicult to correct when the model becomes suciently detailed. Here, we propose a novel validation technique for evaluating well-formed- ness constraints on incomplete, partial models with may and must semantics, e.g. a constraint without a valid match is satisable if there is a completion of the partial model that may satisfy it. To this end, we map the problem of constraint evaluation over partial models into regular graph pattern matching over complete models by semantically equivalent rewrites of graph queries.", "subjects" : [ { "otype" : "Classification", "mtid" : 10003, "link" : "/api/classification/10003", "label" : "Matematika", "published" : true, "snippet" : true }, { "otype" : "Classification", "mtid" : 10034, "link" : "/api/classification/10034", "label" : "Számítás- és információtudomány", "published" : true, "snippet" : true } ], "digital" : null, "printed" : null, "sourceYear" : 2017, "foreignEdition" : false, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : true, "missingAuthor" : false, "oaType" : "GREEN", "oaTypeDisp" : "GREEN", "oaCheckDate" : "2024-02-18", "oaFree" : true, "oaLink" : "http://real.mtak.hu/57729", "citationCount" : 1, "citationCountUnpublished" : 0, "citationCountWoOther" : 1, "independentCitCountWoOther" : 0, "nationalOriginCitationCount" : 1, "foreignEditionCitationCount" : 1, "doiCitationCount" : 1, "wosCitationCount" : 1, "scopusCitationCount" : 1, "wosScopusCitationCount" : 1, "wosScopusCitationCountWoOther" : 1, "wosScopusIndependentCitationCount" : 0, "wosScopusIndependentCitationCountWoOther" : 0, "independentCitationCount" : 0, "selfCitationCount" : 1, "unhandledCitationCount" : 0, "citingPubCount" : 1, "independentCitingPubCount" : 0, "citingPubCountWoOther" : 1, "independentCitingPubCountWoOther" : 0, "unhandledCitingPubCount" : 0, "citedPubCount" : 3, "citedCount" : 3, "ratings" : [ { "otype" : "SjrRating", "mtid" : 10689191, "link" : "/api/sjrrating/10689191", "label" : "sjr:Q3 (2017) Scopus - Computer Science (miscellaneous) ACTA CYBERNETICA 0324-721X", "listPos" : 174, "rankValue" : 0.74, "type" : "journal", "ratingType" : { "otype" : "RatingType", "mtid" : 10002, "link" : "/api/ratingtype/10002", "label" : "sjr", "code" : "sjr", "published" : true, "snippet" : true }, "subject" : { "otype" : "ClassificationExternal", "mtid" : 1701, "link" : "/api/classificationexternal/1701", "label" : "Scopus - Computer Science (miscellaneous)", "published" : true, "oldId" : 1701, "snippet" : true }, "ranking" : "Q3", "calculation" : "DIRECT", "published" : true, "snippet" : true } ], "ratingsForSort" : "Q3", "hasCitationDuplums" : false, "userChangeableUntil" : "2018-03-12T15:44:54.000+0000", "publishDate" : "2017-06-01T14:24: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" : 2, "ownerInstituteCount" : 5, "directInstituteCount" : 2, "authorCount" : 2, "contributorCount" : 0, "hasQualityFactor" : false, "link" : "/api/publication/3229152", "label" : "Oszkár Semeráth et al. Evaluating Well-Formedness Constraints on Incomplete Models. (2017) ACTA CYBERNETICA 0324-721X 2676-993X 23 2 687-713", "template" : "