• COLOSS web site
• LINA
• COLOSS Team
  • Home
  • Members
  • Contacts
• Projects
• Publications
• Softwares
• COLOSS Wiki

Softwares

We present here softwares produced by the COLOSS Team as well as software in which we collaborated

COSTO Kmelia (Leader: G. Ardourel)

COSTO (Component Study Toolbox) est une boîte à outils pour spécifier, analyser et développer des composants.

Kmelia. COSTO dispose d’un analyseur/compilateur de spécifications qui permet de compiler des spécifications Kmelia et de les représenter dans une structure abstraite sous forme d’objets. COSTO comprend également des traducteurs de spécifications Kmelia en Lotos et en MEC afin d’obtenir des spécifications en entrée des outils d’analyse formelle tels que CADP et MEC.
Poster ProveCS'07 article (provecs07.pdf.zip)

Atacora (Leader: C. Attiogbé)

ATACORA  (link)

BOSCO (Leader: G. Sunyé)

Bosco is a code generator tool: it generates the underlying model (also called repository) for any modeling language expressed in MOF. In other words, it reads XMI files and generates the corresponding source code, in different object-oriented languages (Java, Eiffel, Python, C++). In the case of Java, the generated code implements the JMI interfaces. Bosco is written in Python and uses Cheetah, a template engine. More precisely, the code generation is driven by template files, which merges source code with Cheetah statements (#for, #if, etc.). Thanks to this, the generation is highly configurable: one can add new features to generated code without writting a single line of Python. Bosco is free software (link)
IASSE'04 (iasse04.ps.zip)

ORYX (Leader: C. Attiogbé)

ORYX .