CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources

In the context of Service-Oriented Computing, applications can be developed following the REST (Representation State Transfer) architectural style. This style corresponds to a resource-oriented model, where resources are manipulated via CRUD (Create, Request, Update, Delete) interfaces. The diversity of CRUD languages due to the absence of a standard leads to composition problems related to adaptation, integration and coordination of services. To overcome these problems, we propose a pivot architecture built around a universal language to manipulate resources, called CREOLE, a CRUD Language for Resource Edition. In this architecture, scripts written in existing CRUD languages, like SQL, are compiled into Creole and then executed over different CRUD interfaces. After stating the requirements for a universal language for manipulating resources, we formally describe the language and informally motivate its definition with respect to the requirements. We then concretely show how the architecture solves adaptation, integration and coordination problems in the case of photo management in Flickr and Picasa, two well-known service-oriented applications. Finally, we propose a roadmap for future work.Comment: In Proceedings FOCLASA 2010, arXiv:1007.499

Modeling the dynamics of web-based service and resource-oriented digital ecosystems

The notion of digital species is broadened to include services and resources, special issues arise in modeling the dynamics and workflows with representations associated with these services and resources. To address these issues, this paper explores two different yet related approaches: the traditional BPEL-based workflow modeling approach and the Mashupbased Web approach. In this paper, we first demonstrate two examples of service-oriented and resource-oriented digital ecosystems on the Web. We then identify key issues pertinent to both types of DES. We discuss formal definition, specifications and issues of BPEL-based approach and Mashup-based modeling techniques with computational formalisms. Finally, we propose a hybrid approach to deal with modeling the dynamicsin processes associated with such Digital Ecosystems

Service composition for end-users

RESTful services are becoming a popular technology for providing and consuming cloud services. The idea of cloud computing is based on on-demand services and their agile usage. This implies that also personal service compositions and workflows should be supported. Some approaches for RESTful service compositions have been proposed. In practice, such compositions typically present mashup applications, which are composed in an ad-hoc manner. In addition, such approaches and tools are mainly targeted for programmers rather than end-users. In this paper, a user-driven approach for reusable RESTful service compositions is presented. Such compositions can be executed once or they can be configured to be executed repeatedly, for example, to get newest updates from a service once a week

A Framework for Collaborative Content Mashup with Pervasive Services

Kombineerides erinevaid teenuseid saavad mobiiltelefonid rahuldada paljusid tööstus ja ärivajadusi.Samas tuleb teenuste kombineerimise raames sisu õigesti tuvastamiseks ja tõlgendamiseks avastada ja töödelda suurt hulka andmeid. Kuna ainult ühe seadme kasu-tamine mingi ülesande lahendamiseks ei ole väga efektiivne on ühiste eesmärkide saa-vutamiseks soovitatav tööd mitme seadme vahel jagada. Pakume välja ja arendame üldraamistikku, mis toetab teenustele orienteeritud sisu segunemist ning laialt levinud teenuste loomise integreerimist, mis toimuks Business Process Execution Language (BPEL)-tuginevale kollaboratsioonile. Esitasime kollaboratsioonis seadmetele ressursi-säästliku teisaldamise plaani ja implementeerimise selle proof of concept'ina (kontseptsiooni tõestus). Hinnangu tulemused näitavad, et raamistik toetab kollaboratiivset ülesannete teisaldamise kava, mis vähendab mobiilsete seadete ressursside kasutamist.By composing pervasive services, mobile phones can support various industrial and commercial needs. However, the pervasive services composition involves discovering and processing a large amount of data in order to identify and interpret the content. Due to the limitation of the single device capability, it is advisable to collaborate with other devices via a wireless network to accomplish common goals. In this thesis, we propose and develop a generic framework that supports service-oriented content mashup and integrating pervasive services composition in the Business Process Execution Language (BPEL)-based collaboration. A resource-aware offloading scheme to collaborative devices has been proposed and implemented as a proof of concept. The evaluation results have shown that the framework supports collaborative task-offloading scheme that reduces the resource usage of mobile devices

On Composing RESTful Services

Composition is one of the central tenets of service oriented computing. This paper discusses how composition can be applied to RESTful services in order to foster their reuse. Given the specific constraints of the REST architectural style, a number of challenges for current service composition languages and technologies are identified to point out future research directions

Service Composition for IP Smart Object using Realtime Web Protocols: Concept and Research Challenges

The Internet of Things (IoT) refers to a world-wide network of interconnected physical things using standardized communication protocols. Recent development of Internet Protocol (IP) stacks for resource-constrained devices unveils a possibility for the future IoT based on the stable and scalable IP technology much like today's Internet of computers. One important question remains: how can data and events (denoted as services) introduced by a variety of IP networked things be exchanged and aggregated e ciently in various application domains. Because the true value of IoT lies in the interaction of several services from physical things, answers to this question are essential to support a rapid creation of new IoT smart and ubiquitous applications. The problem is known as service composition. This article explains the practicability of the future full-IP IoT with realtime Web protocols to formally state the problem of service composition for IP smart objects, provides literature review, and discusses its research challenges

A Linear Logic approach to RESTful web service modelling and composition

A thesis submitted to the University of Bedfordshire in partial fulfilment of the requirements for the degree of Doctor of PhilosophyRESTful 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 Web is creating a demand for modelling techniques that can abstract REST design from the implementation in order better to specify, analyse and implement large-scale RESTful Web systems. It can also help by providing suitable RESTful Web Service composition methods which can reduce costs by effi ciently re-using the large number of services that are already available and by exploiting existing services for complex business purposes. This research considers RESTful Web Services as state transition systems and proposes a novel Linear Logic based approach, the first of its kind, for both the modelling and the composition of RESTful Web Services. The thesis demonstrates the capabilities of resource-sensitive Linear Logic for modelling five key REST constraints and proposes a two-stage approach to service composition involving Linear Logic theorem proving and proof-as-process based on the π-calculus. Whereas previous approaches have focused on each aspect of the composition of RESTful Web Services individually (e.g. execution or high-level modelling), this work bridges the gap between abstract formal modelling and application-level execution in an efficient and effective way. The approach not only ensures the completeness and correctness of the resulting composed services but also produces their process models naturally, providing the possibility to translate them into executable business languages. Furthermore, the research encodes the proposed modelling and composition method into the Coq proof assistant, which enables both the Linear Logic theorem proving and the π-calculus extraction to be conducted semi-automatically. The feasibility and versatility studies performed in two disparate user scenarios (shopping and biomedical service composition) show that the proposed method provides a good level of scalability when the numbers of services and resources grow