costo:plugins:start
Plugins (current state)
Environnement
Documentation
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
-
Kml2B and EventB:
COSTOLIBPLUGINKML2B
release 1.0
Kml2B - Generate B specifications to check the data part (data and service assertions)
Execution and tests
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
-
Exports
costo/plugins/start.txt · Dernière modification: 2018/04/03 16:59 (modification externe)