Time ontology 1 UDC 004.94 1 process model 1 tabular interpretation of temporal operators; time domain; checking model; defining the dynamics of the web service; linear temporal logic 1 temporal extension of descriptive logic 1 УДК 004.94 1 лінійна темпоральна логіка 1 онтології часу 1 опис динаміки веб-сервісу 1 перевірка моделі сервісу 1 процесна модель веб-сервісу 1 таблична інтерпретація темпоральних операторів 1 темпоральне розширення дескриптивної логіки 1 темпоральні оператори 1 часовий домен 1