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

Akkiraju R., et al. (2005, December 6). Web Service Semantics - WSDL-S. Available: http://www.w3.org/Submission/WSDL-S/

https://msdn.microsoft.com/en-us/library/ms977327.aspx

http://searchmicroservices.techtarget.com/definition/WS-Transaction

https://www.ibm.com/developerworks/webservices/tutorials/ws-understand-web-services7/index.html

Http://www.w3.org/Submission/WS-Policy/

WSDL - http://www.w3.org/TR/wsdl

Christoph Ringelstein, Thomas Franz, Steffen Staab. The Process of Semantic Annotation of Web Services./ ISWeb, University of Koblenz-Landau, Germany – http://isweb.uni-koblenz.de.

Patil A.A., Oundhakar S.A., Sheth A.P., and Verma Kunal. METEOR-S Web Service Annotation Framework, WWW 2004, ACM Press. 2004. P. 553–562. https://doi.org/10.1145/988672.988747

Oberle D. Semantic Management of Middleware, New York, USA: Springer, 2006.

Marco Pistore, Luca Spalazzi, and Paolo Traverso. A Minimalist Approach to Semantic Annotations for Web Processes Compositions. Universit`a di Trento - Via Sommarive 14 - 38050 Povo - Trento - ITALY pistore@dit.unitn.it, Universit`a Politecnica delle Marche - Via Brecce Bianche - 60131 Ancona - ITALY spalazzi@diiga.univpm.it, ITC-irst - Via Sommarive 18 - 38050 Povo - Trento - ITALY traverso@irst.itc.it, 2004.

Pistore M., Marconi A., Bertoli P., and Traverso P. Automated Composition ofWeb Services by Planning at the Knowledge Level. In Proc. IJCAI’05. 2005.

Schaerf A. Query Answering in Concept-Based Knowledge Representation Systems: Algorithms, Complexity, and Semantic Issues. Dottorato di Ricerca in Informatica, Universit`a degli Studi di Roma “La Sapienza”, Italia, 1994.