Replication is an essential feature of a distributed system, but updates cause the issue of consistency between replicas. Strong consistency is
easy to understand but impossible in peer2peer environment; weaker models are complex. Our Actions-Constraints Framework (ACF) provides
a formal model for modelling, comparing, and reasoning about consistency.
Developers of distributed collaborative applications in Peer2Peet environment need decentralized P2P replication middleware and consistency
Telex is a Peer2Peer semantic-oriented middleware based on Actions-Constraints Framework.
However, it is not intuitive for collaborative-application developers to express application semantics using the ACF. In fact, the application
design is ad-hoc and hard to validate.
I aim to facilitate Peer2Peer collaborative application design. For that purpose, I propose a generic methodology for more principle designing,
an extension of the ACF to facilitate expressing the application semantics, and a use of automatic prover to validate the application design.
Shared Calendar Application
Share Calendars Conflict Commuting
Actions-Constraints Framework (ACF)
Future Challenges Consistency
ACF Extension Asynchronous
Hybridizing ACF and Disconnected work
Correlate constraints Challenges
with a state. Ad-hoc design
Dynamic constraints Non intuitive
Describe application semantics: 1
Future Challenges Static Constraints
Design Tools Hard to validate
Validation / Count
Explicit Telex Object 1
Lamia BENMOUFFOK _ Marc SHAPIRO
Lip6/INRIA REGAL Team _ Paris 6 University