Automated policy-based resource construction in utility computing environments

IEEE Symposium Record on Network Operations and Management Symposium

Volumn , Issue , 2004, Pages 381-393

  Sahai, A ^a   Singhal, S ^a   Machiraju, V ^a   Joshi, R ^b  

^a HEWLETT PACKARD LABORATORIES   (United States)

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Configuration; Management; Policy; Resource utility; Utility computing

Indexed keywords

CONFIGURATION; RESOURCE MODELS; RESOURCE UTILITY; UTILITY COMPUTING;

AUTOMATION; COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; DATA ACQUISITION; INFORMATION RETRIEVAL SYSTEMS; INVENTORY CONTROL; RESOURCE ALLOCATION; UTILITY PROGRAMS;

PUBLIC POLICY;

EID: 4544286106     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. HP Utility Data Center (UDC) http://www.hp.com/solutionsl/infrastructure/ solutions/utilitydata
2. IBM Autonomic Computing http://www.ibm.com/autonomic
3. SUN N1 http://wwws.sun.com/software/solutions/n1/
4. Microsoft DSI http://www.microsoft.com/management/
5. Global Grid Forum http://www.ggf.org
6. Platform LSF http://www.platform.com/products/LSF
7. Nicodemos Damianou, Narankar Dulay, Emil Lupu, Morris Sloman: The Ponder Policy Specification Language. POLICY 2001: 18-38
8. van Hentenryck, P. Constraint Satisfaction in Logic Programming, The MIT Press, Cambridge, Mass, 1989.
9. CIM Modeling http://www.dmtf.org/standards/standard_cim.php
10. DMTF: http://www.dmtf.org
11. Object Constraint Language (OCL) http://www.ibm.com/software/awdtools/ library/standards/ocl.html
12. SNIA CIM Object Manager (CIMOM). http://www.opengroup.org/snia-cimom/
13. Felfernig A, Friedrich G. E et al. UML as a domain specific knowledge for the construction of knowledge based configuration systems. In the Proceedings of SEKE'99 Eleventh International Conference on Software Engineering and Knowledge Engineering, 1999.
14. Raman R, Livny M, Solomon M. MatchMaking: Distributed Resource Management for High Throughput Computing. In the proceedings of HPDC 98.
15. IETF Policy. http://www.ietf.org/html.charters/policy-charter.html
16. PARLAY Policy Management http://www.parlay.org/specs
17. Moffet J, Sloman. Policy Conflict Analysis in Distributed Systems. In the proceedings of Journal of Organizational Computing, 1993
18. SmartFrog http://www-uk.hpl.hp.com/smartfrog/
19. th International EDOC Conference. Sep 2002, pp 258-271, Lausanne, Switzerland.
20. Lams Weerde A, Letler E. Handling Obstacles in Goal-oriented Requirements Engineering. IEEE Transactions on Software Engineering. Special Issue on Exception Handling. 2000.
21. Flanagan C, Joshi R., Ou, X, Saxe J., Theorem Proving Using Lazy Proof Explication. In Lecture Notes in Computer Science, Springer-Verlag Heidelberg, Volume 2725, pp. 355-367, Jul 2003.
22. Jackson D. Automating First-Order Relational Logic. Proc. ACM SIGSOFT Conf. Foundations of Software Engineering, November 2000.
23. Alloy http://sdg.lcs.mit.edu/alloy/