Description of the web service process. Tabular interpretation

• Дата: 2025
• Автори: Reznichenko, V.A., Zakharova, O.V.
• Формат: Стаття
• Мова: Ukrainian
• Опубліковано: PROBLEMS IN PROGRAMMING 2025
• Теми: 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
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/678
• Назва журналу: 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...