Using colored Petri nets for verifying RESTful service composition

L Kallab, M Mrissa, R Chbeir, P Bourreau - On the Move to Meaningful …, 2017 - Springer
RESTful services are an attractive technology for designing and developing web-based
applications, as they facilitate reuse, interoperability, and loosely coupled interaction with …

A linear logic approach to the composition of RESTful web services

X Zhao, E Liu, HQ Yu… - International Journal of …, 2015 - inderscienceonline.com
RESTful web services, which are declarative, lightweight and easy to access, are already
widely used for exposing services on the internet and have attracted increasing interest from …

Formal verification approach to process modelling and composition

P Papapanagiotou - 2014 - era.ed.ac.uk
Process modelling is a design approach where a system or procedure is decomposed in a
number of abstract, independent, but connected processes, and then recomposed into a …

Static and Automatic Resource Composition in Web-based Environments: An Application for Buildings Energy Management

L Kallab - 2019 - theses.fr
Nowadays, a plethora of Web-based environments (Web applications, Web platforms, etc.),
publish their functions as RESTful services, ie, self-contained and selfdescribing resources …