Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Rewriting Logic Approach for Automatic Composition of Web Services   Nowadays, Web Services (WS) remain a main actor in the implementation of
distributed applications. They represent a new promising paradigm for the
development, deployment and integration of Internet applications. These
services are in most cases unable to provide the required functionality; they
must be composed to provide appropriate services, richer and more interesting
for other applications as well as for human users. The composition of Web
services is considered as a strong point, which allows answering complex
queries by combining the functionality of multiple services within a same
composition. In this work we showed how the formalism of graphs can be used to
improve the composition of web services and make it automatic. We have proposed
the rewriting logic and its language Maude as a support for a graph-based
approach to automatic composition of web services. The proposed model has made
possible the exploration of different composition schemas as well as the formal
analysis of service compositions. The paper introduces a case study showing how
to apply our formalization.

21
The categories of this paper are: adap-org
33
The categories of this paper are: plasm-ph
20
The categories of this paper are: acc-phys
37
The categories of this paper are: supr-con
5
The categories of this paper are: gr-qc
25
The categories of this paper are: patt-sol
27
The categories of this paper are: comp-gas
3
The categories of this paper are: physics
13
The categories of this paper are: quant-ph
18
The categories of this paper are: econ
34
The categories of this paper are: chem-ph
26
The categories of this paper are: bayes-an
28
The categories of this paper are: alg-geom
8
The categories of this paper are: hep-ex
23
The categories of this paper are: solv-int
19
The categories of this paper are: eess