Please enable JavaScript.

Coggle requires JavaScript to display documents.

Lecture 06, Lecture 07 - Coggle Diagram

- - - - Properties feasibility
        
        Values for Sets and Constants that satisfies the Properties
      - Invariant
        
        exists values for the state variables that satisfies it
      - Initialization
        
        The initialization T will establish the invariance
      - Operation
        
        The operation command S establish the invariant
- - - - Restriction
      - anti-restriction
      - is the Set containing all elements of S that are related with some element of T
    - - Restriction
      - anti-restriction
      - is the Set containing all elements of T that are related with some element of S
    - - Image
        
        R[U]:={ y | x | ->y:R& x:U }
      - Inverse
        
        set containing all pairs (y,x) such that (x,y) belongs to R
      - Composition
        
        contain all pairs (x,z)such that Ro contains (x,y), R1 contains(y,z)
      - Overriding
        
        R1 over Ro is the set where all pairs (x,y) of R0 does not belong to the D of R1 and all pairs (x,y) such that x belongs to D R1