6. Working with Flows
In this section we discuss how flows can be analyzed by processing declarative AADL models. First we introduce the concept of specifying flows for component-based system architectures that are modeled in AADL. Then, we describe the representation of flow information in the AADL Meta model. Finally, we discuss an analysis plug-in that performs flow specification validation and determines end-to-end latency on declarative AADL models.