Architecture Modeling - SPES 2020
Architecture Modeling - SPES 2020
Architecture Modeling - SPES 2020
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
on timed traces. As placeholders for events the names e1, e2, e3, … are used, for conditions the<br />
placeholder c is used.<br />
Pattern<br />
F1:<br />
whenever event occurs event [does not] occur[s] [during interval]<br />
This pattern describes the dependency between two events that can occur on different subjects.<br />
While using the optional interval attribute the pattern claims, that there occurs one event in the<br />
specified interval. If no interval is specified, there are no constraints when the event has to occur.<br />
Such a requirement has to be refined later.<br />
Natural Language Requirement:<br />
The System shall generate a error message when a query fails<br />
Pattern based RSL:<br />
whenever QueryFails occurs ErrorMessage occurs<br />
Observers for iterative interpretation with open and closed intervals:<br />
e3 && (clk==0)<br />
e1<br />
idle pre<br />
e3 && (clk==0)<br />
|fail:=true<br />
e1<br />
idle pre<br />
<strong>Architecture</strong> <strong>Modeling</strong><br />
e2<br />
e2<br />
|clk:=0<br />
e2<br />
|clk:=0<br />
sIn<br />
e3<br />
clk>0<br />
|fail:=true<br />
e3 && (clk>0)<br />
e2 && (clk==0)<br />
whenever e1 occurs e2 occurs during [e3,e4].<br />
e2<br />
|fail:=true<br />
e2<br />
|clk:=0<br />
e2<br />
|clk:=0<br />
sIn<br />
e3<br />
clk>0<br />
e3 && (clk>0)<br />
e2 && (clk==0)<br />
|fail:=true<br />
whenever e1 occurs e2 does not occur during [e3,e4].<br />
in<br />
in<br />
e4<br />
|clk:=0<br />
e4<br />
|clk:=0<br />
sOut<br />
sOut<br />
124/ 156