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.
The function : allocates a single function on a hardware element written .<br />
Using this function the semantics can be defined by the usual semantics of boolean expressions:<br />
f shall be mapped to b <br />
f1 AND f2 shall be mapped to b<br />
∧ f1 OR f2 shall be mapped to b ∨ f shall be mapped to b1 OR b2<br />
1∨2 f1 AND f2 shall be mapped to b1 OR b2<br />
f1 OR f2 shall be mapped to b1 OR b2<br />
<strong>Architecture</strong> <strong>Modeling</strong><br />
∧ ∨ ∧ ∨ ∨ ∨ The function set expressions can consist of all combinations of conjunctions and disjunctions of<br />
functions. These formulas will be applied for the set of hardware elements on the right side of the<br />
expression.<br />
The semantics related to pattern M2 as follows:<br />
f1 shall be mapped together with f2 <br />
f1 AND f2 shall be mapped together with f3 ∧ <br />
f1 OR f2 shall be mapped to f3 ∨ <br />
f1 shall be mapped together with f2 AND f3 ∧ <br />
f1 shall be mapped together with f2 OR f3 ∨ <br />
f1 AND f2 shall be mapped together with f3 OR<br />
f4<br />
∧ <br />
∨ ∧ <br />
<br />
The pattern M2 can map multiple boolean combinations of functions together. When combining the left<br />
and the right side, the conjunctions are stronger binding than the disjunctions. This type can also be<br />
interpreted as a short form of the first type. Any constraint FX shall be mapped together with<br />
FY, where FX and FY are arbitrary junctions over functions, can be expressed as FX AND FY shall<br />
be mapped to B1 OR ... OR BN.<br />
In general, constraints are negated if the not token of the constraint is set:<br />
f shall not be mapped to b <br />
All constraints can have a precondition which is another constraint.<br />
under condition (f2 is mapped to b1) f1 shall be mapped together with f2<br />
→ <br />
The XOR operator is another short form to make modelling easier. It can be translated into two<br />
separate constraint as follows:<br />
f1 XOR f2 shall be mapped to b ⇔<br />
f1 AND f2 shall not be mapped together ∧ f1 OR f2 shall be mapped to b<br />
139/ 156