Ошкало Дмитрий Владиславович

При использовании моделе-ориентированного подхода к разработке программного обеспечения возникает задача поддержания в актуальном состоянии взаимосвязанных моделей путем их синхронизации. Современные подходы к решению этой задачи не рассматривают синхронизацию моделей в контексте многопользовательской среды разработки, оставляя без внимания вопросы корректного внесения изменений в модели, разрешения конфликтных ситуаций при обработке изменений и т.д. В данной статье описывается построение системы для синхронизации моделей как отдельного модуля среды разработки. Для анализа поведения системы, построения ее формального описания и доказательства свойств используется аппарат теории процессов.1.      Haan J.D. 15 reasons why you should start using Model Driven Development. Available at: http://www.theenterprisearchitect.eu/blog/2009/11/25/15-reasons-why-you-should-start-using-model-driven-development , acessed: 20.11.2014.2.      Leblebici E., Anjorin A., Schurr A., Hildebrandt S., Rieke J., Greenyer J. A Comparison of Incremental Triple Graph Grammar Tools. 13th International Workshop on Graph Transformation and Visual Modeling Techniques: proceedings (Grenoble, April, 05-06 2014). Grenoble, 2014. Vol. 67. P.1-14.3.      Diskin, Z., Algebraic Models for Bidirectional Model Synchronization // 11th International Conference (Toulouse, June, 3-6 2008): proceedings. Toulouse, 2008. P.21-36.4.      Antkiewicz M. and Czarnecki K. Design space of heterogeneous synchronization. In Generative and Transformational Techniques in Software Engineering (Berlin, July, 07-11 2008): proceedings. Berlin, 2008. P.3-46.5.      OMG. MOF2.0 query/view/transformation (QVT) adopted specification. OMG document ptc/05-11-01, 2005. Available at: http://www.omg.org/, accessed: 20.11.2014.6.      Девятков В.В. Построение, оптимизация и модификация процессов // Вестник МГТУ им. Н.Э.Баумана.  Сер. Приборостроение. 2012. № 2. С. 60-79.7.      Миронов, А.М. Теория процессов. Режим доступа: http://intsys.msu.ru/ staff/mironov/processes.pdf (дата обращения: 20.11.2014).8.      Baeten J.C.M. A brief history of process algebra // Theoretical Computer Science. 2005. Vol. 335. Issue 2-3. P. 131-146.9.      Glabbeek, R. J. van. Notes on the methodology of CCS and CSP // Theoretical Computer Science archive. 1997. Vol. 177. P. 329 – 349.10.  mCRL. A language and tool set to study communicating processes with data. Available at:http://homepages.cwi.nl/~mcrl/, accessed: 20.11.2014.

В данной статье рассматривается попытка создания среды моделирования, лишенной вышеперечисленных недостатков на примере трехмерной геоинформационной среды.