In einer durch Policy-gesteuerten Systemverwaltung spielt die Verfeinerung von Policies (Regelwerken) eine große Rolle. Der Verfeinerungsprozess transformiert die abstrakten Policies in umsetzbaren Policies, die durch den Policy-Enforcement-Point durchgesetzt werden. Dieser Prozess wird üblicherweise manuell durchgeführt. Der manuelle Verfeinerungsprozess hat jedoch einige Nachteile. Einerseits benötigt dieser Prozess Expertenwissen, um die Policies zu verfeinern, andererseits, ist dieser Aufwand dieses Prozesses so aufwändig, dass einige Probleme, z.B. unpassende Spezifikation von umsetzbaren Policies auftreten können. Um diese Nachteile zu beseitigen wird in dieser Dissertation der automatische Verfeinerungsprozess, der die Verfeinerungsmuster anwendet, vorgeschlagen. Durch die Adoption des Pattern Ansatzes werden Verfeinerungsmuster konstruiert, um Expertenwissen zu dokumentieren. Weiterhin werden die Verfeinerungsmuster, die Policies und das System formalisiert, so dass der automatisierte Verfeinerungsprozess realisiert werden kann. In dieser Dissertation werden folgende Bausteine präsentiert: (i) Formalisierung des Systems und der Regelwerke (Policies), (ii) Definition des Verfeinerungsbaums der Regelwerke, (iii) formale Definition der Verfeinerungsmuster, (iv) Kombination von temporaler Aussagenlogik CTL* und Beschreibungslogik um die automatische Mustersuche zu realisieren und (v) Entwicklung eines Algorithmuses zur Verfeinerung der Regelwerke und zur Generierung von umsetzbaren Policies. In dem Beispielszenario dieser Dissertation werden Workflows berücksichtigt, weil Regelwerke für Zugriffskontrolle generiert werden sollen. Diese Regelwerke werden aus Workflows abgeleitet. Diese Regelwerke werden üblicherweise in den Terminologien, die spezifisch für bestimmte Bereiche verwendet werden, ausgedrückt. Diese Bereiche sind beispielsweise der Finanzbereich, die Medizin und die Militär. Daher unterstützt diese Tatsache die Anwendung von der semantischen Technologie um das Expertenwissen zu formalisieren. Dennoch kann der in dieser Dissertation entwickelten Ansatz in anderen Systemen, z.B. diskreten System, eingesetzt werden. Der Beitrag dieser Dissertation ist ein Konzept zur Automatisierung des Policyverfeinerungsprozesses. Dazu wird das Sicherheitsexpertenwissen, das als Verfeinerungsmuster dokumentiert wird, angewendet. Um diese Konzept zu realisieren, Model Checking und Wissensrepräsentation wurden kombiniert.