Stepwise Development of Streaming Software Architectures

We present a Model Driven Engineering approach to ex- plain, verify, build, and test dataflow or streaming soft- ware architectures that are parallelized for performance or availability. Component-connector models are incrementally elaborated by transformations that refine or optimize archi- tectural designs. We re-engineered two significant case stud- ies to illustrate the generality of our work: (1) recoverable crash fault tolerant servers and (2) join parallelizations in database machines.