Spatio-Temporal view on the Topological Functioning Model

The spatial and temporal aspects of system properties are crucial for many types of systems. In this short paper, we present a TopFunST framework to analyse topological dependencies among features of the system, covering also spatial and temporal aspects. TopFunM is based on an extended version of the language of Topological Functioning Models (TFM). The TFM language describes the topological relationships among functional features of the system, which allows not only to analyse system functionality, as well as feature interactions and functioning cycle structures, but spatial and temporal aspects haven't been covered yet. This paper presents a solution to this problem.