A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation
summary
Claims a concrete method that finds a consistent merged model by search over edit sequences with a fitness that combines model consistency and minimal change, and an execution strategy that tolerates message loss and crashes via fault injection for dropped messages during evaluation. Implements a prototype on the Eclipse Modeling Framework as an EMF prototype, runs concurrent edit workloads on several model sizes, and demonstrates recovery to a consistent state where standard synchronisation fails.
AI-written summary · about
related talks
25mConsistent Updates for Scalable Microservices
17mPreserving Consistency of Interrelated Models during View-Based Evolution of Variable Systems
25mSafe Replication through Bounded Concurrency Verification
19mModulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence...
31mModel Checking Distributed Software Systems
24mEngineering Real-Time Data Synchronization Across Multi-Cloud Systems
50mModel Mitosis: a dynamic pattern to deal with model tensions
15mTesting Consensus Implementations using Communication Closure