Abstract
Software and hardware architectures are prone to modifications. We demonstrate how a mathematically founded powerful refinement calculus for a class of architectures, namely pipe and filter architectures, can be used to modify a system in a provably correct way. The calculus consists of basic rules to add and to remove filters (components) and pipes (channels) to a system. A networking example demonstrates some of the features of our calculus. The calculus is simple, flexible and compositional. Thus it allows us to build more complex and specific rules that e.g. embed models of existing architectures or define design patterns as transformation rules.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
R. Allen and D. Garlan. Formal connectors. Technical Report CMU-CS-94-115, Carnegie Mellon University, 1994.
M. Broy. Interaction renement the easy way. In M. Broy, editor, Program Design Calculi. Springer NATO ASI Series, Series F: Computer and System Sciences,Vol. 118, 1993.
M. Broy. The specification of system components by state transition diagrams. Technical Report TUM-I9729, Institut für Informatik, TU München, 1997.
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner,and R. Weber. The Design of Distributed Systems —An Introduction to focus revised version _.SFB-Bericht 342/2-2/92 A, TU München, 1993.
M. Broy and K. St∅len. Specification and Refinement of Finite Dataflow Networks —a Relational Approach. In Proc. FTRTFT’94, LNCS 863, pages 247–267. Springer-Verlag, Berlin, 1994.
M. Broy and K. St∅len. Focus on System Development. Book manuscript, 1999.
T. DeMarco. Structured Analysis and System Specification. Yourdon Press, 1978.
D. D’ Souza and A. Wills. Objects, Components and Frameworks with UML-the Catalysis Approach. Addison-Wesley, 1998.
D. Garlan. Formal approaches to software architecture. In D.A. Lamb and S. Crocker, editors, Proceedings of the Workshop on Studies of Software Design, 1993.
D. Garlan and M. Shaw. Advances in Software Engineering and Knowledge Engineering, volume I, chapter An Introduction to Software Architecture. World Scientific Publishing Company, 1993.
R. Grosu and K. Stoelen. A Model for Mobile Point-to-Point Data-flow Networks without Channel Sharing.In Martin Wirsing, editor, AMAST’96. LNCS, 1996.
Ch. Hofmann, E. Horn, W. Keller, K. Renzel, and M. Schmidt. The field of software architecture. TUM-I 9641, Technische Universität Müunchen, 1996.
M. Moriconi, Xiaolei Qian, and R. Riemenschneider. Correct architecture refinement. IEEE Transaction on Software Engineering, 21(4):356–372, April 1995.
J. Philipps and B. Rumpe. Refinement of information flow architectures. In M. Hinchey, editor, ICFEM’97. IEEE CS Press, 1997.
B. Rumpe. Formale Methodik des Entwurfs verteilter objektorientierter Systeme. PhD thesis,Technische Universitäat München, 1996.
M. Shaw and D. Garlan. Software Architecture. Prentice Hall, 1996.
N. Soundarajam. Interaction re finement in the design of OO systems. In H. Kilov, B. Rumpe, and I. Simmonds, editors, OOPSLA’97 Workshop on OO Behavioral Semantics. Technische Universit—00E4t München, 1997.
E. Yourdon and L.L. Constantine. Structured Design. Yourdon Press, 1975.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Philipps, J., Rumpe, B. (1999). Refinement of Pipe-and-Filter Architectures. In: Wing, J.M., Woodcock, J., Davies, J. (eds) FM’99 — Formal Methods. FM 1999. Lecture Notes in Computer Science, vol 1708. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48119-2_8
Download citation
DOI: https://doi.org/10.1007/3-540-48119-2_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66587-8
Online ISBN: 978-3-540-48119-5
eBook Packages: Springer Book Archive