Specification and execution of declarative policies for grid service selection

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3250, Issue , 2004, Pages 102-115

  Marchi, Massimo ^a   Mileo, Alessandra ^a   Provetti, Alessandro ^b  

^a UNIVERSITY OF MILAN   (Italy)

^b UNIVERSITY OF MESSINA   (Italy)

Author keywords

Answer set programming; Customization; Declarative policies; Grid services; User preferences

Indexed keywords

COMPUTER PROGRAMMING; GRID COMPUTING; LOGIC PROGRAMMING; PROGRAM INTERPRETERS; PROGRAM TRANSLATORS; SPECIFICATION LANGUAGES; SPECIFICATIONS;

ANSWER SET PROGRAMMING; CUSTOMIZATION; GRID SERVICE SELECTIONS; GRID SERVICES; INTEGRITY CONSTRAINTS; LOGIC PROGRAM WITH ORDERED DISJUNCTIONS; POLICY SPECIFICATION LANGUAGES; USER PREFERENCES;

WEB SERVICES;

EID: 35048814472     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30209-4_8     Document Type: Article

References (16)

1. Bertino, E., Mileo, A. and Provetti, A., 2003. User Preferences VS Minimality in PPDL. In Buccafurri F. (editor), Proc. of AGP03, APPIA-GULP-PRODE. Available from http://mag. dsi. unimi. it/PPDL/
2. Bertino E., Mileo A. and Provetti A., 2003. Policy Monitoring with User-Preferences in PDL. Proc. of NRAC 2003 IJCAI03 Workshop on Reasoning about Actions and Change. Available from http://mag. dsi. unimi. it/PPDL/
3. Bertino, E., Mileo, A. and Provetti, A., 2003. PDL with Maximum Consistency Monitors. Proc. of Int'l Symp. on Methodologies for Intelligent Systems (ISMIS03). Springer LNCS. Available from http://mag. dsi. unimi. it/PPDL/
4. Brewka, G., 2002. Logic Programming with Ordered Disjunction. Proc. of AAAI-02. Extended version presented at NMR-02.
5. Brewka, G., Niemelä I and Syrjänen T., 2002. Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. Proc. of JELIA'02. Springer Verlag LNAI.
6. Buccafurri F., Leone L. and Rullo P., 1998. Disjunctive Ordered Logic: Semantics and Expressiveness. Proc. of KR'98. MIT Press, pp. 418-431.
7. Chomicki J., Lobo J. and Naqvi S., 2000. A logic programming approach to conflict resolution in policy management. Proc. of KR2000, 7th Int'l Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, pp 121-132.
8. J. Chomicki, J. Lobo, 2001. Monitors for History-Based Policies. Proc. of Int'l Workshop on Policies for Distributed Systems and Networks. Springer, LNCS 1995, pp. 57-72.
9. Chomicki J., Lobo J. and Naqvi S., 2003. Conflict Resolution using Logic Programming. IEEE Transactions on Knowledge and Data Engineering 15:2.
10. Gelfond, M. and Lifschitz, V., 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing: 365-387.
11. Web location related to Web Services technologies. Globus Toolkit Framework: http://www. globus. org/ World Wide Web Consortium: http://www. w3c. org/
12. Lobo J., Bhatia R. and Naqvi S., 1999. A Policy Description Language, in AAAI/IAAI, 1999, pp. 291-298.
13. Marchi M., Mileo A. and Provetti A., 2004. Specification and execution of policies for Grid Service Selection. Posters at ICWS2004 conference. IEEE press. Available from http://mag. dsi. unimi. it/PPDL/
14. Marchi M., Mileo A. and Provetti A., 2004. Specification and execution of policies for Grid Service Selection. Poster at Int'l Conference on Logic Programming (ICLP04) Spinger LNCS. Available from http://mag. dsi. unimi. it/PPDL/
15. Schaub T., and Wang K., 2001. A comparative study of logic programs with preference. Proc. of Int'l. Joint Conference on AI, IJCAI-01.
16. 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/