Architecture Modeling - SPES 2020
Architecture Modeling - SPES 2020
Architecture Modeling - SPES 2020
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
6.1.2 SSemanticss<br />
of obser rvers<br />
This secction<br />
gives aan<br />
overview w of the semmantics<br />
of th he observer automata tthat<br />
are use ed in this<br />
documennt<br />
to specifyy<br />
the formal semantics oof<br />
the pattern ns. These observers<br />
aree<br />
generated from the<br />
patterns and can be used to veri ify that a giveen<br />
compone ent with one input and onne<br />
output sat tisfies the<br />
requiremment.<br />
Figure 1 illustrates the t relationship<br />
between components s and observvers.<br />
For a sinngle<br />
pattern tthere<br />
exist a set of differeent<br />
automata a, depending g on the kind of intervals that t were<br />
used. Thhese<br />
automata<br />
are com mposed withh<br />
other auto omata or ext tended by aadditional<br />
states<br />
and<br />
transitionns<br />
to represeent<br />
complex event expresssions<br />
and conditions. c<br />
The semmantics<br />
are bbased<br />
on HR RC state maachines<br />
[D.2 2.1.c] for the current set of patterns a subset<br />
(Timed AAutomata)<br />
is sufficient. An A intuitive deescription<br />
of the semantic cs is providedd<br />
below.<br />
Basic coomponents<br />
off<br />
automata:<br />
AAutomata<br />
coonsist<br />
of state es and transitions.<br />
SStates<br />
have invariants, which w are nott<br />
shown here e; clock’:=1 is s assumed foor<br />
all clocks)<br />
TTransitions<br />
ccan<br />
be fired if<br />
their guard is true(even nt occurs or variable v is truue)<br />
AActions<br />
can be performed<br />
when transsitions<br />
are fir red<br />
Examplees<br />
of transitioons<br />
with even nts:<br />
• Run: {e} endds<br />
in S1<br />
• Run: {e, e} eends<br />
in S0<br />
<strong>Architecture</strong> <strong>Modeling</strong><br />
Figure 6: CComponent<br />
with w observer<br />
140/ 156