Formal Description of Pipes-filters Achitecture Style

DOI

10.2991/icmemtc-16.2016.240How to use a DOI?

Keywords

Formal Method; Z Language; Formalization of Filters; Formalization of Pipelines; Formalization of Pipes-filters

Abstract

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.

Copyright

© 2016, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Yunsai Zhai
AU  - Lichen Zhang
PY  - 2016/04
DA  - 2016/04
TI  - Formal Description of Pipes-filters Achitecture Style
BT  - Proceedings of the 2016 3rd International Conference on Materials Engineering, Manufacturing Technology and Control
PB  - Atlantis Press
SP  - 1216
EP  - 1219
SN  - 2352-5401
UR  - https://doi.org/10.2991/icmemtc-16.2016.240
DO  - 10.2991/icmemtc-16.2016.240
ID  - Zhai2016/04
ER  -