Plugins (current state)

Kml2Latex : COSTOLIBPLUGINKML2LATEX release 2.0 Kml2Latex - Generate a LaTeX documentaion of the specification
Kml2Html : todo Kml2Html - Generate a HTML documentaion of the specification

Kml2Mec: COSTOLIBPLUGINKML2MEC release 2.1 Kml2Mec - Generate a MEC specification for a triple of service interaction
MecLoader: COSTOLIBPLUGINMECLOADER release 1.1 MecLoader - Get a visual view of the Mec analysis
Kml2Lotos: todo Kml2Lotos
Kml2B and EventB: COSTOLIBPLUGINKML2B release 1.0 Kml2B - Generate B specifications to check the data part (data and service assertions)

Framework Java: (COSTOJAVAFRAMEWORK) library costo.kml2java.jar to include in the specification project libs directory KmlJavaFramework
Framework Java Animation: (COSTOJAVAMONITOR) library costo.kml2java.monitor.jar to include in the specification project libs directory KmlJavaMonitor
Kml2Java : COSTOLIBPLUGINKML2JAVA release 1.1 Kml2Java - generate a Java application from the specification
- requires javamappings for the Kmelia functions
KmlTest : COSTOLIBPLUGINKML_TEST release 0.9 KmlTest - a set of actions and functions to generate a test application from the specification
MutantsGenerator : todo KmlTest

Velo - Vérification pour l'Environnement et le LOgiciel