A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit <a rel="external noopener" href="https://content.sciendo.com/downloadpdf/journals/fcds/40/4/article-p237.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Towards a Process Calculus for Rest: Current State of the Art
<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>
Preserved Fulltext
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
<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>
more »
... 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.
<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>