Ardoises: Collaborative & Interactive Editing Using Layered Data

Ardoises is a formal modeling platform, that allows its users to collaboratively define formalisms and models of these formalisms. This article presents the algorithm and protocol used for collaborative editing. Its main characteristics are collaborative editing between several users and/or tools, interactivity with low latency through optimistic changes, and optional locking policies. The paper explains the principles, details the editing algorithms, and proves the consistency between all clients.

[1]  Didier Buchs,et al.  Structured Algebraic Nets with Object-Orientation , 1995 .

[2]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[3]  Nicolas Guelfi,et al.  Modeling of Cooperative Editors Using COOPN/2 , 1996 .

[4]  허윤정,et al.  Holzmann의 ˝The Model Checker SPIN˝에 대하여 , 1998 .

[5]  Gul Agha,et al.  Concurrent Object-Oriented Programming and Petri Nets , 2001, Lecture Notes in Computer Science.

[6]  Fred B. Schneider,et al.  Optimal Primary-Backup Protocols , 1992, WDAG.

[8]  Philippe A. Palanque,et al.  A Cooperative Petri Net Editor , 2001, Concurrent Object-Oriented Programming and Petri Nets.

[9]  Philippe A. Palanque,et al.  Modeling a Groupware Editing Tool with Cooperative Objects , 2001, Concurrent Object-Oriented Programming and Petri Nets.

[10]  Sebastian Burckhardt,et al.  Specification and Complexity of Collaborative Text Editing , 2016, PODC.

[11]  James R. Larus,et al.  Transactional Memory, 2nd edition , 2010, Transactional Memory.

[12]  Nicolas Guelfi,et al.  COOPN/2 Applied to the Modeling of Cooperative Structured Editors , 1996 .

[13]  Fabrice Kordon,et al.  CosyVerif: An Open Source Extensible Verification Environment , 2013, 2013 18th International Conference on Engineering of Complex Computer Systems.

[14]  Michael Haustermann,et al.  PetriPad A Collaborative Petri Net Editor , 2012, PNSE.

[15]  Nicolas Guelfi,et al.  Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism , 2001, Concurrent Object-Oriented Programming and Petri Nets.

[16]  Fabrice Kordon,et al.  New features in CPN-AMI 3: focusing on the analysis of complex distributed systems , 2006, Sixth International Conference on Application of Concurrency to System Design (ACSD'06).