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

Dariusz Dwornikowski, Andrzej Stroiński, Jerzy Brzeziński
<span title="2015-12-01">2015</span> <i title="Walter de Gruyter GmbH"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2b7koo37pbdcngjrowagaindry" style="color: black;">Foundations of Computing and Decision Sciences</a> </i> &nbsp;
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
more &raquo; ... ttempts 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.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1515/fcds-2015-0015">doi:10.1515/fcds-2015-0015</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lwxcsr2pezemzdshu3atwfx674">fatcat:lwxcsr2pezemzdshu3atwfx674</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190502125835/https://content.sciendo.com/downloadpdf/journals/fcds/40/4/article-p237.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/77/b5/77b56c1f886d9c8e654d8930a0729fa044685af8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1515/fcds-2015-0015"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> degruyter.com </button> </a>