Master 2013 2014
Stages de la spécialité SAR
Generic Collaborative Web Editor

Site :Generic Collaborative Web Editor
Lieu :LSV, ENS Cachan
Encadrant : Serge Haddad Alban Linard Francis Hulin-Hubard
Dates :du 01/04/2014 au 15/09/2014
Rémunération :indemnité de stage standard
Mots-clés : Parcours SAR autre qu’ATIAM, rech./prof.


The goal of this internship is to design and develop a web-based collaborative graphical editor for the software modeling and veri-cation platform C osyVerif ( [AHHH+ 13].

CosyVerif includes tools developed by researchers of di-fferent laboratories. It supports several formalisms, such as automata and Petri nets. In addition it allows to specify new formalisms to combine existing ones in a new formalism.

Since C osyVerif aims at being used in teaching, research and in industrial case studies, this editor is a key component. Indeed a web client is useful in teaching and scienti-c workshops as it does not require any installation. Furthermore the collaborative edition is mandatory in bigger projects, such as industrial use cases.

The requirements of the editor are listed below by decreasing order of importance. 1. Dynamicity : The editor will support several graph-based formalisms. More precisely, on creation of a new model, the editor should load the available formalisms and adapt the graphical toolbox on the -y (see [ABD+ 13]).

2. Cooperation : The editor should keep histories of updates and allow dialogue between users via pop-ins.

3. Concurrency : The editor should handle concurrent edition of the models by the users and the tools (in CosyVerif, tools also update the models). Locking and patching mechanisms are required for this part.

4. Communication : Verification tools are launched via the CosyVerif server. Thus the editor should communicate with the server through already defined web services.

Student Capabilities : The student should have some experience with web development : in particular, web languages like ajax, and web frameworks like Node.js, jQuery or Dojo. In addition a knowledge in distributed systems will be appreciated.


[ABD+ 13] Étienne André, Benoît Barbot, Clément Démoulins, Lom Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, and Laure Petrucci. A Modular Approach for Reusing Formalisms in Veri-cation Tools of Concurrent Systems. In ICFEM’13) : 15th International Conference on Formal Engineering Methods, volume to be published of Lecture Notes in Computer Science, page to be published. Springer, October 2013.

[AdCR01] Gul Agha, Fiorella de Cindio, and Grzegorz Rozenberg, editors. Concurrent Object- Oriented Programming and Petri Nets, Advances in Petri Nets , volume 2001 of Lecture Notes in Computer Science. Springer, 2001.

[AHHH+ 13] Étienne André, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Yousra Lembachar, Alban Linard, and Laure Petrucci. CosyVerif : An Open Source Extensi- ble Veri-cation Environment. In Yang Liu and Andrew Martin, editors, ICECCS’13 : 18th IEEE International Conference on Engineering of Complex Computer Systems, pages 33-36. IEEE Computer Society, July 2013.

[BH12] Julian Burkhart and Michael Haustermann. Petripad a collaborative petri net editor. In Cabac et al. [CDM12], pages 182-196.

[BLP01] Rémi Bastide, Charles Lakos, and Philippe A. Palanque. A cooperative petri net editor. In Agha et al. [AdCR01], pages 534-535.

[BP01] Rémi Bastide and Philippe A. Palanque. Modeling a groupware editing tool with cooperative objects. In Agha et al. [AdCR01], pages 305-318.

[CDM12] Lawrence Cabac, Michael Duvigneau, and Daniel Moldt, editors. Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012, volume 851 of CEUR Workshop Proceedings., 2012.