Зображення обкладинки

Description of the web service process. Tabular interpretation

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2025
Автори:	Reznichenko, V.A., Zakharova, O.V.
Формат:	Стаття
Мова:	Українська
Опубліковано:	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
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Applying Description Logics with Concrete Domains to Solve the Problems of Semantic Web Services Discovery and Composition
за авторством: Zakharova, O.V.
Опубліковано: (2023)

Descriptive logic using in Web-service problems
за авторством: Zakharova, O.V.
Опубліковано: (2017)

Defining and resolving Web-services discovery problems using description logics formalism
за авторством: Zakharova, O.V.
Опубліковано: (2018)

Table interpretation of the temporal description logic LTLALC
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2023)

The technique of using Description Logics in the process of constructing a composite service at the functional level
за авторством: Zakharova, O.V.
Опубліковано: (2018)

Usage of AI-planning techniques to solve problems of Web-services composition
за авторством: Zakharova, O.V.
Опубліковано: (2018)

Integration of the description logics with operations at role constructors into relational data model
за авторством: Chystiakova, I.S.
Опубліковано: (2018)

Semantic annotation of Web-services
за авторством: Zakharova, O.V.
Опубліковано: (2017)

Integration of the family of extended description logic languages with relational data model
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2018)

Specification of the process of the semantic annotation the web services
за авторством: Zakharova, O.V.
Опубліковано: (2018)

Context WEB-services matching as a means of search query. Ontological approaches
за авторством: Zakharova, O.V.
Опубліковано: (2020)

Integration of the description logics axiomatic into relational data model
за авторством: Chystiakova, I.S.
Опубліковано: (2018)

Multiagent models based on fuzzy logic of the highest type for a high-performance environment
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2015)

60 Years of Databases (part two)
за авторством: Reznichenko, V.A.
Опубліковано: (2022)

60 Years of Databases (part four)
за авторством: Reznichenko, V.A.
Опубліковано: (2022)

60 Years of Databases
за авторством: Reznichenko, V.A.
Опубліковано: (2021)

FINE TIME STRUCTURE OF LIGHTNINGS ON SATURN
за авторством: Mylostna, K. Y., та інші
Опубліковано: (2014)

60 Years of Databases (part three)
за авторством: Reznichenko, V.A.
Опубліковано: (2022)

60 Years of Databases (final part)
за авторством: Reznichenko, V.A.
Опубліковано: (2023)

Three-dimensional modeling of temporal field by radial and finite-differential methods for solving the problems of seismology
за авторством: Pilipenko, V.N., та інші
Опубліковано: (2019)

Mappings of the description logic ALC into the binary relational data struc-ture
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2017)

Determination of sensitiveness of identifications function to change of entrance descriptions of images processing for the recognition of subjects in information security systems
за авторством: Sachanyuk-Kavetska, N. V.
Опубліковано: (2017)

Spectral-temporal analysis of long-period climatic series, the core of the Greenland borehole as an example
за авторством: Danova, T. E., та інші
Опубліковано: (2016)

Ontological similar systems for analysis of texts of natural language
за авторством: Kryvyi, S.L., та інші
Опубліковано: (2018)

Analytical models of multi-priority cloud data-centers with a mixed discipline of providing services taking into account the features of functioning and possible failures.
за авторством: Matov, A. Ya.
Опубліковано: (2019)

Unified process for adaptive Semantic Web service composition
за авторством: Slabospitskaya, О.A.
Опубліковано: (2018)

Spectral model of dynamic landscape components based on multispectral space images of the Earth
за авторством: Yakimchuk, Vladyslav, та інші
Опубліковано: (2023)

Flow constructing and optimizing method for composite web service based on Q-learning
за авторством: Grishanova, I.Yu., та інші
Опубліковано: (2025)

Encoding as a means of protecting information in systems of access control using time-logic functions in the form of polynomials and biometric data of subjects
за авторством: Sachaniuk-Kavets’ka, N. V.
Опубліковано: (2018)

Model of information object for digital library and its verification
за авторством: Novitsky, A.V., та інші
Опубліковано: (2020)

SPACE FACTOR OF THE "EXTRA" HEAT GENERATION IN THE EARTH AND OTHER PLANETS INTERIOR. PAPER 2. SPACE-TIME REGULARITIES OF HEAT-GENERATJNG ZONES DISTRIBUTION IN THE EARTH INTERIOR
за авторством: MAKARENKO, O. M.
Опубліковано: (2011)

Metaheuristic methods for optimizing the quality of service of composite web services
за авторством: Moroz, H.B.
Опубліковано: (2025)

A Reduction Method on Finding Out Signal Parameter’s Calculation of the Output of Multi-channel Device of Otimal Spatial-Temporal Treatment of Signals
за авторством: Mezentsev, A.
Опубліковано: (2012)

NUMERICAL SIMULATION OF SPARK DISCHARGE CHARACTERISTICS IN LIQUID NITROGEN
за авторством: Dubovenko, K. V.
Опубліковано: (2014)

Weather anomaly monitoring method based on sensor network technology
за авторством: Rahozin, D.V.
Опубліковано: (2017)

Hibrid approach to processing incomplete stream data in distributed real-time systems
за авторством: Zhyliuk, Y., та інші
Опубліковано: (2025)

Application of deep reinforced learning for long-term dynamic composition of WEB services
за авторством: Moroz, H.B.
Опубліковано: (2025)

Kinematic migration for determination of velocity model of the medium while solving practical problems of seismic exploration
за авторством: Verpakhovskaya, A. O., та інші
Опубліковано: (2018)

EXPERIMENTAL INVESTIGATION OF THE CURRENT DISTRIBUTION ON THE SHEET BLANK SURFACE IN LINEAR TOOLS OF MAGNETIC-PULSED ATTRACTION
за авторством: Batygin, Yu. V., та інші
Опубліковано: (2020)

Reference model for Semantic Web adaptive composite service
за авторством: Slabospitskaya, О.A.
Опубліковано: (2018)