This book constitutes the refereed proceedings of the 18th IFIP/IEEE International Workshop on Distributed Systems, Operations and Management, DSOM 2007, held in San Jose, CA, USA, in October 2007 in the course of the 3rd International Week on Management of Networks and Services, Manweek 2007.

The 20 revised full papers and 5 revised short papers presented were carefully reviewed and selected from 54 submissions. The papers are organized in topical sections on decentralized and peer-to-peer management, fault detection and diagnosis, performance tuning and dimensioning, problem detection and mitigation, operations and tools, service accounting and auditing, Web services and management.

This volume of the Lecture Notes in Computer Science series contains all papers accepted for presentation at the 10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM'99), which took place at the ETH Zurich in Switzerland and was hosted by the Computer Engineering and Networking Laboratory, TIK. DSOM'99 is the tenth workshop in a series of annual workshops, and Zurich is proud to host this 10th anniversary of the IEEE/IFIP workshop. DSOM'99 follows highly successful meetings, the most recent of which took place in Delaware, U.S.A. (DSOM'98), Sydney, Australia (DSOM'97), and L'Aquila, Italy (DSOM'96). DSOM workshops attempt to bring together researchers from the area of network and service management in both industry and academia to discuss recent advancements and to foster further growth in this ?eld. In contrast to the larger management symposia IM (In- grated Network Management) and NOMS (Network Operations and Management S- posium), DSOM workshops follow a single-track program, in order to stimulate interaction and active participation. The speci?c focus of DSOM'99 is "Active Technologies for Network and Service Management," re?ecting the current developments in the ?eld of active and program- ble networks, and about half of the papers in this workshop fall within this category.

Das Buch behandelt die Spezifikation von Directory-Systemen unter Anwendung von Konzepten der logischen Programmierung. Ausgehend von der Definition derArchitektur eines Directory-Systems wird eine Spezifikationsmethode zur Beschreibung solcher Architekturen vorgestellt. Als Spezifikationssprache dient die Sprache der Hornklausel-Logik, erweitert um Negation. Im Buch werden eine von D.B. Terry bei Xerox PARC entworfene Architektur und ein Ausschnitt aus der Architektur des internationalen Standards f}r Directory-Systeme (X.500) spezifiziert. Daran lassen sich die Vorteile der vorgeschlagenen Methode aufzeigen: Die Spezifikationen sind kompakt, gut lesbar und besitzen eine deklarative und eine prozedurale Semantik. Die erstellten Spezifikationen lassen sich auf einem Prolog-System ausf}hren. Die Ausf}hrbarkeit der Spezifikationen erweist sich als vielseitig anwendbare Eigenschaft, welche beispielsweise die Simulation eines Directory-Systems bei gegebener Konfiguration erm-glicht oder die ]berpr}fung (Verifikation, Validierung) einer Spezifikation erleichtert.