PoDIM: A language for high-level configuration management

Proceedings of the 21st Large Installation System Administration Conference, LISA 2007

Volumn , Issue , 2007, Pages 261-273

  Delaet, Thomas ^a   Joosen, Wouter ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX TASK; CONFIGURATION MANAGEMENT; HARDWARE AND SOFTWARE; HIGH RATE; REAL-WORLD; REQUIREMENT CHANGE; SYSTEM ADMINISTRATION;

HIGH LEVEL LANGUAGES;

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

References (40)

1. The Alloy Analyzer, http://alloy.mit.edu
2. American National Standards Institute, ANSI X3. 135-1992: Information Systems ? Database 1430 Broadway, New York, 1989
3. Anderson, Paul, LCFG Homepage, http://www. lcfg.org
4. Anderson, Paul, Short Topics in system Administration 14: System Configuration, USENIX Association, Berkeley, CA, 2006
5. Anderson, Paul and Alva Couch, "What Is This Thing Called "System Configuration?" LISA Invited Talk, November, 2004
6. Anderson, Paul, and Alastair Scobie, "Large Scale Linux Configuration with LCFG," Proceedings of the 4th Annual Linux Showcase and Conference, Atlanta, October 10-14, pages 363-372, USENIX, Berkeley, CA, 2000
7. Anderson, Paul and Alastair Scobie, "LCFG ? the Next Generation," UKUUG Winter Conference, UKUUG, 2002
8. Anderson, Paul and Edmund Smith, "Configuration Tools: Working Together," Proceedings of the Large Installations Systems Administration (LISA) Conference, pages 31-38, USENIX Association, Berkeley, CA, December 2005
9. Bandara, A. K., E. C. Lupu, J. Moffett, and A. Russo, "Using Event Calculus to Formalise Policy Specification and Analysis," Proceedings of the 4th IEEE Workshop on Policies for Distributed Systems and Networks, 2003
10. Burgess, M., Cfengine WWW site, 1993, http:// www.iu.hio.no/cfengine
11. Burgess, M., GNU cfengine, Free Software Foundation, Boston, Massachusetts, 1994
12. Burgess, M., "A Site Configuration Engine," Computing Systems, MIT Press: Cambridge, MA, Vol. 8, p. 309, 1995
13. Burgess, M., "Needles in the Cray Stack: The Myth of Computer Control," USENIX ;login:, Vol. 26, Num. 2, pp. 30-36, 2001
14. Burgess, Mark, "Recent Developments in Cfengine," Unix.nl Conference Proceedings, 2001
15. Common Information Model (CIM) Standards, http://www.dmtf.org/standards/cim/
16. Couch, A., J. Hart, E. G. Idhaw, and D. Kallas, "Seeking Closure in an Open World: A Behavioural Agent Approach to Configuration Management," Proceedings of the Seventeenth Systems Administration Conference (LISA XVII), USENIX Association, Berkeley, CA, p. 129, 2003
17. Damianou, Nicodemos C., A Policy Framework for Management of Distributed Systems, Ph.D.Thesis, University of London, Department of Computing, 2002
18. Desai, Narayan, Rick Bradshaw, and Joey Hagedorn, Bcfg2 Trac Homepage, http://trac.mcs.anl. gov/projects/bcfg2
19. Desai, Narayan, Rick Bradshaw, and Joey Hagedorn, System Management Methodologies with Bcfg2, ;login: The USENIX Association Newsletter, Vol. 31, Num. 1, February 2006
20. Desai, Narayan, Rick Bradshaw, Scott Matott, Sandra Bittner, Susan Coghlan, Rémy Evard, Cory Lueninghoener, Ti Leggett, John-Paul Navarro, Gene Rackow, Craig Stacey, and Tisha Stacey, " A Case Study in Configuration Management Tool Deployment," Proceedings of the Large Installations Systems Administration (LISA) Conference, pp. 39-46, USENIX Association, Berkeley, CA, December, 2005
21. Evard, R., "An Analysis of UNIX System Configuration," Proceedings of the Eleventh Systems Administration Conference (LISA XI), USENIX Association, Berkeley, CA, p. 179, 1997
22. JBoss Group, Jboss Microcontainer, http://www. jboss.com/products/jbossmc
23. ILOG, Jrules: Technical White Paper (Version 4.0), 2002, http://www.ilog.com/products/jrules/
24. Jackson, Daniel, "Alloy: A Lightweight Object Modelling Notation," ACM Transactions on Software Engineering and Methodology, Vol. 11, Num. 2, pp. 256-290, 2002
25. Jackson, Daniel, Software Abstractions: Logic, Language and Analysis, The MIT Press, 2006
26. Kanies, Luke, Puppet, http://reductivelabs.com/ projects/puppet/
27. Kanies, Luke, Puppet: Next-Generation Configuration Management, ;login: The USENIX Association Newsletter, Vol. 31, Num. 1, February, 2006
28. Hewlett Packard Laboratories, The smartfrog Reference Manual, 2007
29. Low, Colin and Julio Guijarro, A smartfrog Tutorial, Technical Report, Hewlett Packard Laboratories, 2004
30. Meyer, B., Eiffel, the Language. Prentice Hall, 1992
31. Meyer, Bertrand, Object-Oriented Software Construction, Prentice-Hall, Second Edition, 1997
32. Moore, B., Policy Core Information Model (PCIM) Extensions, RFC 3460 (Proposed Standard), January, 2003
33. Moore, B., E. Ellesson, J. Strassner, and A. Westerinen, Policy Core Information Model ? Version 1 Specification, RFC 3060 (Proposed Standard); Updated by RFC 3460, February, 2001
34. Narain, Sanjai, Towards a Foundation for Building Distributed Systems via Configuration, 2004, http://www.argreenhouse.com/papers/narain/Service-Grammar-Web-Version.pdf
35. Narain, Sanjai, "Network Configuration Management via Model Finding," LISA?05: Proceedings of the 19th Conference on Large Installation System Administration Conference, p. 15, USENIX Association, Berkeley, CA, 2005
36. Oppenheimer, D., The Importance of Understanding Distributed System Configuration," Proceedings of the 2003 Conference on Human Factors in Computer Systems workshop, April, 2003
37. Patterson, D. A., "A Simple Way to Estimate the Cost of Downtime," Proceedings of the Sixteenth Systems Administration Conference (LISA?02), pp. 185-188, USENIX Association, Berkeley, CA, 2002
38. Spring Framework, http://www.springframework. org
39. Strassner, John, "Policy management challenges for the future," Policy 2005 Keynote, 2005
40. Walden, Kim and Jean-Marc Nerson, Seamless Object-Oriented Software Architecture, Prentice-Hall, 1994