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.
5 Using the <strong>Architecture</strong> Meta-Model 67<br />
5.1 On the Role of Perspectives and Abstraction Layers . . . . . . . . . . . . . . . 67<br />
5.1.1 What We Can Learn from the EDA Domain . . . . . . . . . . . . . . . 67<br />
5.1.2 Perspectives and abstraction layers in system-level design . . . . . . . 70<br />
5.1.3 Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72<br />
5.2 On the role of contracts in system development processes . . . . . . . . . . . . 93<br />
5.2.1 Coping with complexity of systems . . . . . . . . . . . . . . . . . . . 93<br />
5.2.2 Coping with the Complexity of the Supply Chain . . . . . . . . . . . . 100<br />
5.2.3 Getting Initial Requirements Right . . . . . . . . . . . . . . . . . . . . 101<br />
5.2.4 Coping with Multi-Layer Design Optimization . . . . . . . . . . . . . 103<br />
5.2.5 Managing Risk . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104<br />
5.2.6 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106<br />
6 Annex 108<br />
6.1 Syntax and Semantics of RSL . . . . . . . . . . . . . . . . . . . . . . . . . . 109<br />
6.1.1 Pattern specification . . . . . . . . . . . . . . . . . . . . . . . . . . . 110<br />
6.1.2 Semantics of observers . . . . . . . . . . . . . . . . . . . . . . . . . . 140<br />
6.1.3 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141<br />
6.2 Semantics of HRC . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 142<br />
6.2.1 Semantical Domain . . . . . . . . . . . . . . . . . . . . . . . . . . . . 142<br />
6.2.2 Properties of Trace Sets . . . . . . . . . . . . . . . . . . . . . . . . . 142<br />
6.2.3 Semantical Definitions for HRC . . . . . . . . . . . . . . . . . . . . . 143<br />
6.3 Syntax and Semantics of Contracts . . . . . . . . . . . . . . . . . . . . . . . . 145<br />
6.3.1 Contract Basics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145<br />
6.3.2 Contracts: Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . 146<br />
6.4 Formalization of Typical Design Steps . . . . . . . . . . . . . . . . . . . . . . 147<br />
Glossary 150<br />
Bibliography 153