Open questions I
What properties can be analyzed?
- Wright [Allen & Garlan]
- Reason about architectures in terms of protocols, using a CSP-like language
- Roughly, type-checking of architectural styles
- Of these, which are sufficiently important to justify the investment
- The investment is high, but in theory amortized
- What about across heterogeneous architectures?