Architecture Modeling - SPES 2020

Formalization:
whenever StartButtonPushed occurs (SignalA == SignalB) holds during
[0s,5s] occurs.
There is also a pattern that specifies that a condition shall not be true during a defined interval:
Condition holds not during Interval
This implies that the condition can be true at some point in the interval, but cannot be true for the
whole interval.
Creating Events from Intervals
It can be useful to describe the end of an interval, especially if there were additional constraints to that
interval..
or
At end of Interval
fs(in[interval])
Logical operations on Events
There exist some logical operations on events:
OR
event1 OR event2 accepts both events. This expression can be used in the trigger as well as in the
action.
AND
Event1 AND event2 only occurs if event1 and event2 occur at the same time. The order of the
occurrence does not make a difference. It is only necessary that at no clock in the timed automata is
running between the occurrences of the events. Note that there is no “NOT” operator for events.
Grouping of Events
Events can be grouped through the “.” operator.
Group.Event
Architecture Modeling
These groups refer to ports in the architecture of the specified system. This might be necessary if
there exist events with the same name in different ports.
117/ 156