| CheckList : |
| - Transitions: |
| Enter in a transition |
| Internal transition in F1 |
| External transition in C1 |
| Exit from a transition |
| Internal transition in F1 |
| External transition in C1 |
| Time triggered transition in E1 |
| |
| - Ports: |
| Call operation |
| MyOperation_1 is called through: |
| port broadcast in e1 |
| port listening in f1 |
| port broadcast in b1 |
| port listening in c1 |
| port listening in d1 |
| MyOperation_2 is called through: |
| port broadcast in e1 |
| port broadcast in b1 |
| port listening in d1 |
| |
| - Properties: |
| Change value (through setter) |
| Change value of attribute in D1 |
| Call operation of a container |
| Call of MyOperation_2 in E1 |
| |
| - Classes: |
| Create instance |
| Instance of G1 created in an activity of F1 |
| All instances of A1 to F1 are created but not destroyed. |
| Destroy instance |
| Instance of G1 destroyed (implicitly) in an activity of F1 |
| |
| - Operation: |
| Call operation |
| Call of MyOperation_1 in e1 and in F1, D1, C1 (Boolean) |
| Call of activities in F1 and G1 |
| Call of MyOperation_2 in e1 and D1 (PrimitiveType : int, double, text, Enumeration, DataType with list) |
| |
| - State: |
| Enter in a state |
| C1, E1 and F1 have a state machine, the first state should appear |
| Start entry execution |
| Entry in FirstState, SecondState of C1 |
| Finish entry execution |
| Entry in FirstState, SecondState of C1 |
| Start exit execution |
| Exit in FirstState of C1 |
| Finish exit execution |
| Exit in FirstState of C1 |
| Exit from a state |
| Transition between FirstState and SecondState in C1 |
| |
| - Connectors: |
| Call operation through the connector |
| MyOperation_1 is called through the connector |
| between e1 and f1 |
| between e1 and the broadcast port of B1 |
| between b1 and c1 |
| between b1 and d1 |
| MyOperation_2 is called through the connector |
| between e1 and the broadcast port of B1 |
| between b1 and d1 |
| |
| - Signals: |
| Create signal |
| Instance of signal created in F1 to activate an internal transition and in C1 to activate an external transition |
| Destroy signal |
| Instance of signal destroyed in F1 to activate an internal transition and in C1 to activate an external transition |
| |
| |
