1 / 1

P2P middleware Replication Consistency Asynchronous Disconnected work

Designing Collaborative Application in Peer2Peer Environment.

zorita-craig
Download Presentation

P2P middleware Replication Consistency Asynchronous Disconnected work

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Designing Collaborative Application in Peer2Peer Environment 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 protocols. 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 Non Commuting Share Calendars Conflict Calendar Calendar Calendar Telex Middelware Actions-Constraints Framework (ACF) Action Telex Advantages • P2P middleware • Replication • Consistency • Asynchronous • Disconnected work Future Challenges • ACF Extension • Hybridizing ACF and State-Based replication: • Correlate constraints with a state. • Dynamic constraints Challenges Constraint • Ad-hoc design • Non intuitive • Describe application semantics: • Static Constraints • Hard to validate 2 2 1 Future Challenges • Design Tools • Automatic Prover • Actions • Constraints • Invariants • Validation / Count examples • Methodology: • Any information • Implicit/Explicit • Shared • Consistency • Explicit Telex Object 1 Lamia BENMOUFFOK _ Marc SHAPIRO Lip6/INRIA REGAL Team _ Paris 6 University Lamia.Benmouffok@lip6.fr

More Related