Master 2013 2014
Stages de la spécialité SAR
Service Composition in CosyVerif

Site :Service Composition in CosyVerif
Lieu :LSV, ENS Cachan
Encadrant : Serge Haddad, Alban Linard
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., Parcours SAR, aussi pour STL


The goal of this internship is to design and develop a domain speci-fic language for the composition of services in the C osyV erif ( [AHHH+ 13] veri-cation platform.

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

Currently, each tool - or service - takes inputs from the user, does its job and then returns a result to the user. We would like to promote the cooperation between tools. This cooperation has several di-erent types : • a tool can take as input the result of another one, • several tools can work in parallel, the result being given by the fastest tool, • a tool can be used as a fallback when another one cannot answer, • ...

Of course, the composition must take care of the type of exchanged data. The types are not only primitive, but also covers a hierarchy of formalisms (with subtyping).

Student Capabilities : The student should have some experience with metamodeling.


[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.

[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.