Where academic tradition
meets the exciting future

Analyzing Consistency of Behavioral REST Web Service Interfaces

Irum Rauf, Ali Hanzala Khan, Ivan Porres, Analyzing Consistency of Behavioral REST Web Service Interfaces. In: Josep Silva, Francesco Tiezzi (Eds.), The 8th International Workshop on Automated Specification and Verification of Web Systems, Electronic Proceedings in Theoretical Computer Science, 1–15, EPTCS, 2012.

Abstract:

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.

Files:

Full publication in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpRaKhPo12a,
  title = {Analyzing Consistency of Behavioral REST Web Service Interfaces},
  booktitle = {The 8th International Workshop on Automated Specification and Verification of Web Systems},
  author = {Rauf, Irum and Khan, Ali Hanzala and Porres, Ivan},
  series = {Electronic Proceedings in Theoretical Computer Science},
  editor = {Silva, Josep and Tiezzi, Francesco},
  publisher = {EPTCS},
  pages = {1–15},
  year = {2012},
  keywords = {REST Web Service, Validation, Reasoning, OWL 2, Behavior Model, Resource Model.},
}

Belongs to TUCS Research Unit(s): Software Engineering Laboratory (SE Lab)

Publication Forum rating of this publication: level 1

Edit publication