Publication -
 Bernhard Rumpe
Stepwise Refinement of Data Flow Architectures

Software Architectures and Design Patterns in Business Applications

Author(s): Jan Philipps, Bernhard Rumpe
Year: 1997
Publisher: Technische Universität München, TUM-I9746
Editor: Manfred Broy, Ernst Denert, Klaus Renzel, Monika Schmidt
Abstract:Software and hardware architectures are prone to modifications. We demonstrate how a mathematically founded refinement calculus for a class of architectures, namely data flow networks, can be used to modify a system in a provably correct way. The calculus consists of basic rules to add and to remove components and channels to a system.

Available as pdf

@inproceedings{ PR97b, author = {Jan Philipps and Bernhard Rumpe}, title = {Stepwise Refinement of Data Flow Architectures}, booktitle = {Software Architectures and Design Patterns in Business Applications}, year = {1997}, publisher = {Technische Universität München, TUM-I9746}, editor = {Manfred Broy and Ernst Denert and Klaus Renzel and Monika Schmidt} }

Bernhard Rumpe