maisМоделирование и анализ информационных системModeling and Analysis of Information Systems1818-10152313-5417Yaroslavl State University10.18255/1818-1015-2014-6-107-119mais-75Research ArticleОригинальные статьиArticlesПоддержка эволюции визуальных языков в платформе QRealSupport for Visual Languages Evolution in DSM-platform QRealАгаповаТатьяна ЮрьевнаAgapovaT. Y.

математико-механический факультет, студентка, 198504 Россия, Санкт-Петербург, Старый Петергоф, Университетский пр., 28

математико-механический факультет, студентка, Universitetsky prospekt, 28, Peterhof, St. Petersburg, 198504, Russia

tatjana.agapova@gmail.comБрыксинТимофей АлександровичBryksinT. A.

математико-механический факультет, старший преподаватель, 198504 Россия, Санкт-Петербург, Старый Петергоф, Университетский пр., 28

математико-механический факультет, старший преподаватель, Universitetsky prospekt, 28, Peterhof, St. Petersburg, 198504, Russia

t.bryksin@spbu.ruСанкт-Петербургский государственный университетРоссияSt. Petersburg State UniversityRussian Federation201420122014216107119Copyright © Агапова Т.Ю., Брыксин Т.А., 20142014Агапова Т.Ю., Брыксин Т.А.Agapova T.Y., Bryksin T.A.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://www.mais-journal.ru/jour/article/view/75

Как и другие программные продукты, языки моделирования развиваются со временем. В результате изменений в языке, модели на данном языке могут перестать соответствовать новой метамодели языка, что ведет к невозможности работы с ними с помощью инструментов моделирования. Таким образом, возникает проблема переноса моделей на новую версию языка. В настоящее время существуют различные подходы к решению данной проблемы – от полностью ручных до практически полностью автоматизированных. Данная статья описывает гибридный подход к миграции моделей, реализованный в DSM- платформе QReal, разрабатываемой на кафедре системного программирования Санкт-Петербургского государственного университета. Рассматриваемая система накладывает некоторые специфические требования, такие как под- держка режимов интерпретации метамодели и метамоделирования “на лету”. Представленный в статье подход реализует миграцию моделей при использовании данных возможностей.

Like other software artefacts, DSMLs evolve in time. When a DSML changes, instance models might no longer conform to the new DSML metamodel and hence cannot be manipulated with a modelling tool. Therefore, a need for models migration to a new version of metamodel arises. Today, various approaches to this problem exist - from entirely manual to mostly automated. This paper describes a hybrid approach to model migration implemented in DSM platform QReal, which is being developed by the research group of Software Engineering Chair of St. Petersburg State University. That DSM platform implies some specific requirements, such as the support of metamodel interpretation and metamodeling “on the fly” modes. The presented approach realizes model migration when using one of those specific features. 

метамоделированиепредметно-ориентированные языки моделированияэволюция метамоделимиграция моделейmetamodellingdomain specific modelling languagesmetamodel evolutionmodel migrationReferencesBrambilla, M., Cabot, J., Wimmer, M. Model-Driven Software Engineering in Practice // Morgan & Claypool. 2012. 182 p.Brambilla, M., Cabot, J., Wimmer, M. Model-Driven Software Engineering in Practice // Morgan & Claypool. 2012. 182 p.Gruschko, B., Kolovos, D., Paige, R. Towards synchronizing models with evolving metamodels // International Workshop on Model-Driven Software Evolution, MoDSE. 2007.Gruschko, B., Kolovos, D., Paige, R. Towards synchronizing models with evolving metamodels // International Workshop on Model-Driven Software Evolution, MoDSE. 2007.Jouault, F., Kurtev, I. Transforming Models with ATL // MoDELS’05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS. Springer-Verlag Berlin, Heidelberg, 2006. P. 128–138.Jouault, F., Kurtev, I. Transforming Models with ATL // MoDELS’05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS. Springer-Verlag Berlin, Heidelberg, 2006. P. 128–138.Kelly, S., Tolvanen, J. Domain-Specific Modeling: Enabling Full Code Generation. WileyIEEE Computer Society Press, 2008. 448 p.Kelly, S., Tolvanen, J. Domain-Specific Modeling: Enabling Full Code Generation. WileyIEEE Computer Society Press, 2008. 448 p.OMG, MOF 2.0 Query/View/Transformations RPF. URL: http://www.omg.org/spec/QVT/1.1/OMG, MOF 2.0 Query/View/Transformations RPF. URL: http://www.omg.org/spec/QVT/1.1/Owen M. and Raj J. BPMN and Bussines Process Management. Popkin Software, 2003.Owen M. and Raj J. BPMN and Bussines Process Management. Popkin Software, 2003.Rahm E., Bernstein P.A. A Survey of Approaches to Automatic Schema Matching // The VLDB Journal. Springer-Verlag, 2001.Rahm E., Bernstein P.A. A Survey of Approaches to Automatic Schema Matching // The VLDB Journal. Springer-Verlag, 2001.Rose L.M., Paige R.F., Kolovos D.S., Polack F.A.C. An Analysis of Approaches to Model Migration // Joint MoDSE–MCCM 2009 Workshop – Models and Evolution, 2009. P. 6–15.Rose L.M., Paige R.F., Kolovos D.S., Polack F.A.C. An Analysis of Approaches to Model Migration // Joint MoDSE–MCCM 2009 Workshop – Models and Evolution, 2009. P. 6–15.Rozenberg G. Handbook of Graph Grammars and Computing by Graph Transformation. Volume 1: Foundations. World Scientific, 1997.Rozenberg G. Handbook of Graph Grammars and Computing by Graph Transformation. Volume 1: Foundations. World Scientific, 1997.Кузенкова А.С., Литвинов Ю.В. Поддержка механизма рефакторингов в DSM-платформе QReal // Материалы межвузовского конкурса-конференции студентов, аспирантов и молодых ученых Северо-Запада "Технологии Microsoft в теории и практике программирования". СПб.: Изд-во СПбГПУ, 2013. С. 71–72 [Kuzenkova A.S., Litvinov Yu.V. Podderzhka mekhanizma refaktoringov v DSM-platforme QReal // Materialy mezhvuzovskogo konkursa-konferentsii studentov, aspirantov i molodykhКузенкова А.С., Литвинов Ю.В. Поддержка механизма рефакторингов в DSM-платформе QReal // Материалы межвузовского конкурса-конференции студентов, аспирантов и молодых ученых Северо-Запада "Технологии Microsoft в теории и практике программирования". СПб.: Изд-во СПбГПУ, 2013. С. 71–72 [Kuzenkova A.S., Litvinov Yu.V. Podderzhka mekhanizma refaktoringov v DSM-platforme QReal // Materialy mezhvuzovskogo konkursa-konferentsii studentov, aspirantov i molodykhuchenykh Severo-Zapada "Tekhnologii Microsoft v teorii i praktike programmirovaniya". St. Petersburg: SPbSTU Press, 2013. P. 71–72 (in Russian)].uchenykh Severo-Zapada "Tekhnologii Microsoft v teorii i praktike programmirovaniya". St. Petersburg: SPbSTU Press, 2013. P. 71–72 (in Russian)].Птахина А.И. Разработка метамоделирования “на лету” в системе QReal // Список-2013: Материалы всероссийской научной конференции по проблемам информатики. СПб.: Изд-во ВВМ, 2013. С. 28–36. [Ptakhina A.I. Razrabotka metamodelirovaniya “na letu” v sisteme QReal // Spisok-2013: Materialy vserossiyskoy nauchnoy konferentsii po problemam informatiki. St. Petersburg: VVM, 2013. P. 28–36 (in Russian)].Птахина А.И. Разработка метамоделирования “на лету” в системе QReal // Список-2013: Материалы всероссийской научной конференции по проблемам информатики. СПб.: Изд-во ВВМ, 2013. С. 28–36. [Ptakhina A.I. Razrabotka metamodelirovaniya “na letu” v sisteme QReal // Spisok-2013: Materialy vserossiyskoy nauchnoy konferentsii po problemam informatiki. St. Petersburg: VVM, 2013. P. 28–36 (in Russian)].Терехов А.Н., Брыксин Т.А., Литвинов Ю.В. QReal: платформа визуального предметно-ориентированного моделирования. // Программная инженерия. 2013. № 6. С. 11–19. [Terekhov A.N., Bryksin T.A., Litvinov Yu.V. QReal: platforma vizual’nogo predmetno-orientirovannogo modelirovaniya // Programmnaya inzheneriya. 2013. No 6. P. 11–19 (in Russian)].Терехов А.Н., Брыксин Т.А., Литвинов Ю.В. QReal: платформа визуального предметно-ориентированного моделирования. // Программная инженерия. 2013. № 6. С. 11–19. [Terekhov A.N., Bryksin T.A., Litvinov Yu.V. QReal: platforma vizual’nogo predmetno-orientirovannogo modelirovaniya // Programmnaya inzheneriya. 2013. No 6. P. 11–19 (in Russian)].

The authors declare that there are no conflicts of interest present.