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 条

[31] ALGEBRAIC SPECIFICATION OF SYNCHRONIZATION AND ERRORS - A TELEPHONIC EXAMPLE
BIEBOW, B
HAGELSTEIN, J
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 186 : 294 - 308
[32] Unified algebraic treatment of synchronization parameters estimation
Panayiotopoulos, D
2001 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, VOLS 1-10, CONFERENCE RECORD, 2001, : 2530 - 2534
[33] Inversion of a soil bidirectional reflectance model for use with vegetation reflectance models
Privette, JL
Myneni, RB
Emery, WJ
Pinty, B
JOURNAL OF GEOPHYSICAL RESEARCH-ATMOSPHERES, 1995, 100 (D12) : 25497 - 25508
[34] Algebraic cycles and algebraic models of smooth manifolds
Kucharz, W
JOURNAL OF ALGEBRAIC GEOMETRY, 2002, 11 (01) : 101 - 127
[35] Assessment of bidirectional transformer encoder model and attention based bidirectional LSTM language models for fake news detection
Choudhary, Anshika
Arora, Anuja
JOURNAL OF RETAILING AND CONSUMER SERVICES, 2024, 76
[36] Algebraic statistical models
Drton, Mathias
Sullivaut, Seth
STATISTICA SINICA, 2007, 17 (04) : 1273 - 1297
[37] ALGEBRAIC MODELS FOR MEASURES
DINCULEANU, N
FOIAS, C
ILLINOIS JOURNAL OF MATHEMATICS, 1968, 12 (02) : 340 - +
[38] Algebraic Models in Geometry
Smith, Samuel Bruce
JOURNAL OF GEOMETRY AND SYMMETRY IN PHYSICS, 2009, 13 : 93 - 97
[39] Bidirectional synchronization in supply chains - Requirements and approach for synchronization of production and interlo-gistics
Büttner T.
Wenzel K.
Stange M.
Fischer M.
ZWF Zeitschrift fuer Wirtschaftlichen Fabrikbetrieb, 2020, 115 (12): : 855 - 859
[40] Projective synchronization of chaotic systems with bidirectional nonlinear coupling
MOHAMMAD ALI KHAN
SWARUP PORIA
Pramana, 2013, 81 : 395 - 406

← 1 2 3 4 5 →