System Tempura - A Modern Approach for Describing and Managing Temporal Processes in a Virtual Educational Space

Temporal logic is a mathematical formalism designed to address issues pertaining to logical constructs that involve parallel and sequential processes occurring within defined time intervals. The main problem facing every mathematical theory is the approach related to the implementation and fundamental communication processes and the subsequent construction of appropriate tools to implement the logical apparatus. To date, several tools have been developed to effectively tackle the aforementioned problem. Notable examples of these implementations include C-Tempura and Temporal Prolog. The examples provide a complete implementation of temporal logic but do not provide a complete set of capabilities of modern software tools. In this article, we will present the aspects of a new software tool, SystemTempura, which aims to provide a new approach to solving problems related to temporal aspects in digital information systems, addressing one of the most important aspects of modern software practices.