Description of the web service process. Tabular interpretation

Abstract

Solving the tasks of web services at the process level is an actual problem for many years. This research is based on the previous ones, where the functional model of the web service and its tasks of this level are formalized by ontologies built on the basis of the descriptive logics. But the functional model is static and does not consider the behavior aspects of the web service. For a formalization of web service behavior, the descriptive logic should be extended by temporal operators. This is the focus of the research.

To interpret temporal operators a tabular representation is used. This study extends the tabular interpretation of future temporal operators for LTL ACT previously described. It uses this approach to determine the tabular representation of LTL ACT past tense operators. This paper gives an example of applying the tabular interpretation of LTL ACT to describe the dynamics of a specific application process, namely, the model of the administration of the process of submitting a dissertation for the degree of Doctor of Philosophy.

It should be noted that the research presented in the article has certain limitations, because it covers only linear time and does not support branching in time. That is, it does not provide the possibility of formalizing an arbitrary process. The tabular interpretation of temporal operators of non-linear time is the direction of further researches.

Prombles in programming 2024; 4: 99-113