Description of the web service process. Tabular interpretation

• Date: 2025
• Main Authors: Reznichenko, V.A., Zakharova, O.V.
• Format: Article
• Language: Ukrainian
• Published: PROBLEMS IN PROGRAMMING 2025
• Subjects: temporal extension of descriptive logic; process model; Time ontology; tabular interpretation of temporal operators; time domain; checking model; defining the dynamics of the web service; linear temporal logic; UDC 004.94
• Online Access: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/678
• Journal Title: Problems in programming

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 functi...