09.08.2013 Views

Architecture Modeling - SPES 2020

Architecture Modeling - SPES 2020

Architecture Modeling - SPES 2020

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Constrrain<br />

Eventts<br />

with Co onditions<br />

In additioon<br />

to filteringg<br />

events with h intervals it iis<br />

also possible<br />

to constr rain events thhrough<br />

a con ndition by<br />

the followwing<br />

expresssion:<br />

Event undder<br />

(Condi ition)<br />

<strong>Architecture</strong> <strong>Modeling</strong><br />

To illustrrate<br />

the usagge,<br />

the exam mple above neeeds<br />

only slight<br />

changes s:<br />

Requirement:<br />

The syste em shall reacct<br />

on reques sts with a res sponse if thee<br />

status of the<br />

system<br />

is active.<br />

Now the evvents<br />

got rep placed by a conditional expression. The correspponding<br />

patte ern looks<br />

like this:<br />

whenever request under u (staatus<br />

== ac ctive) occ curs respoonse<br />

occurs.<br />

The patternn<br />

above typic cally needs a refinement, , since the sp pecification oof<br />

the respon nse event<br />

lacks an intterval<br />

when it<br />

should occur.<br />

In the coorrespondingg<br />

observers the t guard off<br />

the transitio on that is enabled<br />

with cconstrained<br />

event e has<br />

to be exttended<br />

with tthe<br />

constrain ning conditionn:<br />

113/ 156

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!