Abstract
We describe a modified Grid architecture that allows to specify and enforce connection policies with preferences and integrity constraints. This is done by interposing a policy enforcement engine between a calling application and the relative client stubs. Such policies are conveniently expressed in the declarative policy specification language PPDL. In particular, PPDL allows expressing preferences on how to enforce constraints on action execution. PPDL policies are evaluated by translating them into a Logic Program with Ordered Disjunctions and calling the psmodels interpreter. We describe an experimental architecture that enforces connection policies by catching and filtering only service requests. The process is completely transparent to both client applications and Grid services. There are clear advantages in having the connection logic expressed declaratively and externally to applications.
This work has been supported by i) MIUR COFIN project Formal Languages and Automata: Methods, Models and Applications and ii) the Information Society Technologies programme of the European Commission, Future and Emerging Technologies under the IST-2001-37004 WASP project. The authors participate in M 2 AG: Milan-Messina actions group: http://mag.dsi.unimi.it/
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bertino, E., Mileo, A., Provetti, A.: User Preferences VS Minimality in PPDL. In: Buccafurri, F. (ed.) Proc. of AGP 2003, APPIA-GULP-PRODE (2003), Available from http://mag.dsi.unimi.it/PPDL/
Bertino, E., Mileo, A., Provetti, A. (2003), Policy Monitoring with User-Preferences in PDL. In: Proc. of NRAC 2003 IJCAI 2003 Workshop on Reasoning about Actions and Change (2003), Available from http://mag.dsi.unimi.it/PPDL/
Bertino, E., Mileo, A., Provetti, A.: PDL with Maximum Consistency Monitors. In: Zhong, N., Raś, Z.W., Tsumoto, S., Suzuki, E. (eds.) ISMIS 2003. LNCS (LNAI), vol. 2871, pp. 65–74. Springer, Heidelberg (2003), Available from http://mag.dsi.unimi.it/PPDL/
Brewka, G.: Logic Programming with Ordered Disjunction. In: Proc. of AAAI 2002 (2002); Extended version presented at NMR 2002 (2002)
Brewka, G., Niemelä, I., Syrjänen, T.: Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, p. 444. Springer, Heidelberg (2002)
Buccafurri, F., Leone, L., Rullo, P.: Disjunctive Ordered Logic: Semantics and Expressiveness. In: Proc. of KR 1998, pp. 418–431. MIT Press, Cambridge (1998)
Chomicki, J., Lobo, J., Naqvi, S.: A logic programming approach to conflict resolution in policy management. In: Proc. of KR 2000, 7th Int’l Conference on Principles of Knowledge Representation and Reasoning, pp. 121–132. Morgan Kaufmann, San Francisco (2000)
Chomicki, J., Lobo, J.: Monitors for History-Based Policies. In: Sloman, M., Lobo, J., Lupu, E.C. (eds.) POLICY 2001. LNCS, vol. 1995, pp. 57–72. Springer, Heidelberg (2001)
Chomicki, J., Lobo, J., Naqvi, S.: Conflict Resolution using Logic Programming. IEEE Transactions on Knowledge and Data Engineering 15, 2 (2003)
Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing, 365–387 (1991)
Web location related to Web Services technologies. Globus Toolkit Framework, http://www.globus.org/ , World Wide Web Consortium, http://www.w3c.org/
Lobo, J., Bhatia, R., Naqvi, S.: A Policy Description Language. In: AAAI/IAAI, pp. 291–298 (1999)
Marchi, M., Mileo, A., Provetti, A.: Specification and execution of policies for Grid Service Selection. In: Posters at ICWS 2004 conference, IEEE press, Los Alamitos (2004), Available from http://mag.dsi.unimi.it/PPDL/
Marchi, M., Mileo, A., Provetti, A.: Specification and execution of policies for Grid Service Selection. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol. 3132, pp. 464–466. Springer, Heidelberg (2004), Available from http://mag.dsi.unimi.it/PPDL/
Schaub, T., Wang, K.: 2001. A comparative study of logic programs with preference. In: Proc. of Int’l. Joint Conference on AI, IJCAI 2001 (2001)
Web location of the most known ASP solvers. Aspps, http://cs.engr.uky.edu/ai/aspps/ CMODELS, http://www.cs.utexas.edu/users/tag/cmodels.html DLV, http://www.dbai.tuwien.ac.at/proj/dlv/ NoMoRe, http://www.cs.uni-potsdam.de/~linke/nomore/ Smodels, http://www.tcs.hut.fi/Software/smodels/ PSmodels, http://www.tcs.hut.fi/Software/smodels/priority/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Marchi, M., Mileo, A., Provetti, A. (2004). Specification and Execution of Declarative Policies for Grid Service Selection. In: Zhang, LJ.(., Jeckle, M. (eds) Web Services. ECOWS 2004. Lecture Notes in Computer Science, vol 3250. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30209-4_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-30209-4_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23202-5
Online ISBN: 978-3-540-30209-4
eBook Packages: Springer Book Archive