COSTOLIBPLUGINCORE
COSTOLIBPLUGINUI
COSTOLIBPLUGINUI_GRAPH
COSTOLIBPLUGINKML2MEC
release 2.1 Kml2Mec - Generate a MEC specification for a triple of service interactionCOSTOLIBPLUGINMECLOADER
release 1.1 MecLoader - Get a visual view of the Mec analysis COSTOLIBPLUGINKML2B
release 1.0 Kml2B - Generate B specifications to check the data part (data and service assertions)COSTOJAVAFRAMEWORK
) library costo.kml2java.jar
to include in the specification project libs directory KmlJavaFrameworkCOSTOJAVAMONITOR
) library costo.kml2java.monitor.jar
to include in the specification project libs directory KmlJavaMonitorCOSTOLIBPLUGINKML2JAVA
release 1.1 Kml2Java - generate a Java application from the specification COSTOLIBPLUGINKML_TEST
release 0.9 KmlTest - a set of actions and functions to generate a test application from the specification