Spatio-Temporal view on the Topological Functioning Model

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Spichkova, Maria
Format: Preprint
Veröffentlicht: 2025
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
_version_ 1866911341431750656
author Spichkova, Maria
author_facet Spichkova, Maria
contents 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.
format Preprint
id arxiv_https___arxiv_org_abs_2512_22889
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Spatio-Temporal view on the Topological Functioning Model
Spichkova, Maria
Formal Languages and Automata Theory
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.
title Spatio-Temporal view on the Topological Functioning Model
topic Formal Languages and Automata Theory
url https://arxiv.org/abs/2512.22889