It's elementary, dear watson: Applying logic programming to convergent system management processes

Proceedings of the 13th Conference on Systems Administration, LISA 1999

Volumn , Issue , 1999, Pages 123-137

  Couch, Alva L ^a   Gilfix, Michael ^a  

^a TUFTS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; LOGIC PROGRAMMING; REQUIREMENTS ENGINEERING; SPECIFICATION LANGUAGES;

CONVERGENT SYSTEMS; INFORMATION DOMAINS; MODEL OF SYSTEMS; PROOF OF CONCEPT; SPECIALIZED TOOLS; SYSTEM ADMINISTRATION; SYSTEM ADMINISTRATORS; SYSTEM REQUIREMENTS;

PROLOG (PROGRAMMING LANGUAGE);

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

References (28)

1. P. Anderson, "Towards a High-Level Machine Configuration System" Proc. LISA-VIII, Usenix Assoc., 1994.
2. E. Bailey, Maximum RPM, Red Hat Press, 1997.
3. M. Burgess, "A Site Configuration Engine," Computing Systems 8, 1995.
4. M. Burgess and R. Ralston, "Distributed Resource Administration Using Cfengine," Software: Practice and Experience 27, 1997.
5. M. Burgess, "Computer Immunology," Proc. LISA-XII, 1998.
6. W. F. Clocksin and C. F. Mellish, Programming in Prolog, Fourth Edition, Springer-Verlag, Inc., 1994.
7. Wallace Colyer and Walter Wong, "Depot: a Tool for Managing Software Environments," Proc. LISA-VI, Usenix Assoc., 1992.
8. Michael Cooper, "Overhauling Rdist for the '90's," Proc. LISA-VI, Usenix Assoc., 1992.
9. Alva Couch and Greg Owen, "Managing Large Software Repositories with SLINK," Proc. SANS-95, 1995.
10. A. Couch, "SLINK: Simple, Effective Filesystem Maintenance Abstractions for Community-Based Administration," Proc. LISA-X, Usenix Assoc., 1996.
11. A. Couch, "Chaos Out of Order: A Simple, Scalable File Distribution Facility for 'Intentionally Heterogeneous' Networks," Proc. LISA-XI, Usenix Assoc., 1997.
12. C. J. Date, An Introduction to Database Systems, Sixth Edition, Addison-Wesley, Inc., 1995.
13. R. Evard, "An Analysis of UNIX Machine Configuration," Proc. LISA-XI, Usenix Assoc., 1997.
14. B. Glickstein, "GNU Stow," http://www.gnu.org/software/sto w.
15. S. Hansen and T. Atkins, "Centralized System Monitoring With Swatch," Proc. LISA-VII, Usenix Assoc., 1993.
16. G. Kim and E. Spafford, "Monitoring File System Integrity on UNIX Platforms," InfoSecurity News 4 (4), July 1993.
17. G. Kim and E. Spafford, "Experiences with Trip-Wire: Using Integrity Checkers for Intrusion Detection," Proc. System Administration, Networking, and Security-III, Usenix Assoc., 1994.
18. W. Ley, "LogSurfer Homepage," http://www.fwl.dfn.de/eng/logsurf/home.html.
19. J. Lockard and J. Larke, "Synctree for Single Point Installation, Upgrades, and OS Patches," Proc. LISA-XII, Usenix Assoc., 1998.
20. J. Murray, Windows-NT SNMP: Simple Network Management Protocol, O'Reilly and Assoc, 1997.
21. K. Manheimer, B. Warsaw, S. Clark, and W. Rowe, "The Depot: a Framework for Sharing Software Installation Across Organizational and UNIX Platform Boundaries," Proc. LISA-IV, Usenix Assoc., 1990.
22. A. Oram and S. Talbot, Managing Projects with Make, 2nd Edition, O'Reilly and Associates, 1991.
23. J. Ousterhout, TCL and the TK Toolkit, Addison-Wesley, Inc., 1994.
24. R. Osterlund, "PIKT Web Site," http://pikt.uchicago.edu/pikt..
25. W. Venema, "TCP WRAPPER, Network Monitoring, Access Control and Booby Traps," Proc. UNIX Security Symposium III, September 1992.
26. L. Wall, T. Christiansen, and R. Schwartz, Programming Perl, 2nd edition, O'Reilly and Assoc., 1996.
27. J. Weilemaker, "SWI Prolog Web Site," http://www.swi.psy.uva.nl/projects/SWI-Prolog.
28. Walter C. Wong, "Local Disk Depot - Customizing the Software Environment" Proc. LISA-VII, Usenix Assoc., 1993.