SysML to Classical B Development Page

Transformation

SysML to Classical B Model

SysML/UML Element	Classical B Element
Block	Abstract Machine
FlowPort	Operation of Abstract Machine
FlowPort Type	Operation Argument
Value	Variable with type invariant
Part	Imports

Classical B Model to Text