Zur Kurzanzeige

2017-12-12Dissertation DOI: 10.18452/18605
Controller-Synthese für Services mit Daten
dc.contributor.authorBathelt-Tok, Franziska
dc.date.accessioned2017-12-12T06:21:20Z
dc.date.available2017-12-12T06:21:20Z
dc.date.issued2017-12-12
dc.identifier.urihttp://edoc.hu-berlin.de/18452/19304
dc.description.abstractDie steigende Nachfrage an immer komplexeren Systemen in verschiedensten wirtschaftlichen Bereichen, erfordert Strategien, die Wartbarkeit und Wiederverwendbarkeit unterstützen. An diesem Punkt setzen service-orientierte Architekturen (SOAn) an. Dieses Paradigma fordert die Aufspaltung von Funktionalität in Services, die komponiert werden können, um eine gewünschte, komplexe Funktionalität zu erreichen. Besonders in sicherheitskritischen Bereichen, kann eine fehlerbehaftete Komposition jedoch zu hohen finanziellen Einbußen oder sogar zu lebensbedrohlichen Situationen führen. Um die Korrektheit sicherzustellen, müssen Kompositionsmethoden im Vorfeld definierte Eigenschaften garantieren und die, durch die unabhängige Entwicklung auftretenden, Interface-Inkompatibilitäten behandeln. Existierende Ansätze zur automatisierten Service-Komposition durch Controller-Synthese beinhalten jedoch keine formale Datenbehandlung und können daher nicht mit datenabhängigem Verhalten umgehen. In der vorliegenden Arbeit, löse ich dieses Problem durch die Bereitstellung eines Ansatzes zur automatisierten Synthese datenabhängiger, korrekter Service-Controller. Dabei wird ein Controller direkt aus den spezifizierten Anforderungen und dem Verhalten der Services erzeugt. Basierend auf den Annahmen, dass die Anforderungen in RCTL, einer Untermenge der Computational Tree Logic (CTL), spezifiziert und die Services als Algebraische Petrinetze (APNe) gegeben sind, vereinigt mein neuartiger Ansatz die beiden Formalismen und unterstützt eine zuverlässige Extraktion des Controller-Verhaltens. Durch die Nutzung der APNe, erlaubt der Ansatz eine formale Datenbehandlung und somit eine Betrachtung datenabhängigen Verhaltens. Die Anwendbarkeit meines Ansatzes habe ich an drei Fallstudien aus dem medizinischen Bereich gezeigt, wo Geräte sicher miteinander kommunizieren müssen.ger
dc.description.abstractThe continuously increasing demand for more complex systems in various economical domains requires a strategy that supports maintainability and reusability. This is addressed by the service-oriented architecture (SOA)}-paradigm that encourages the encapsulation of functionality into services. To achieve a specific functionality, services can be composed. Especially in safety-critical systems, an incorrect composition of various components can lead to high financial losses or even life threatening situations. To ensure the correctness, composition methods must particularly be able to guarantee pre-specified requirements and to overcome interface incompatibilities, which result from the independent development of the single services. However, current approaches for automated service composition via controller synthesis do not support a formal data-treatment and do not cope with data-dependent behavior. In this thesis, we overcome this problem by providing an approach for the automated synthesis of data-dependent service controllers that are correct-by-construction. The core idea is to synthesize such a controller directly from given requirements and the behavior of the services. Based on the assumptions that the requirements are specified using a subset of Computational Tree Logic (CTL), called RCTL, and that the services are given as algebraic Petri Nets (APNs), our novel synthesis process unifies the two formalisms and enables a reliable extraction of the controller behavior. Especially due to the use of APNs, our approach supports a formal data-treatment and enables a consideration of data-dependent behavior. With our synthesis process, which is based on a successive combination of requirements and services, we provide a practical applicable approach that works fully automatically. We show the applicability of our approach using three case studies in which medical devices interact with each other.eng
dc.language.isoger
dc.publisherHumboldt-Universität zu Berlin
dc.rights(CC BY-SA 3.0 DE) Namensnennung - Weitergabe unter gleichen Bedingungen 3.0 Deutschlandger
dc.rights.urihttp://creativecommons.org/licenses/by-sa/3.0/de/
dc.subjectController-Syntheseger
dc.subjectService-orientierte Architekturger
dc.subjectalgebraische Petrinetzeger
dc.subjectCTLger
dc.subjectService-Kompositionger
dc.subjectDatenger
dc.subjectController-Synthesiseng
dc.subjectservice-oriented architectureeng
dc.subjectalgebraic Petri netseng
dc.subjectcomputational tree logiceng
dc.subjectservice compositioneng
dc.subjectdataeng
dc.subject.ddc000 Informatik, Informationswissenschaft, allgemeine Werke
dc.titleController-Synthese für Services mit Daten
dc.typedoctoralThesis
dc.identifier.urnurn:nbn:de:kobv:11-110-18452/19304-9
dc.identifier.doihttp://dx.doi.org/10.18452/18605
dc.date.accepted2017-11-22
dc.contributor.refereeReisig, Wolfgang
dc.contributor.refereeLeymann, Frank
dc.contributor.refereeWeidlich, Matthias
dc.subject.rvkST 230
dc.subject.rvkST 265
local.edoc.pages199
local.edoc.type-nameDissertation
bua.departmentMathematisch-Naturwissenschaftliche Fakultät

Zur Kurzanzeige