Formal description of interoperability
Petr Fiedler · International Conference on Signal Processing · 2005
This paper describes theoretical and formal background for analysis of interoperability issues in autonomous machine based data exchange systems, especially in automation systems. The formalism is based on description of interaction of simple deterministic automatons. The interoperability issues are shown on examples; examples are formally described and classified into four classes.