В.В. Девятков, Д.В. Ошкало
14
путем декларативного описания ее компонентов и анализа их взаи-
модействия друг с другом. Подобный инструмент в перспективе мо-
жет стать основой для разработки систем синхронизации моделей из
различных областей применения.
ЛИТЕРАТУРА
[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:
(дата обращения
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 22
nd
IEEE/ACM Int. Conf. on Automated software engineering,
ACM
, 2007,
pp. 164–173.
[7] Razavi A.
Incremental model synchronization
. Toronto, University of Water-
loo, 2012.
[8] Razavi A., Kontogiannis K.
Incremental change management in models: chal-
lenges, 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:
/
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:
(дата обращения 25.05.2013).
Статья поступила в редакцию 24.06.2013
Ссылку на эту статью просим оформлять следующим образом:
Девятков В.В., Ошкало Д.В. Разработка процессов синхронизации моделей и
принципов проверки их корректности.
Инженерный журнал: наука и инновации,
2013, вып. 11. URL:
