Specification of the process of the semantic annotation the web services

• Дата: 2018
• Автор: Zakharova, O.V.
• Формат: Стаття
• Мова: Ukrainian
• Опубліковано: Інститут програмних систем НАН України 2018
• Теми: web-service; web-service problems; web-service semantization; semantics categories; process model; interface; pre-condition; post-condition; effect; semantic annotation; annotating process; UDC 004.94
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/284
• Назва журналу: Problems in programming

The complexity of the tasks solved with web services does not allow to limit their consideration to a functional model, but also requires the consideration of behavioral aspects of web services. To provide the possibility of automated resolving web services tasks, first, it is necessary to semantify their description using computer-friendly tools for formal definition. Web service that is not enriched with semantics, does not allow you to understand what it does. Semantization consists in expanding the description of the web service with clear and understandable semantic annotations that should cover all important functional and non-functional aspects of the service, but do not overload it with redundant information. This explains the relevance of the problem of the specification of the annotation process itself, taking into account the definition of the semantization goal, the main aspects of annotating the service, the sources of the information, the semantics categories, and the process steps providing the annotated specification of the service, with further conversion - transformation into a machine-processed form. It is the subject of this paper. The main stages of the process correspond to the categories of semantics defined in the annotation. Inputs, outputs, information sources and implementation steps are specified for each stage. Besides special attention is paid to define the place of descriptive logic in the process of semantizing the web service. Descriptive logic is considered as a formal tool for the semantic description of the service, which makes it possible to verify the correctness of the service’s definition and it allows logical inference when solving Web services tasks, etc. It is given an example of an extension of a fragment of BPEL process with ontological semantic anotations. In this case, the semantization consists in choosing suitable domain ontologies and establishing links between ontology concepts represented by the means of the descriptive logic and metadata describing the functionality of the web service. The annotated system of transition states (ASTS) is the computer- understandable service presentation model. This is due to the fact that, in particular, most of the AI planning systems work with STS, the mechanisms of which can also be used to automatically solve web service tasks. Problems in programming 2018; 2-3: 204-213