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 条
  • [21] The Part Research on Bidirectional Generalized Chaos Synchronization
    Zang, Hong-Yan
    Li, Guo-Dong
    Han, Xue-Juan
    Wang, Le-le
    WIRELESS PERSONAL COMMUNICATIONS, 2018, 102 (02) : 1269 - 1282
  • [22] The Part Research on Bidirectional Generalized Chaos Synchronization
    Hong-Yan Zang
    Guo-Dong Li
    Xue-Juan Han
    Le-le Wang
    Wireless Personal Communications, 2018, 102 : 1269 - 1282
  • [23] Synchronization of hyperchaotic systems with delayed bidirectional coupling
    Buríc, Nikola
    Todorović, Dragana
    Physical Review E - Statistical, Nonlinear, and Soft Matter Physics, 2003, 68 (6 2): : 662181 - 662189
  • [24] Bidirectional synchronization of semiconductor lasers with optoelectronic feedback
    Chiang, MC
    Chen, HF
    Liu, JM
    2005 IEEE LEOS Annual Meeting Conference Proceedings (LEOS), 2005, : 945 - 946
  • [25] Linear Generalized Synchronization Using Bidirectional Coupling
    Nandan, Mauparna
    Bhowmick, Sourav K.
    Pal, Pinaki
    INTERNATIONAL JOURNAL OF NONLINEAR SCIENCES AND NUMERICAL SIMULATION, 2015, 16 (02) : 67 - 72
  • [26] Synchronization of hyperchaotic systems with delayed bidirectional coupling
    Buric, N
    Todorovic, D
    PHYSICAL REVIEW E, 2003, 68 (06):
  • [27] Global synchronization of networked systems with bidirectional connections
    Xiang, Ji
    Li, Yanjun
    Wei, Wei
    PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009), 2009, : 1702 - 1707
  • [28] Algebraic synchronization criterion and computing reset words
    Berlinkov, Mikhail V.
    Szykula, Marek
    INFORMATION SCIENCES, 2016, 369 : 718 - 730
  • [29] CONCURRENT PROCESSES WITH SYNCHRONIZATION - NET AND ALGEBRAIC APPROACH
    CHERKASOVA, LA
    FILURIN, AS
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 363 : 63 - 80
  • [30] Algebraic Synchronization Criterion and Computing Reset Words
    Berlinkov, Mikhail
    Szykula, Marek
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2015, PT I, 2015, 9234 : 103 - 115
12345