Разработка процессов синхронизации моделей и принципов проверки их корректности
Опубликовано: 19.11.2013
Авторы: Девятков В.В., Ошкало Д.В.
Опубликовано в выпуске: #11(23)/2013
DOI: 10.18698/2308-6033-2013-11-1052
Раздел: Информационные технологии
Изложены новые принципы решения задачи синхронизации моделей на основе формального процессного описания механизмов синхронизации и свойств их корректности, формализуемых на языке временной модальной логики с последующей проверкой этих свойств с использованием логического вывода. Рассмотрены основные свойства, обеспечивающие корректность процесса синхронизации моделей, а также особенности создания систем синхронизации.
Литература
[1] Stevens P. Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions. Proc. of Int. Conf. on Model Driven Engineering Languages and Systems (MODELS'2007), vol. 4735 of LNCS, Springer, 2007, pp. 1-15
[2] Stevens P. A Landscape of Bidirectional Model Transformations. Int. Summer School, GTTSE 2007, Revised Papers, vol. 5235 of LNCS, Springer, 2008, pp. 408-424
[3] OMG. MOF2.0 query/view/transformation (QVT) adopted specification. OMG document ptc/05-11-01, 2005. URL: www.omg.org (дата обращения 10.04.2013)
[4] Foster J.N., Greenwald M.B., Moore J.T., Pierce B.C., Schmitt A. Combina-tors for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Transactions on Programming Languages and Systems (TOPLAS), 2007, 29 (3)
[5] Mu S., Hu Z., Takeichi M. An algebraic approach to bidirectional updating. APLAS, 2004, vol. 3302 of LNCS, 2004
[6] Xiong Y., Liu D., Hu Z., Zhao H., Takeichi M., Mei H. Towards automatic model synchronization from model transformations. Proc. of the 22nd IEEE/ACM Int. Conf. on Automated software engineering, ACM, 2007, pp. 164-173
[7] Razavi A. Incremental model synchronization. Toronto, University of Waterloo, 2012
[8] Razavi A., Kontogiannis K. Incremental change management in models: challenges, alternatives and methodologies. GRACE, 2008
[9] Diskin Z. Algebraic Models for Bidirectional Model Synchronization, MODELS'2008, Toulouse, France, Springer, 2008
[10] Ivkovic I., Kontogiannis K. Tracing evolution changes of software artifacts through model synchronization. IEEE Int. Conf. on Software Maintenance (ICSM’04) 1063-6773/04, 2004, pp. 252-261
[11] Konigs A. Model transformation with triple graph grammars. Proc. of the Workshop on Model Transformations in Practice, MODELS'05, September 2005
[12] Девятков В.В. Построение, оптимизация и модификация процессов. Вестник МГТУ им. Н.Э. Баумана. Сер. Приборостроение, 2012, № 2. с. 60-79
[13] Миронов А.М. Теория процессов. URL: http://intsys.msu.ru/staff/mironov/processes.pdf (дата обращения 10.04.2013)
[14] Antkiewicz M., Czarnecki K. Design space of heterogeneous synchronization. GTTSE, Springer, 2007, vol. 5235 of LNCS, pp. 3-46
[15] SWI PROLOG. URL: http://swi-prolog.org (дата обращения 25.05.2013)