The Proof Outline

1.

Define DADL and the family of distributed architectures and then show that the distributed architectures can be expressed by a DADL program.

2.

Define base-level target materialization including their performance and resource characteristics.

3.

Compile and optimize the DADL program into the base-level target materializations.