Toward Product Lines of Mathematical Models for Software Model Management

被引：2
作者：
Diskin, Zinovy [1 ]
Koeing, Harald [2 ]
Lawford, Mark [1 ]
Maibaum, Tom [1 ]
机构：
[1] McMaster Univ, Hamilton, ON, Canada
[2] Univ Appl Sci FHDW Hannover, Hannover, Germany
来源：
SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS, STAF 2017 | 2018年 / 10748卷
关键词：
D O I：
10.1007/978-3-319-74730-9_19
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We present a general view on theoretical aspects of model synchronization and consistency management, and discuss technical challenges in making it sound, and cultural challenges in bringing it to practice.
引用
收藏
页码：200 / 216
页数：17
相关论文
共 39 条
  • [1] Anjorin A., 2016, CEUR WORKSHOP PROC, V1571
  • [2] Anjorin A, 2017, CEUR WORKSHOP P, P15
  • [3] [Anonymous], 2016, Proc. IEEE Energy Convers. Congr. and Expo
  • [4] [Anonymous], 2016, PROC 5 INT WORKSHOP
  • [5] Barbosa DMJ, 2010, ICFP 2010: PROCEEDINGS OF THE 2010 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, P193
  • [6] Boomerang: Resourceful Lenses for String Data
    Bohannon, Aaron
    Foster, J. Nathan
    Pierce, Benjamin C.
    Pilkiewicz, Alexandre
    Schmitt, Alan
    [J]. POPL'08: PROCEEDINGS OF THE 35TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2008, : 407 - 419
  • [7] Cheney J, 2017, J OBJECT TECHNOL, V16, DOI 10.5381/jot.2017.16.1.a3
  • [8] Coecke B., 2017, PICTURING QUANTUM PR, DOI DOI 10.1017/9781316219317
  • [9] Diskin Z., 2014, TR20140401 GSDL U WA
  • [10] From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case
    Diskin, Zinovy
    Xiong, Yingfei
    Czarnecki, Krzysztof
    [J]. JOURNAL OF OBJECT TECHNOLOGY, 2011, 10
1234