Master 2014 2015
Stages de la spécialité SAR
Generic Collaborative Web Client and Editor

Site :CosyVerif
Lieu :LIPN, LIP6 et LSV
Encadrant : Laure Petrucci, Alban Linard, Francis Hulin-Hubard
Dates :du 10/04/2015 au 15/09/2015
Rémunération :Gratification standard
Mots-clés : Master SAR, autre qu’ATIAM


The goal of this Master-2 internship is to design and develop a web-based client, and collaborative graphical editor for the software modeling and veri-ca- tion platform C osy V erif ( ) [3]. C osy V erif includes tools developed by researchers of di-erent laboratories. It supports several for- malisms, such as automata and Petri nets. In addition it allows to specify new formalisms to combine existing ones in a new formalism.

Since C osy V erif 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.

We are currently developing the server part of the new generation of the CosyVerif platform. This server communicates with its clients via websockets. The protocol used within these websockets is speci-c to the platform, and relies on the Lua language. A prototype client and editor has been developed last year. During this internship, the student will have to : • improve and -x the existing client prototype ; • add new features, such as searching, tagging and upvoting ; • improve the existing editor.

The student should have some experience with web development that must be precised in their curriculum : in particular, web languages like ajax, and web frameworks like jQuery ( ) or Bootstrap ( ). In addition a knowledge in dis- tributed systems will be appreciated.


[1] Gul Agha, Fiorella de Cindio, and Grzegorz Rozenberg, editors. Concur- , rent Object-Oriented Programming and Petri Nets, Advances in Petri Nets volume 2001 of Lecture Notes in Computer Science . Springer, 2001. [2] É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 Con- current 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. [3] Étienne André, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Yousra Lembachar, Alban Linard, and Laure Petrucci. CosyVerif : An Open Source Extensible Veri-cation Environment. In Yang Liu and Andrew Mar- tin, editors, ICECCS’13 : 18th IEEE International Conference on Engineer- ing of Complex Computer Systems , pages 33-36. IEEE Computer Society, July 2013. [4] Rémi Bastide, Charles Lakos, and Philippe A. Palanque. A cooperative petri net editor. In Agha et al. [1], pages 534-535. [5] Rémi Bastide and Philippe A. Palanque. Modeling a groupware editing tool with cooperative objects. In Agha et al. [1], pages 305-318. [6] Julian Burkhart and Michael Haustermann. Petripad a collaborative petri net editor. In Cabac et al. [7], pages 182-196. [7] Lawrence Cabac, Michael Duvigneau, and Daniel Moldt, editors. Proceed- ings of the International Workshop on Petri Nets and Software Engineering, , volume 851 of CEUR Workshop Pro- Hamburg, Germany, June 25-26, 2012 ., 2012.