<abstract xmlns="http://www.w3.org/1999/xhtml"><p> 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 for a new process calculus specific for REST are defined.</p></abstract>

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 for a new process calculus specific for REST are defined.

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

Institute of Computing Science, Poznań University of Technology, Poznań, Poland

Foundations of Computing and Decision Sciences

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

{"article-title":"Towards a Process Calculus for Rest: Current State of the Art"}

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...

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

Data publikacji: 12 gru 2015

Zakres stron: 237 - 265

Otrzymano: 11 maj 2015

Przyjęty: 06 paź 2015

DOI: https://doi.org/10.1515/fcds-2015-0015

Słowa kluczowe
REST, ROA, process calculi, SOA, formal modeling

© by Jerzy Brzeziński

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

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

Data publikacji: 12 gru 2015

Zakres stron: 237 - 265

Otrzymano: 11 maj 2015

Przyjęty: 06 paź 2015

DOI: https://doi.org/10.1515/fcds-2015-0015

Słowa kluczoweREST, ROA, process calculi, SOA, formal modeling

© by Jerzy Brzeziński

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Słowa kluczowe
REST, ROA, process calculi, SOA, formal modeling