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.
<strong>Architecture</strong> <strong>Modeling</strong><br />
the one given above in Sec. 6.3.1. Though, logically, nothing is assured of a component if the<br />
strong assumption is violated, we still can compose it in parallel with other components without<br />
affecting those — such is the nature of “parallelism as intersection”. If this is not justified,<br />
the strong VIT condition would become mandatory, to preclude conclusions to be drawn from<br />
the specifications of some components even though the operational conditions of others are not<br />
met. Building a semantics on a concept (parallelism as intersection) which does not always hold<br />
might seem badly advised. But one should bear in mind that all mathematical semantics of realworld<br />
entities are simplifications. And the concept of “very strong” assumptions, as reflected<br />
in the “Strong VIT condition” might enable a consistent use of helpful simplifications which<br />
would otherwise be unsound. Handling the large formulas in (6.4) and (6.6) might be difficult<br />
in practice – tautology checking for trace logics is computationally expensive. Thus, to reduce<br />
the complexity, boolean reasoning should be used first to reduce the problem. A promising way,<br />
to be supported by adequate methodological guidelines, is to eliminate assumptions wherever<br />
possible when they are implied by commitments of other components as exemplified in Sec. 4.<br />
149/ 156