Please enable JavaScript.

Coggle requires JavaScript to display documents.

Structuring - Coggle Diagram

- - - - It may contain purely functional operations
- - - - IMPORTS an abstract machine
      - SEES an abstract machines
      - Modularity helps manage software complexity by breaking down large software into smaller parts and to ease the proof of the models with smaller and simple obligations (Divide and conquer strategy)
        
        An implementation imports other abstract machines in order to implement data and operations with the lower level machines
        
        Variables of an imported machine M has to be modified in the implementation by the operation in the machine M
        
        Variables are implemented only in one component. Therefore, it is not possible to import machines using the same variables
        
        Solution
        
        Create components with independent variables
        
        Regroup the imported components in a single one