The REST architectural style has attracted a lot of interest from industry due to the
nonfunctional properties it contributes to Web-based solutions. SOAP/WSDL-based …

Representational State Transfer (REST), as an architectural style for distributed hypermedia
systems, enables scalable operation of the World Wide Web and is the foundation for its …

This paper introduces a two-stage Linear Logic based program synthesis approach to
automatic RESTful web service composition. The Linear Logic theorem proof is applied at …

In dynamic environments, changes are often unpredictable and complex. Process models
cannot be fully specified up-front and process flexibility becomes a key issue. Enterprise …

Electronic contracts (e-contracts) create obligations, permissions, and prohibitions for the
parties in the Internet. However, the support to interpret and enforce the clauses related to …

Most connected objects feature very limited capabilities that present challenges in terms of
data processing and connectivity. In addition, heterogeneity of smart Internet-of-Things …

One of the major issues in system integration is to deal with interoperability of legacy
systems which use traditional System Integration Patterns (SIP). Information are unable to …

RESTful Web Services are gaining increasing attention from both the service and the Web
communities. The rising number of services being implemented and made available on the …

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 …

Abstract Service composition is one of the principles of service-oriented architecture; it
enables reuse and allows developers to combine existing services in order to create new …