This commit is contained in:
David Schirrmeister
2024-05-29 11:32:17 +02:00
parent c99ff4ffad
commit ce02d02007
21 changed files with 435 additions and 9 deletions

View File

@ -67,30 +67,33 @@
- Handhaben Events innerhalb eines States
- ![image_124.png](image_124.png)
### Types of Events
#### Call Events
## Types of Events
### Call Events
- Operation calls inklusive der Parameter
- _occupy(user, LectureHall)_
#### Time Events
### Time Events
- Zeitbasierter Zustandsübergang (relativ / absolut)
- _relative: after(5 sec)_
- _absolute: when(time == 16:00)_
#### Change Events
### Change Events
- Permanente Überwachung, ob eine Bedingung wahr wird
- _when (registration == numberOfSeats)_
#### Any Receive Events
### Any Receive Events
- Zur Spezifikation einen Typ eines _else_ Übergangs
- Falls ein Event auftritt, welches keine Übergänge für den aktiven Zustand auslöst
- _the object transitions to S4 without any event that is not e1 or e2_
#### Completion Events
### Completion Events
- Falls alle Verhaltensweisen eines States vollständig sind
- _once A1 is completed completion event triggers transition to S2_
### State Transition Examples
## State Transition Examples
- ![image_125.png](image_125.png)
- ![image_126.png](image_126.png)
- ![image_127.png](image_127.png)
- ![image_127.png](image_127.png)
## Möglicher Spicker
![image_270.png](image_270.png)