Action button (available when a Kmelia composite specification is edited).

The kind of generation will depend on the active component. The processing is different for a component, an assembly or a composite.


For a base component, no parameters are required.

For a composite, the parameters are provided by dialog boxes.

  1. select the link (a couple provided, required)


The result is a B source file. If the directory of the specification is


The files are generated in



The proofs obligations can be check using AtelierB.

costo/plugins/kml2b.txt · Last modified: 2014/09/08 16:33 (external edit)
Recent changes RSS feed Creative Commons License Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki