Please enable JavaScript.
Coggle requires JavaScript to display documents.
The B-Method: L16, L20 - Coggle Diagram
The B-Method: L16, L20
L16: Structuring
Components
One operation can not call another one from the same component
Imports
Used to implement data and operations with lower level machines
Appear only in implementation
Variables of an imported machine can only be modified by the implementation of that machine
It is not possible to import machines declaring the same variables
Sees
Data can only be accessed in read-only
Operations that modify the seen machine can not be called
It's not transitive
Stateless Module
Contains no variables
Contains Sets or Constants
Contains purely functional operations
Imported at the highest level
Can be seen from everywhere in the projetct.
Local Operations
Defined only in the implementation
Called from implementation operations being global or local
L20: Managing Projects
Modelling
Understanding the requirements
Formalizing the current model
Type check
PO examination
Change the model when things go wrong
Static error
Visibility error
Architecture error
Too many PO
Too complex PO
Proving
High number of PO or low automatic proof rate
Simplify the model and decompose
Libraries
Allows to decompose a project in a number of subprojects
Is able to use others libraries of the same workspace
Complex/overcomplicated PO
Generating code