Formal Description of Pipes-filters Achitecture Style
Yunsai Zhai, Lichen Zhang · 2016
In order to solve some nonstandard and imprecise problems of non-formal methods, the formalization method based on strict mathematical is put forward software architecture of formalization not only can clearly describe the software architecture style, and makes design of architecture easy to understand and implement.In this paper, using the Z specification language describes the formalization of the pipes-filters architecture style that the pipes-filters model is oriented to data flow.