Towards a formal language of physical systems

In this paper, we propose to define a formal language for description of physical systems using functional modelling, graphical representation, syntactic modelling and formal language tools. This language is defined through four formalization levels, namely : the definition of the term 'function', the definition of a finite set of function classes, a set of function connection rules, and the definition of the algebraic structure that underlies these classes. These formalizations are helpful guides for analysis, identification, validation of functional networks, as well as for functions synthesis and decomposition.