The Reference Manual

requiredplugins

install

• Analysis: COSTOLIBPLUGINCORE
• GUI Editor: COSTOLIBPLUGINUI
• Graphs Generator: COSTOLIBPLUGINUI_GRAPH

• 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
  - limits Kml2JavaLimits
• KmlTest : COSTOLIBPLUGINKML_TEST release 0.9 KmlTest - a set of actions and functions to generate a test application from the specification
  - limits KmlTestLimits
• MutantsGenerator : todo KmlTest

• Kml2JFF : Kml2JFF
• Kml2JML : ??