A Service Execution Control Framework for Policy Enforcement

  • Masahiro Tanaka
  • Yohei Murakami
  • Donghui Lin
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6470)


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.


Machine Translator Service Selection Composite Service Business Logic Policy Enforcement 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Ishida, T.: Language Grid: An infrastructure for intercultural collaboration. In: IEEE/IPSJ Symposium on Applications and the Internet (SAINT 2006), pp. 96–100 (2006)Google Scholar
  2. 2.
    Zeng, L., Benatallah, B., Ngu, A.H., Dumas, M., Kalagnanam, J., Chang, H.: Qos-aware middleware for web services composition. IEEE Transactions on Software Engineering 30, 311–327 (2004)CrossRefGoogle Scholar
  3. 3.
    Hassine, A.B., Matsubara, S., Ishida, T.: A constraint-based approach to horizontal web service composition. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 130–143. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  4. 4.
    Charfi, A., Mezini, M.: AO4BPEL: An aspect-oriented extension to bpel. World Wide Web 10(3), 309–344 (2007)CrossRefGoogle Scholar
  5. 5.
    Baresi, L., Guinea, S., Plebani, P.: Policies and aspects for the supervision of BPEL processes. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 340–354. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  6. 6.
    Tanaka, M., Murakami, Y., Lin, D., Ishida, T.: Service supervision for service-oriented collective intelligence. In: IEEE 7th International Conference on Services Computing (SCC 2010) (to appear 2010) Google Scholar
  7. 7.
    Nakajima, S.: Model-checking behavioral specification of bpel applications. Electronic Notes in Theoretical Computer Science 151, 89–105 (2006)CrossRefGoogle Scholar
  8. 8.
    Tanaka, M., Ishida, T., Murakami, Y., Morimoto, S.: Service supervision: Coordinating web services in open environment. In: IEEE International Conference on Web Services (ICWS 2009), pp. 238–245 (2009)Google Scholar
  9. 9.
    Business process execution language for web services (BPEL), version 1.1 (2003),
  10. 10.
    Holzmann, G.: The SPIN Model Checker. Addison-Wesley, Reading (2004)Google Scholar
  11. 11.
    Narayanan, S., McIlraith, S.A.: Simulation, verification and automated composition of web services. In: The 11th International Conference on World Wide Web (WWW 2002), pp. 77–88 (2002)Google Scholar
  12. 12.
    Ankolekar, A., Paolucci, M., Sycara, K.: Towards a formal verification of owl-s process models. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 37–51. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  13. 13.
    Fu, X., Bultan, T., Su, J.: Analysis of interacting bpel web services. In: The 13th conference on World Wide Web (WWW2004), pp. 621–630 (2004)Google Scholar
  14. 14.
    Mosincat, A., Binder, W.: Transparent runtime adaptability for bpel processes. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 241–255. Springer, Heidelberg (2008)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Masahiro Tanaka
    • 1
  • Yohei Murakami
    • 1
  • Donghui Lin
    • 1
  1. 1.Language Grid ProjectNational Institute of Information and Communications Technology (NICT)Seika-choJapan

Personalised recommendations