Service-oriented collective intelligence, which creates new value by combining various programs and data as services, requires many participants. Therefore it is crucial for an infrastructure for service-oriented collective intelligence to satisfy various policies of service providers. Some previous works have proposed methods for service selection and adaptation which are required to satisfy service providers’ policies. However, they do not show how to check if the selected services and adaptation processes certainly satisfy service providers’ policies. In this paper, we propose an execution control framework which realizes service selection and adaptation in order to satisfy service providers’ policies. On the framework, the behaviors of composite services are verified against service providers’ policies based on model checking. We also formally defined the effect of the proposed execution control APIs. This enabled us to update models for verification at runtime and reduce the search space for verification.
Swipe to navigate through the chapters of this book
Please log in to get access to this content
To get access to this content you need the following product:
- A Service Execution Control Framework for Policy Enforcement
- Sequence number
Neuer Inhalt/© ITandMEDIA