Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/978-3-642-17358-5_8 | Lecture Notes in Computer Science |
Keywords | Field | DocType |
collective intelligence,service provider,satisfiability,model checking,search space | Service design,Mobile QoS,Service level objective,Enhanced Telecom Operations Map,Computer science,Computer security,Service system,Service provider,Differentiated service,Service delivery framework | Conference |
Volume | ISSN | Citations |
6470 | 0302-9743 | 2 |
PageRank | References | Authors |
0.40 | 12 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Masahiro Tanaka | 1 | 78 | 10.98 |
Yohei Murakami | 2 | 284 | 42.25 |
Donghui Lin | 3 | 91 | 16.90 |