Algebraic Models for Bidirectional Model Synchronization

被引：0
|
作者：
Diskin, Zinovy [1 ]
机构：
[1] Univ Toronto, Dept Comp Sci, Toronto, ON M5S 1A1, Canada
来源：
MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS | 2008年 / 5301卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The paper presents several algebraic models for semantics of bidirectional model synchronization and transformation. Different patterns of model synchronization are analyzed (including view updates and incremental synchronization), and this analysis motivates the formal definitions. Relationships between the formal models are precisely specified and discussed. A new formal model of of updates is proposed.
引用
收藏
页码：21 / 36
页数：16
相关论文
共 50 条
  • [1] Towards an Incremental Bidirectional Partial Model Synchronization between Organizational and Functional Requirements Models
    Abilov, Marat
    Mahmoud, Tariq
    Gomez, Jorge Marx
    Mora, Manuel
    5TH INTERNATIONAL MODEL-DRIVEN REQUIREMENTS ENGINEERING WORKSHOP (MODRE 2015), 2015, : 1 - 10
  • [2] From model transformation to incremental bidirectional model synchronization
    Giese, Holger
    Wagner, Robert
    SOFTWARE AND SYSTEMS MODELING, 2009, 8 (01): : 21 - 43
  • [3] Bidirectional Mapping between Architecture Model and Code for Synchronization
    Van Cam Pham
    Radermacher, Ansgar
    Gerard, Sebastien
    Li, Shuai
    2017 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE (ICSA 2017), 2017, : 239 - 242
  • [4] A three-dimensional taxonomy for bidirectional model synchronization
    Diskin, Zinovy
    Gholizadeh, Hamid
    Wider, Arif
    Czarnecki, Krzysztof
    JOURNAL OF SYSTEMS AND SOFTWARE, 2016, 111 : 298 - 322
  • [5] KBX: Verified Model Synchronization via Formal Bidirectional Transformation
    Zhao, Jianhong
    Zhao, Yongwang
    Yao, Peisen
    Zeng, Fanlang
    Zhan, Bohua
    Ren, Kui
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2025, 34 (02)
  • [6] A Bidirectional Framework for Model Synchronization in Component-Based Software Development
    Chen, Luxi
    Huang, Linpeng
    Li, Chen
    Zan, Tao
    2013 13TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC), 2013, : 313 - 319
  • [7] Simultaneous Bidirectional Geometric Model Synchronization between CAD and VR Applications
    Chotrov, Dimo
    Maleshkov, Stoyan
    ADVANCES IN VISUAL COMPUTING, PT II, 2013, 8034 : 288 - 297
  • [8] Dynamics of generalized bidirectional synchronization
    Jana M.
    Islam M.
    Islam N.
    International Journal of Dynamics and Control, 2016, 4 (4) : 466 - 480
  • [9] A model category structure for equivariant algebraic models
    Scull, Laura
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2008, 360 (05) : 2505 - 2525
  • [10] Algebraic Synchronization Trees and Processes
    Aceto, Luca
    Carayol, Arnaud
    Esik, Zoltan
    Ingolfsdottir, Anna
    AUTOMATA, LANGUAGES, AND PROGRAMMING, ICALP 2012, PT II, 2012, 7392 : 30 - 41
12345