Data-Aware Service Orchestration of IoT Service with Data Workflow Net

摘要

In this paper, we proposed an approach of service orchestration for IoT service. First, we model a service specification and the devices' service model to be composed with Data Workflow Net (DWF-net). Then, we define a logical correctness of DWF-net with a property called as soundness. We showed that we can orchestrate a service based on its specification if the input and output of the data is compatible. Next, we gave a data-aware orchestration method to produce a sound service model. Finally, we gave an application example.