Partner datenverarbeitender Services

Diese Arbeit untersucht den Einfluss von Daten auf das Verhalten und die Korrektheit eines verteilten Systems. Ein verteiltes System besteht aus mehreren Services. Ein Service ist eine selbständige, plattformunabhängige Einheit, die anderen Services eine bestimmte Funktionalität über eine wohldefinierte Schnittstelle zur Verfügung stellt. In dieser Arbeit betrachten wir die Interaktion von jeweils genau zwei Services miteinander. Zwei Services, die erfolgreich miteinander zusammenarbeiten können, nennen wir Partner. Ein Service heißt bedienbar, wenn er mindestens einen Partner hat. Ziel der Arbeit ist es, zu untersuchen, wann zwei Services Partner sind, und für einen Service zu entscheiden, ob dieser bedienbar ist. Aufgrund der Daten kann der Zustandsraum eines Service sehr groß oder sogar unendlich groß werden. Wir untersuchen zwei Klassen von Services mit unendlich vielen Zuständen. Für diese Klassen stellen wir Algorithmen vor, welche zu einem gegebenen Service einen Partner synthetisieren, falls ein solcher existiert. Auf diese Weise entscheiden wir konstruktiv die Bedienbarkeit eines Service. Weiterhin stellen wir Transformationsregeln für Partner vor und untersuchen, wie viel Speicherplatz ein Partner eines Services mindestens benötigt.This thesis studies the influence of data on the behavior and the correctness of a distributed system. A distributed system consists of several services. A service is a self-contained, platform-independent entity which provides a certain functionality to other services via a well-defined interface.In this thesis, we consider the interaction of exactly two services. Two services that can successfully cooperate with each other are called partners. We call a service controllable, if the service has at least one partner. The goal of this thesis is to study the conditions for which two services are partners and to decide whether a given service is controllable. Due to the data, the state space of a service may be very large or even infinite. We investigate two classes of services with infinitely many states. For these classes, we present algorithms that synthesize a partner of a service, if it exists. This allows us to decide the controllability of a service constructively. Furthermore, we present transformation rules for partners and investigate the minimum amount of memory that a partner of a service needs

Modellierung stationärer Zustände von metabolischen Netzwerken: Methoden, Anwendungen, Thermodynamik

Eines der ehrgeizigsten Ziele theoretischer biochemischer Forschung ist die Simulation einer kompletten Zelle. Mit der Aussicht, durch die Metabolom-, Proteom- und weitere systemische Analysen in naher Zukunft umfassende und quantitative Informationen über den Zustand der Zelle zu erhalten, hat dieser Forschungszweig deutlichen Auftrieb bekommen. Für die möglich werdende Integration von laborpraktischem und Computerexperiment auf diese Weise ist ein neues Wort geprägt worden: Systembiologie. Es existieren viele Ansätze, um dieses Ziel zu erreichen. Diese Arbeit beschäftigt sich mit der kinetischen Simulation von metabolischen Netzwerken. Das Erreichen eines Fließgleichgewichtszustandes stand dabei im Vordergrund. Dazu wurde die Eignung verschiedener Methoden evaluiert: die Integration von Differentialgleichungen, die Simulation farbiger Petrinetze und die Lösung algebraischer Gleichungen. Es konnte gezeigt werden, dass die Integration von Differentialgleichungen die am besten geeignete Methode für große Netzwerke ist. Bezogen auf die Modellformulierung konnten Erfolge bei der Unterstützung der Netzwerkrekonstruktion und bei der Einarbeitung von thermodynamischen Parametern erzielt werden. Bei der Simulation der Modelle wurde besonderer Wert auf die Behandlung und Identifikation der Systemgrenzen und ihren Einfluss auf die Simulationsergebnisse gelegt. Es wurden Modelle der Glykolyse, des Citratcyclus und des Zentralstoffwechsels von Corynebacterium glutamicum mit allen Zu- und Abflüssen, die für das Wachstum der Zelle relevant sind, simuliert

Petri-Netz-basierte Simulation biologischer Prozesse mit OpenModelica

Ochel L. Petri-Netz-basierte Simulation biologischer Prozesse mit OpenModelica. Bielefeld: Universität Bielefeld; 2017

Formalized Terminologies of Technical Systems and their Reliability

Während des Lebenslaufs eines technischen Systems kommunizieren Fachleute mit verschiedenen Ausbildungs- und Erfahrungshintergründen miteinander. Nur ein gleiches Verständnis auf der Grundlage eines gemeinsamen Terminologoegebäudes ermöglicht zueinander passendes Handeln. Existierende Ansätze der Terminologiearbeit erfüllen die Ansprüche an eine eindeutige, widerspruchsfreie, präzise, mehrsprachige und domänenübergreifende terminologische Basis allerdings nicht. Um einen reibungslosen Ablauf der gewerkeübergreifenden Zusammenarbeit über den gesamten Lebenslauf technischer Systeme zu ermöglichen, müssen die Grenzfälle und Unschärfen bestehender Terminologieabbildungen gelöst werden. Die in dieser Arbeit ausgearbeitete methodische Grundlage besteht in einer eindeutigen Festlegung von Termini durch die durchgängige Nutzung einheitlicher formaler Beschreibungsmittel. Auf dieser Basis aufbauend wird die Basisterminologie der leittechnischen Modellwelt beschrieben. Sie stellt das Fundament für eine weitergehende Modellbildung dar. Die im Rahmen dieser Arbeit konzipierte Vorgehensweise wird auf die Modellierung eines formalisierten Terminologiegebäudes zur Verlässlichkeit technischer Systeme angewendet. Die einzelnen Termini werden hierbei durch ein Netz zwischen ihnen bestehender Bedeutungsbeziehungen abgebildet und so zu einem neuen Terminologiegebäude zusammengefügt. Gleichwertige Benennungen werden identifiziert und somit ein Beitrag zur Eindeutigkeit des Fachvokabulars geleistet. In dieser Arbeit wird ein Terminologiemanagementsystem konzipiert, welches die Sprache in ihrer Komplexität abzubilden vermag und somit über eine bloße Auflistung von Bezeichnungen und den ihnen zugeordneten Definitionen hinausgeht. Es erlaubt die verteilte Erarbeitung und Abstimmung eines Fachwortschatzes in der Normungsarbeit und in der industriellen Praxis und ermöglicht dort eine fachübergreifende Kommunikation, wo bisher nur Unverständnis, Missverständnis und Ablehnung bestanden.In the lifecycle of a technical system experts with different educational backgrounds and experiences communicate with each other. Only a common understanding allows for coordinated and coherent action. Existing approaches of terminology management can not adequately fulfill the unambiguous, consistent, precise, multilingual conceptualization across different domains. In order to allow for an unobstructed interdisciplinary cooperation a harmonization of heterogeneous information is required and the fuzziness of the currently existing terminology needs to be overcome. The methodical framework to do this is developed in this work. The formalization of unambiguously defined technical terms is supported by the integrated use of formal means of description. Based on this approach the basic terms and definitions of control technology can be formally described. A standardized and well defined vocabulary is the basis for subsequently defined concepts and models. The methodical approach outlined in this work is applied to the formalization of a concept system of the dependability of technical systems. The individual concepts will be identified and integrated into a network structure by means of semantic relations. Equivalent designations for identical concepts can be identified and the currently existing frequent use of synonyms can be avoided. This helps to overcome the existing problems and to improve communication across different domains. As language is a complex phenomenon tool support is of utmost importance. This work lays the basis for a terminology management system which can model various facets of language and thus goes far beyond the scope and expressiveness of currently existing terminology management systems. The terminology management system introduced allows for the distributed and collaborative development of a terminology in standardization as well as in industrial applications