Automated Whole-System Diagnosis of Distributed Services Using Model-Based Reasoning
George Forman, Manish Jain, Masoud Mansouri-Samani, Joseph Martinka, Alex C. Snoeren · 1998
re resolved at the help desk. *Massachusetts Institute of Technology, Laboratory for Computer Science, Cambridge, Massachusetts Copyright Hewlett-Packard Company 1998 2 1 Introduction Business users in modern computing environments increasingly rely on distributed services, i.e., services that are provided by an ensemble of distributed components. For example, distributed printing services depend on the correct cooperation of printers, client computers, and one or more intermediate print spoolers. Mobile users have a heightened dependence on distributed services, as they tap into the infrastructure to help compensate for the resource constraints of their mobile devices [Rud98, Zen97, Sch91]. The growing complexity and business importance of distributed services puts a great deal of pressure on IT departments, and may cause a breakdown in traditional support where the division of responsibilities within the IT shop an