Project B02: Concurrent Editing and Transactionality

This project investigates how to extend transactional semantics to V-SUM-based CPS development to manage concurrent edits across multiple views while preserving consistency. Unlike traditional version control, V-SUM transactions must handle semantic consistency relations, system-generated changes (via consistency rules), and role-based conflict resolution. The research explores how to define transactions on virtualized, consistency-coupled models, detect conflicts between user and system changes, and balance ACID guarantees with BASE semantics for scalability. It also examines trade-offs between optimistic and pessimistic locking, granularity of changes, and interactive conflict resolution strategies. The goal is to provide developers with consistency-preserving transactions that ensure safe, collaborative editing of CPS models, making consistency explicit and reducing one of the main causes of inconsistencies in distributed development.