Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Analyzing Consistency of Behavioral REST Web Service Interfaces   REST web services can offer complex operations that do more than just simply
creating, retrieving, updating and deleting information from a database. We
have proposed an approach to design the interfaces of behavioral REST web
services by defining a resource and a behavioral model using UML. In this paper
we discuss the consistency between the resource and behavioral models that
represent service states using state invariants. The state invariants are
defined as predicates over resources and describe what are the valid state
configurations of a behavioral model. If a state invariant is unsatisfiable
then there is no valid state configuration containing the state and there is no
service that can implement the service interface. We also show how we can use
reasoning tools to determine the consistency between these design models.

14
The categories of this paper are: math-ph
12
The categories of this paper are: nucl-th
25
The categories of this paper are: patt-sol
9
The categories of this paper are: nlin
37
The categories of this paper are: supr-con
10
The categories of this paper are: q-bio
3
The categories of this paper are: physics
18
The categories of this paper are: econ
22
The categories of this paper are: chao-dyn
5
The categories of this paper are: gr-qc
19
The categories of this paper are: eess
28
The categories of this paper are: alg-geom
34
The categories of this paper are: chem-ph
31
The categories of this paper are: ao-sci
26
The categories of this paper are: bayes-an
35
The categories of this paper are: mtrl-th