Abstract:The Web of Things (WoT) is a new paradigm in which everyday objects are connected to the Internet using popular Web technologies. The smart things are abstracted into RESTful Web services to facilitate their manipulation. The composition of these objects within the same business process creates an automated, time-synchronized routine that can perform even the most complex tasks. BPEL is an orchestration language that defines the process responsible for coordinating the Web services involved. However, this language presents some limitations in this context. BPEL 2.0 does not support RESTful Web services; its specification is incompatible with this architectural style of services. Moreover, its temporal expressivity is insufficient to cover all the constraints that may arise when composing services. This work aims to adapt BPEL to the requirements of the WoT environment, enabling it to create processes that invoke the smart things in precise time intervals. The solution is to exploit one of BPEL's strengths: its extensibility. The BPEL specification is enriched with four activities that reflect the REST uniform interface. They include the necessary attributes to send the request to the target object and receive the response in convened format representation. Also, temporal attributes are added to BPEL elements to schedule their start, end, and duration of execution. The manual addition of these temporal values requires a verification of their accuracy. The BPEL process must be reviewed to ensure its validity before its execution. A temporal Petri Net is proposed to detect any conflicts or inconsistencies between BPEL activities. As a result, associating the formal model with the extension allows BPEL to orchestrate smart things represented by RESTful Web services according to a well-defined temporal scenario. They respect the REST constraints and provide the BPEL activities with temporal attributes for efficient time management. The approach can be applied in all application areas to create temporal scenarios.

Service-Oriented Processes: An Introduction To Bpel

From BPMN Process Models to BPEL Web Services

Web-based Application Services Composition for E-Business

Pattern-Based Analysis of BPEL4WS

Pattern Based Analysis of BPEL4WS

The Simple Object Access Protocol In Web Services Architecture

Translating BPMN to BPEL

Analysis of Web Services Composition Languages: the Case of BPEL4WS.

Distributed Business Processes - A Framework for Modeling and Execution

Extend BPEL4WS with Semantic-Based Dynamic Service Process Refinement

A Linear Logic Representation For Bpel Process Protocol

Operating Guidelines For Bpel Business Process Based On Pi Calculus

Analyzing Service Composition Patterns in BPEL

A framework for interoperability of BPEL-based workflows

Enterprise Modelling Based Services Orchestration

Modeling and Execution of Multienterprise Business Processes

S2O: A smart objects orchestrator framework based on the web of things

A Framework for the Requirements Analysis of Service-Oriented Workflows

A Service-Oriented Business Process Modeling Methodology and Implementation

E-business Processes Composition Based on Pi-Calculus Technology

Modeling and Verifying BPEL Using Synchronized Net