UDC 004.94 3 process model УДК 004.94 3 модель процесса 2 процесна модель 2 AI-planning task 1 BPEL-processes 1 BPEL-процеси 1 BPEL-процессы 1 HTN-DL 1 HTN-planning 1 HTN-планирование 1 HTN-планування 1 Time ontology 1 annotating process 1 descriptive logic 1 effect 1 interface 1 post-condition 1 pre-condition 1 semantic Web-service 1 semantic Web-service composition 1 semantic annotation 1 semantics categories 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 web-service 1 web-service problems 1 web-service semantization 1 веб-сервис 1