Processing may take a few seconds...

Article

Download file

Title

Towards a Process Calculus for Rest: Current State of the Art

Authors

[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] employee

Year of publication

2015

Published in

Foundations of Computing and Decision Sciences

Journal year: 2015 | Journal volume: vol. 40 | Journal number: no. 4

Article type

scientific article

Publication language

english

Keywords
EN
  • REST
  • ROA
  • process calculi
  • SOA
  • formal modeling
Abstract

EN SOA is a popular paradigm for building distributed systems that has gained a great recognition over past years. There are two main approaches to implementing SOA: SOAP-based and RESTful Web services. In order to address problems of modeling and verification of Web services, several process calculi have been proposed for SOAP-based Web services but none for the RESTful Web services based systems. This article is a comparative survey on existing process calculi for SOA systems, also the existing attempts to formalize REST systems are discussed. The aim of the article is to see how process calculi for SOAP-based systems deal with different aspects of their modeling domain, and whether their approaches can be used to model RESTful and ROA systems. Finally, basing on the survey, requirements fora new process calculus specific for REST are defined.

Pages (from - to)

237 - 265

DOI

10.1515/fcds-2015-0015

URL

https://www.sciendo.com/article/10.1515/fcds-2015-0015

License type

CC BY-NC-ND (attribution - noncommercial - no derivatives)

Open Access Mode

open journal

Open Access Text Version

final published version

Full text of article

Download file

Access level to full text

public

Points of MNiSW / journal

15.0

This website uses cookies to remember the authenticated session of the user. For more information, read about Cookies and Privacy Policy.