Description: Metrology supply system is represented in formal type at this article. This system abstract representation resolute to declare the model inputs and outputs changing interconnections and to definite its synthesis tasks.