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 条
  • [41] Generalized Chaos Synchronization of Bidirectional Arrays of Discrete Systems
    臧鸿雁
    闵乐泉
    赵耿
    陈关荣
    Chinese Physics Letters, 2013, 30 (04) : 34 - 37
  • [42] Generalized Chaos Synchronization of Bidirectional Arrays of Discrete Systems
    Zang Hong-Yan
    Min Le-Quan
    Zhao Geng
    Chen Guan-Rong
    CHINESE PHYSICS LETTERS, 2013, 30 (04)
  • [43] Projective synchronization of chaotic systems with bidirectional nonlinear coupling
    Khan, Mohammad Ali
    Poria, Swarup
    PRAMANA-JOURNAL OF PHYSICS, 2013, 81 (03): : 395 - 406
  • [44] Bidirectional synchronization control for an electrohydraulic servo loading system
    Sang, Yong
    Sun, Weiqi
    Duan, Fuhai
    Zhao, Jianlong
    MECHATRONICS, 2019, 62
  • [45] Algebraic equivalence of cycles and algebraic models of smooth manifolds
    Kucharz, W
    COMPOSITIO MATHEMATICA, 2004, 140 (02) : 501 - 510
  • [46] Algebraic Conditions for Synchronization Stability of Memristive Neural Networks
    Yang, Chao
    Zhong, Kai
    Zhu, Song
    Shen, Yi
    2014 33RD CHINESE CONTROL CONFERENCE (CCC), 2014, : 5055 - 5058
  • [47] An algebraic observability approach to chaos synchronization by sliding differentiators
    Cannas, B
    Cincotti, S
    Usai, E
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS, 2002, 49 (07) : 1000 - 1006
  • [48] Bidirectional Integration of Pipeline Models
    Yu, Xiaofeng
    Lam, Wai
    PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 1045 - 1050
  • [49] AutoTurb: Using large language models for automatic algebraic turbulence model discovery
    Zhang, Yu
    Zheng, Kefeng
    Liu, Fei
    Zhang, Qingfu
    Wang, Zhenkun
    PHYSICS OF FLUIDS, 2025, 37 (01)
  • [50] On models of algebraic group actions
    Michel Brion
    Proceedings - Mathematical Sciences, 132
12345