COSTO User Guide

guide

plugins descriptions

ImportKmeliaProject

CreateKmeliaProject

examples

tutorials

Writing specifications (see the spec/kmelia folder in COSTO)

• ATM or french GAB
• CoCoME
• Chat application
• AspectKml (M2R folder)
• …

• Types
• Operators
• Functions
• Others

• Test the grammar
• Load a specification
• Generate LaTeX using a KmlStyle
• Check with MEC
• Check with LOTOS
• Check with B
• Verification Process
• Run an application
• Animate an application
• Test a component
• Test an application

the collaborative work starts here