Kml2B

Activation

Action button (available when a Kmelia composite specification is edited)
costo-plugins-kml2b_activate

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

Parameters

For a base component, no parameters are required.

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

Result

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

/kmelia/project1/composite.kcp

The files are generated in

/B/kmelia/project1/composite/…

Verification

costo-plugins-atelierb_simpleplatoon

costo-plugins-atelierb_simpleplatoon_system

The proofs obligations can be check using AtelierB.

A Platform to Specify and Verify Component and Service Software

Quick Contact ^
We want to thank you for contacting us through our website and let you know we have received your information. A member of our team will be promptly respond back to you.