Zusammenfassung: Die vorliegende Arbeit widmet sich einer wichtigen Aufgabenstellung, die im Umfeld verteilter und dienstbasierter Architekturen auftritt: Die korrekte, zuverlassige und effiziente Ausfuhrung softwarebasierter Dienste. Im Zentrum dieser Arbeit stehen dabei zwei Ansatze die jeweils die Flexibilitat bei der Umsetzung dieser Aufgabe steigern. Erstens eine neuartige Methode zur automatisierten Vorwartsbehandlung von Dienstfehlern zur Ausfuhrungszeit, genannt Control Flow Intervention (CFI). Zweitens eine in sich geschlossene Ausfuhrungstechnik die die Migration laufender Ausfuhrungsinstanzen zwischen verfugbaren Ausfuhrungsmaschinen gestattet. Beide tragen den spezifischen Anforderungen neuartiger internetbasierter und mobiler Anwendungsgebiete Rechnung. Wesentliche Merkmale dieser Anwendungen sind (i) Inharenz entfernter Aufrufe, (ii) ad-hoc-Dienste um dynamisch sich verandernden Umgebungen und Benutzerpraferenzen gerecht zu werden und (iii) eine hohe Fehleranfalligkeit bedingt durch drahtlose Verbindungen und Volatilitat angebotener Dienste. Die zugrunde liegende Theorie fur alle in dieser Arbeit angestellten Untersuchungen sind Semantische Dienste, insbesondere basierend auf deduktiven und entscheidbaren Beschreibungslogiken. In einem ersten Schritt greifen wir bisherige Arbeiten aus diesem Bereich auf und entwickeln diese weiter hin zu einem koharenten formalen Systemmodell welches wesentliche Dimensionen in der Semantik von Diensten vereint. Basierend auf diesem Systemmodell liegt anschliessend das Hauptaugenmerk auf CFI. Ziel dieser Methode ist es, Dienstfehler durch geeignete Ersetzungsstrategien nach vorn zu korrigieren, so dass das geplante Gesamtziel eines Dienstes in aquivalenter oder zumindest vergleichbarer Form trotzdem erreicht werden kann. Dies wird durch dynamisches Ausweichen auf semantisch aquivalente oder ahnliche Alternativen ermoglicht. Hierbei wird davon ausgegangen, dass konkrete Alternativen nicht Bestandteil der Dienstspezifikation sind. Es wird lediglich angenommen, dass sie in der Anwendungsdomane vorhanden sind. Da Alternativen somit nicht vordefiniert sind, wird im Fehlerfall dynamisch nach ihnen gesucht. Da das vorgestellte Systemmodell zwei Arten von Nebenlaufigkeit bei der Dienstausfuhrung zulasst, und da die Reprasentation des Zustandes verschiedener Ausfuhrungsinstanzen in einer gemeinsamen Wissensbasis erfolgt, wird ausserdem der korrekte und inferenzvermeidende simultane Zugriff auf solche Wissensbasen untersucht. Diese Arbeit stellt dazu ein neuartiges Zugriffsmodell zur Koordination von nebenlaufigen Transaktionen auf einer Web Ontology Language Wissensbasis vor. In diesem Zusammenhang werden dessen Leistungs- und Isolationseigenschaften diskutiert. Um die praktische Anwendbarkeit der entwickelten Methoden untersuchen zu konnen, wurden diese prototypisch in unserem verteilten und dezentralen Ausfuhrungssystem OSIRIS Next implementiert. Wir beschreiben den grundlegenden Aufbau dieses Systems. In diesem Zusammenhang stellt diese Arbeit dann die verteilte Ausfuhrungstechnik vor, die insbesondere fur (semi-)automatisch zusammengefugte und nur wenige Male ausgefuhrte ad-hoc-Dienste optimiert ist. Schliesslich wurden die vorgestellten Verfahren durch verschiedene Experimente hinsichtlich ihres Laufzeitverhaltens quantitativ evaluiert. Die dabei gemachten Erfahrungen und Resultate zeigen das Potential der Verfahren fur deren Einsatz in der Praxis. ----------Abstract: This thesis deals with an important task in the context of distributed and service-oriented architectures: the correct, reliable, and efficient execution of software-based services. In the center of this work are two approaches that increase the flexibility in this task. First, a novel method for automated forward recovery of service failures at execution time, called Control Flow Intervention (CFI). Second, a self-contained technique that allows for migration of running execution instances among available execution machines. Both address requirements specific to novel Internet-based and mobile applications. Characteristic for such applications are (i) inherent remote invocation, (ii) ad-hoc services to cope with dynamically changing environments and user preferences, and (iii) frequent errors due to wireless connections and volatility of offered services. The underlying theory for all investigations made in this thesis are Semantic Services, based in particular on deductive and decidable Description Logics. In a first step, we take up prior work in this area and develop it further towards a coherent formal system model that combines essential dimensions of service semantics. Based on this model, the focus is then on CFI. The goal of this method is to correct service failures by appropriate replacement strategies in a forward-oriented way, meaning that the overall goal of a service remains attainable, though in a semantically equivalent or at least comparable form. This is achieved by dynamically shifting to semantically equivalent or similar alternatives. Alternatives are however not pre-defined as part of the service specification. Rather, it is assumed that they exist in the application domain and that they are searched for on demand in the presence of a failure. Since the system model allows for two types of concurrency in the service execution, and since the state of execution instances is represented in a shared knowledge base, we also investigate the problem of ensuring correct concurrent access to knowledge bases so that inferences are avoided. Specifically, we present a novel concurrency control model for transactions operating over a Web Ontology Language knowledge base. Efficiency and isolation properties of the presented approach are furthermore discussed. In order to investigate the practical applicability of the presented methods, they were prototypically implemented in our distributed and decentralized execution system OSIRIS Next. We describe the architecture of this system. In this context, the distributed execution technique is presented that is particularly optimized for ad-hoc services that are usually (semi-)automatically composed and executed a few times only. Finally, the presented methods were evaluated quantitatively by various experiments with respect to their runtime behavior. The results and the experiences gained show the potential of the methods for their application in practice.