{ "labelLang" : "hun", "responseDate" : "2024-03-28 13:46", "content" : { "otype" : "BookChapter", "mtid" : 31951700, "status" : "ADMIN_APPROVED", "published" : true, "unhandledTickets" : 0, "deleted" : false, "lastRefresh" : "2024-02-24T19:39:53.506+0000", "lastModified" : "2024-02-07T10:30:05.230+0000", "created" : "2021-04-06T08:07:10.481+0000", "creator" : { "otype" : "Author", "mtid" : 10012476, "link" : "/api/author/10012476", "label" : "Molnár Bálint (Informatika)", "familyName" : "Molnár", "givenName" : "Bálint", "published" : true, "oldId" : 10012476, "snippet" : true }, "lastDuplumOK" : "2024-02-07T10:30:07.017+0000", "lastDuplumSearch" : "2024-02-07T10:30:07.017+0000", "adminApproved" : "2022-02-22T15:15:02.104+0000", "adminApprover" : { "otype" : "Admin", "mtid" : 10029372, "link" : "/api/admin/10029372", "label" : "Szabó Tibor (ELTE IK admin 5)", "familyName" : "Szabó", "givenName" : "Tibor", "published" : true, "oldId" : 10029372, "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" : "Kherbouche, Meriem", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 95899378, "link" : "/api/authorship/95899378", "label" : "Kherbouche, Meriem [Kherbouche, Meriem (Informatika), szerző] Információs Rendszerek Tanszék (ELTE / IK); PhD Informatika Doktori Iskola (ELTE / IK)", "listPosition" : 1, "share" : 0.5, "first" : true, "last" : false, "corresponding" : false, "author" : { "otype" : "Author", "mtid" : 10070131, "link" : "/api/author/10070131", "label" : "Kherbouche Meriem (Informatika)", "familyName" : "Kherbouche", "givenName" : "Meriem", "published" : true, "snippet" : true }, "familyName" : "Kherbouche", "givenName" : "Meriem", "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, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 95899379, "link" : "/api/authorship/95899379", "label" : "Molnár, Bálint [Molnár, Bálint (Informatika), szerző] Információs Rendszerek Tanszék (ELTE / IK)", "listPosition" : 2, "share" : 0.5, "first" : false, "last" : true, "corresponding" : false, "author" : { "otype" : "Author", "mtid" : 10012476, "link" : "/api/author/10012476", "label" : "Molnár Bálint (Informatika)", "familyName" : "Molnár", "givenName" : "Bálint", "published" : true, "oldId" : 10012476, "snippet" : true }, "familyName" : "Molnár", "givenName" : "Bálint", "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, "snippet" : true } ], "title" : "Formal Model Checking and Transformations of Models Represented in UML with Alloy", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 18618912, "link" : "/api/publicationidentifier/18618912", "label" : "DOI: 10.1007/978-3-030-72696-6_6", "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 }, "idValue" : "10.1007/978-3-030-72696-6_6", "realUrl" : "https://doi.org/10.1007/978-3-030-72696-6_6", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 22804649, "link" : "/api/publicationidentifier/22804649", "label" : "ISBN: 9783030726966", "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" : "9783030726966", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783030726966", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18618913, "link" : "/api/publicationidentifier/18618913", "label" : "Egyéb URL: http://link.springer.com/10.1007/978-3-030-72696-6_6", "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" : "Other URL", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 40, "snippet" : true }, "idValue" : "http://link.springer.com/10.1007/978-3-030-72696-6_6", "realUrl" : "http://link.springer.com/10.1007/978-3-030-72696-6_6", "published" : false, "snippet" : true } ], "firstPage" : "127", "lastPage" : "136", "internalId" : "Chapter 6", "firstPageOrInternalIdForSort" : "127, Chapter 6", "pageLength" : 10, "publishedYear" : 2021, "subjects" : [ { "otype" : "Classification", "mtid" : 10057, "link" : "/api/classification/10057", "label" : "Elméleti számítástudomány, formális módszerek, kvantumszámítástechnika", "published" : true, "snippet" : true }, { "otype" : "Classification", "mtid" : 10040, "link" : "/api/classification/10040", "label" : "Informatika és információs rendszerek", "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 }, { "otype" : "Classification", "mtid" : 10035, "link" : "/api/classification/10035", "label" : "Számítástudomány, információtudomány és bioinformatika", "published" : true, "snippet" : true } ], "fundings" : [ { "otype" : "Funding", "mtid" : 1995755, "link" : "/api/funding/1995755", "label" : "TKP2020-NKA-06(Thematic Excellence Programme TKP2020-NKA-06 (National Challenges Subprogramme)) Támogató: NKFI", "published" : false, "snippet" : true }, { "otype" : "Funding", "mtid" : 1995756, "link" : "/api/funding/1995756", "label" : "Integrált kutatói utánpótlás-képzési program az informatika és számítástudomány diszciplináris te...(EFOP-3.6.3-VEKOP-16-2017-00002) Támogató: EFOP-VEKOP", "published" : false, "snippet" : true } ], "digital" : true, "printed" : true, "collaboration" : "INTERNATIONAL", "sourceYear" : 2021, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : null, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2024-02-24", "oaFree" : false, "citationCount" : 10, "citationCountUnpublished" : 0, "citationCountWoOther" : 9, "independentCitCountWoOther" : 5, "nationalOriginCitationCount" : 3, "foreignEditionCitationCount" : 8, "doiCitationCount" : 7, "wosCitationCount" : 3, "scopusCitationCount" : 3, "wosScopusCitationCount" : 3, "wosScopusCitationCountWoOther" : 3, "wosScopusIndependentCitationCount" : 0, "wosScopusIndependentCitationCountWoOther" : 0, "independentCitationCount" : 6, "selfCitationCount" : 4, "unhandledCitationCount" : 0, "citingPubCount" : 10, "independentCitingPubCount" : 6, "citingPubCountWoOther" : 9, "independentCitingPubCountWoOther" : 5, "unhandledCitingPubCount" : 0, "citedPubCount" : 2, "citedCount" : 2, "pubStats" : { "types" : [ { "type" : "Folyóiratcikk", "typeEng" : "Journal Article", "code" : 24, "count" : 4 }, { "type" : "Könyvrészlet", "typeEng" : "Chapter in Book", "code" : 25, "count" : 4 }, { "type" : "Könyv", "typeEng" : "Book", "code" : 23, "count" : 1 }, { "type" : "Egyéb konferenciaközlemény", "typeEng" : "Conference paper", "code" : 31, "count" : 0 }, { "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" : 0 }, { "type" : "Egyéb", "typeEng" : "Miscellaneous", "code" : 29, "count" : 1 }, { "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" : 2022, "publicationCount" : 0, "citationCount" : 4, "independentCitationCount" : 2, "citingPubCount" : 4, "independentCitingPubCount" : 2, "oaStats" : null, "oaStats2" : null }, { "year" : 2023, "publicationCount" : 0, "citationCount" : 4, "independentCitationCount" : 2, "citingPubCount" : 4, "independentCitingPubCount" : 2, "oaStats" : null, "oaStats2" : null }, { "year" : 2024, "publicationCount" : 0, "citationCount" : 2, "independentCitationCount" : 2, "citingPubCount" : 2, "independentCitingPubCount" : 2, "oaStats" : null, "oaStats2" : null } ] }, "references" : [ { "otype" : "Reference", "mtid" : 19559447, "link" : "/api/reference/19559447", "label" : "1. Abbas, M., Ben-Yelles, C.B., Rioboo, R.: Modelling UML state machines with focalize. Int. J. Inf. Commun. Technol. 13(1), 34–54 (2018). https://doi.org/10.1504/ijict.2018.10010449, DOI: 10.1504/ijict.2018.10010449", "listPosition" : 1, "doi" : "10.1504/ijict.2018.10010449", "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559448, "link" : "/api/reference/19559448", "label" : "2. 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. 4735, pp. 436–450. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-75209-7_30, DOI: 10.1007/978-3-540-75209-7_30", "listPosition" : 2, "doi" : "10.1007/978-3-540-75209-7_30", "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559449, "link" : "/api/reference/19559449", "label" : "3. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to alloy. Softw. Syste. Model. 9(1), 69 (2010). https://doi.org/10.1007/s10270-008-0110-3, DOI: 10.1007/s10270-008-0110-3", "listPosition" : 3, "doi" : "10.1007/s10270-008-0110-3", "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559450, "link" : "/api/reference/19559450", "label" : "4. Balaban, M., et al.: A comparison of textual modeling languages: OCL, alloy, FOMl. In: OCL@ MoDELS, pp. 57–72 (2016)", "listPosition" : 4, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559451, "link" : "/api/reference/19559451", "label" : "5. Cámara, J., Canal, C., Cubo, J., Vallecillo, A.: Formalizing WSBPEL business processes using process algebra. Electron. Notes Theor. Comput. Sci. 154(1), 159–173 (2006). https://doi.org/10.1016/j.entcs.2005.12.038, DOI: 10.1016/j.entcs.2005.12.038", "listPosition" : 5, "doi" : "10.1016/j.entcs.2005.12.038", "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559452, "link" : "/api/reference/19559452", "label" : "6. Cunha, A., Garis, A., Riesco, D.: Translating between alloy specifications and UML class diagrams annotated with OCL. Softw. Syst. Model. 14(1), 5–25 (2015). https://doi.org/10.1007/s10270-013-0353-5, DOI: 10.1007/s10270-013-0353-5", "listPosition" : 6, "doi" : "10.1007/s10270-013-0353-5", "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559453, "link" : "/api/reference/19559453", "label" : "7. Da Silva, A.R.: Model-driven engineering: a survey supported by the unified conceptual model. Comput. Lang. Syst. Struct. 43, 139–155 (2015). https://doi.org/10.1016/j.cl.2015.06.001, DOI: 10.1016/j.cl.2015.06.001", "listPosition" : 7, "doi" : "10.1016/j.cl.2015.06.001", "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559454, "link" : "/api/reference/19559454", "label" : "8. Gammaitoni, L.: On the use of alloy in engineering domain specific modeling languages. Ph.D. thesis, University of Luxembourg, Luxembourg (2017)", "listPosition" : 8, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559455, "link" : "/api/reference/19559455", "label" : "9. Gammaitoni, L., Kelsen, P.: F-alloy: a relational model transformation language based on alloy. Softw. Syst. Model. 18(1), 213–247 (2019). https://doi.org/10.1007/s10270-017-0630-9, DOI: 10.1007/s10270-017-0630-9", "listPosition" : 9, "doi" : "10.1007/s10270-017-0630-9", "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559456, "link" : "/api/reference/19559456", "label" : "10. Gammaitoni, L., Kelsen, P., Ma, Q.: Agile validation of model transformations using compound f-alloy specifications. Sci. Comput. Program. 162, 55–75 (2018). https://doi.org/10.1016/j.scico.2017.07.001, DOI: 10.1016/j.scico.2017.07.001", "listPosition" : 10, "doi" : "10.1016/j.scico.2017.07.001", "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559457, "link" : "/api/reference/19559457", "label" : "11. Garis, A., Paiva, A.C.R., Cunha, A., Riesco, D.: Specifying UML protocol state machines in alloy. In: Derrick, J., Gnesi, S., Latella, D., Treharne, H. (eds.) IFM 2012. LNCS, vol. 7321, pp. 312–326. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-30729-4_22, DOI: 10.1007/978-3-642-30729-4_22", "listPosition" : 11, "doi" : "10.1007/978-3-642-30729-4_22", "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559458, "link" : "/api/reference/19559458", "label" : "12. Han, Z., Zhang, L., Ling, J., Huang, S.: Control-flow pattern based transformation from UML activity diagram to YAWL. In: van Sinderen, M., Johnson, P., Xu, X., Doumeingts, G. (eds.) IWEI 2012. LNBIP, vol. 122, pp. 129–145. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-33068-1_13, DOI: 10.1007/978-3-642-33068-1_13", "listPosition" : 12, "doi" : "10.1007/978-3-642-33068-1_13", "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559459, "link" : "/api/reference/19559459", "label" : "13. Huang, E., McGinnis, L.F., Mitchell, S.W.: Verifying SysML activity diagrams using formal transformation to petri nets. Syst. Eng. (2019). https://doi.org/10.1002/sys.21524, DOI: 10.1002/sys.21524", "listPosition" : 13, "doi" : "10.1002/sys.21524", "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559460, "link" : "/api/reference/19559460", "label" : "14. Jackson, D.: Alloy: a language and tool for exploring software designs. Commun. ACM 62(9), 66–76 (2019). https://doi.org/10.1145/3338843, DOI: 10.1145/3338843", "listPosition" : 14, "doi" : "10.1145/3338843", "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559461, "link" : "/api/reference/19559461", "label" : "15. Karboos, M.H.: Integrating business process concepts into UML activity model. J. Eng. Comput. Sci. (JECS) 19(1), 57–68 (2019)", "listPosition" : 15, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559462, "link" : "/api/reference/19559462", "label" : "16. Kautz, O., Maoz, S., Ringert, J.O., Rumpe, B.: Cd2alloy: a translation of class diagrams to alloy. Technical report. AIB-2017-06, RWTH Aachen University, July 2017 (2017)", "listPosition" : 16, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559463, "link" : "/api/reference/19559463", "label" : "17. Kherbouche, M., Bouafia, K., Molnar, B.: Transformation of UML state machine to YAWL. In: Ninth IEEE International Conference on Intelligent Computing and Information Systems (2019). https://doi.org/10.1109/icicis46948.2019.9014793, DOI: 10.1109/icicis46948.2019.9014793", "listPosition" : 17, "doi" : "10.1109/icicis46948.2019.9014793", "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559464, "link" : "/api/reference/19559464", "label" : "18. Khudori, A.N., Kurniawan, T.A.: Business process model transformation techniques: a comprehensive survey. Adv. Sci. Lett. 24(11), 8606–8612 (2018). https://doi.org/10.1166/asl.2018.12311, DOI: 10.1166/asl.2018.12311", "listPosition" : 18, "doi" : "10.1166/asl.2018.12311", "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559465, "link" : "/api/reference/19559465", "label" : "19. Lano, K., Kolahdouz-Rahimi, S.: Model transformation specification and design. In: Advances in Computers, vol. 85, pp. 123–163. Elsevier (2012). https://doi.org/10.1016/b978-0-12-396526-4.00003-5, DOI: 10.1016/b978-0-12-396526-4.00003-5", "listPosition" : 19, "doi" : "10.1016/b978-0-12-396526-4.00003-5", "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559466, "link" : "/api/reference/19559466", "label" : "20. López-Campos, M.A., Márquez, A.C., Fernández, J.F.G.: Modelling using UML and BPMN the integration of open reliability, maintenance and condition monitoring management systems: an application in an electric transformer system. Comput. Industry 64(5), 524–542 (2013). https://doi.org/10.1016/j.compind.2013.02.010, DOI: 10.1016/j.compind.2013.02.010", "listPosition" : 20, "doi" : "10.1016/j.compind.2013.02.010", "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559467, "link" : "/api/reference/19559467", "label" : "21. Maoz, S., Ringert, J.O., Rumpe, B.: CD2Alloy: class diagrams analysis using alloy revisited. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 592–607. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-24485-8_44, DOI: 10.1007/978-3-642-24485-8_44", "listPosition" : 21, "doi" : "10.1007/978-3-642-24485-8_44", "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559468, "link" : "/api/reference/19559468", "label" : "22. Mazanek, S., Minas, M.: Transforming BPMN to BPEL using parsing and attribute evaluation with respect to a hypergraph grammar (2009). http://is.tm.tue.nl/staff/pvgorp/events/grabats2009/submissions/grabats2009_submission_8.Pdf. Accessed 14 Oct 2009", "listPosition" : 22, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559469, "link" : "/api/reference/19559469", "label" : "23. Molnár, B.: Applications of hypergraphs in informatics: a survey and opportunities for research. Ann. Univ. Scientiarum Budapestinensis de Rolando Eotvos Nominatae Sectio Computatorica 42, 261–282 (2014)", "listPosition" : 23, "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559470, "link" : "/api/reference/19559470", "label" : "24. Narayanan, A., Karsai, G.: Verifying model transformations by structural correspondence. Electron. Commun. EASST 10, 1–14 (2008). https://doi.org/10.14279/tuj.eceasst.10.157, DOI: 10.14279/tuj.eceasst.10.157", "listPosition" : 24, "doi" : "10.14279/tuj.eceasst.10.157", "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559471, "link" : "/api/reference/19559471", "label" : "25. Recker, J., La Rosa, M.: Understanding user differences in open-source workflow management system usage intentions. Inf. Syst. 37(3), 200–212 (2012). https://doi.org/10.1016/j.is.2011.10.002, DOI: 10.1016/j.is.2011.10.002", "listPosition" : 25, "doi" : "10.1016/j.is.2011.10.002", "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559472, "link" : "/api/reference/19559472", "label" : "26. Singh, M., Sharma, A.K., Saxena, R.: Formal transformation of UML diagram: use case, class, sequence diagram with Z notation for representing the static and dynamic perspectives of system. In: Satapathy, S.C., Joshi, A., Modi, N., Pathak, N. (eds.) Proceedings of International Conference on ICT for Sustainable Development. AISC, vol. 409, pp. 25–38. Springer, Singapore (2016). https://doi.org/10.1007/978-981-10-0135-2_3, DOI: 10.1007/978-981-10-0135-2_3", "listPosition" : 26, "doi" : "10.1007/978-981-10-0135-2_3", "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559473, "link" : "/api/reference/19559473", "label" : "27. Van Tendeloo, Y., Vangheluwe, H.: Discrete event system specification modeling and simulation. In: Proceedings of the 2018 Winter Simulation Conference, pp. 162–176. IEEE Press (2018). https://doi.org/10.1109/wsc.2018.8632372, DOI: 10.1109/wsc.2018.8632372", "listPosition" : 27, "doi" : "10.1109/wsc.2018.8632372", "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559474, "link" : "/api/reference/19559474", "label" : "28. Weidlich, M., Decker, G., Großkopf, A., Weske, M.: BPEL to BPMN: the myth of a straight-forward mapping. In: Meersman, R., Tari, Z. (eds.) OTM 2008, Part I. LNCS, vol. 5331, pp. 265–282. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-88871-0_19, DOI: 10.1007/978-3-540-88871-0_19", "listPosition" : 28, "doi" : "10.1007/978-3-540-88871-0_19", "published" : false, "snippet" : true }, { "otype" : "Reference", "mtid" : 19559475, "link" : "/api/reference/19559475", "label" : "29. Zarour, K., Benmerzoug, D., Guermouche, N., Drira, K.: A systematic literature review on BPMN extensions. Bus. Process Manage. J. (2019). https://doi.org/10.1108/bpmj-01-2019-0040, DOI: 10.1108/bpmj-01-2019-0040", "listPosition" : 29, "doi" : "10.1108/bpmj-01-2019-0040", "published" : false, "snippet" : true } ], "hasCitationDuplums" : false, "userChangeableUntil" : "2021-07-05T08:07:11.753+0000", "directInstitutesForSort" : "Információs Rendszerek Tanszék (ELTE / IK); PhD Informatika Doktori Iskola (ELTE / IK)", "ownerAuthorCount" : 2, "ownerInstituteCount" : 9, "directInstituteCount" : 2, "authorCount" : 2, "contributorCount" : 0, "book" : { "otype" : "Book", "mtid" : 31951701, "link" : "/api/publication/31951701", "label" : "Thalheim Bernhard. Modelling to Program: Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10–12, 2020, Revised Selected Papers. (2021) ISBN:9783030726966; 9783030726959", "core" : false, "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" : "Modelling to Program", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 18618911, "link" : "/api/publicationidentifier/18618911", "label" : "ISBN: 9783030726966", "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" : "9783030726966", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783030726966", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18618910, "link" : "/api/publicationidentifier/18618910", "label" : "ISBN: 9783030726959", "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" : "9783030726959", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783030726959", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18618909, "link" : "/api/publicationidentifier/18618909", "label" : "Egyéb URL: http://link.springer.com/10.1007/978-3-030-72696-6", "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" : "Other URL", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 40, "snippet" : true }, "idValue" : "http://link.springer.com/10.1007/978-3-030-72696-6", "realUrl" : "http://link.springer.com/10.1007/978-3-030-72696-6", "published" : false, "snippet" : true } ], "publishedAt" : [ { "otype" : "City", "mtid" : 15258, "link" : "/api/city/15258", "label" : "Cham, Svájc", "partOf" : { "otype" : "Country", "mtid" : 10022, "link" : "/api/country/10022", "label" : "Svájc", "published" : true, "oldId" : 18, "snippet" : true }, "published" : true, "oldId" : 10006686, "snippet" : true } ], "publishedYear" : 2021, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "nationalOrigin" : false, "published" : true, "snippet" : true }, "hasQualityFactor" : false, "link" : "/api/publication/31951700", "label" : "Kherbouche Meriem et al. Formal Model Checking and Transformations of Models Represented in UML with Alloy. (2021) Megjelent: Modelling to Program pp. 127-136", "template" : "