Entwicklung und Bewertung zeitkritischer Softwaremodelle

In der vorliegenden Arbeit wird eine Technik vorgestellt, die Software bereits aufgrund ihrer Modellbeschreibung in ihrem zeitlichen Verhalten bewertbar macht. Dazu wird eine Technik zur Beschreibung dynamischer Ausführungsmodelle für Zeitverhalten, sogenannte dynamische Performanz-Modelle, eingeführt. Ein Modellierungtechnik für Umgebungen wird beschrieben. Schließlich erlaubt die Definition einer zeitbehafteten Semantik die Bewertung einzelner Bearbeitungsabläufe. Mittels einer Petrinetzsemantik wird einerseits das Modellverhalten exakt festgelegt und andererseits ein Wohlgeformtheitsbegriff eingeführt, der einer späteren Werkzeugimplementierung dient. Die vorteilhaften technischen Eigenschaften dieses Entwurfes erlauben zudem eine Übersetzung aus UML-Aktivitätsdiagrammen. Anhand der Bewertung einzelner Abläufe wird das zeitliche Verhalten eines dynamischen Modells analysiert. Diese einzelnen Abläufe, sogenannte Szenarien, werden durch das Werkzeug bewertet. Jeweils ein Tripel aus einem dynamischen Modell, einem Szenario und einer passenden Umgebung läßt sich mit einen Zeitwert bewerten. Dynamischer Modelle können direkt aus UML-Aktivitätsdiagrammen erzeugt werden. Szenarien können graphisch editiert und Last- und Ressourcenmodellen aus Meßwerttabellen generiert werden. Die ermittelten Zeitwerte können dann graphisch aufbereitet und zur Beurteilung der dynamischen Eigenschaften herangezogen werden. Die hier entwickelten Modelle und eingesetzten formalen Spezifikationstechniken werden in der Werkzeugstudie vollständig gekapselt und müssen vom Werkzeuganwender nicht beherrscht werden. Somit stellt diese Arbeit auch ein Musterbeispiel für den Software-Entwurf unter Einbeziehung formaler Methoden dar.This book introduces a new technology to access performance properties of software based on its design artifacts. A technology of description of performance models and a technique of environment description is introduced. Finally time assessment of single runs is defined by a time semantics. A Petri nets semantics is introduced to grant a specific dynamic behaviour at one hand, and on the other hand the semantics grants a well formedness that is helpful for a later tool implementation. The advantageous semantics design allows a translation from UML activity graphs. One analyses temporal behaviour by assessment of distinct runs of the dynamic model. These runs are called \textit{scenarios} and are evaluated in a simulation environment. Each tuple of a dynamic model, a scenario and an simulation environment defines a distinct execution time. Dynamic performance models can be translated direct from UML activity diagrams. Scenarios cab be developed graphically. Load and ressource models can be generated based on measurement tables. Obtained results can be edited graphically and can be utilised for the assessment of the models dynamic behaviour. All models introduced in this approach are completely capsuled by the toolbench case study and need not to be handled by the user. Hence this approach represents also a paradigm for a modern software enigineering utilising formal methods

Fragen der theoretischen Physik und Kosmologie auf erkenntnistheoretischer Basis

Band 1 leitet eine Reihe von bisher unveröffentlichten Arbeiten des Physikers Helmut Zschörner ein, die sich mit grundlegenden Fragen der Erkenntnistheorie, Physik und Kosmologie befassen und zum grössten Teil in den 80er Jahren entstanden. Sie beruhen auf einer Theorie universeller und determinierbarer Systeme, die vom Autor mit Hilfe der Methode der reinen und vollständigen Deduktion erarbeitet wurde. Diese Theorie wird in den fol-genden Bänden 2 und 3 vorgestellt. Für die Deutung der Entstehung und des Zustandes der materiellen Welt ergeben sich daraus faszinierende neuartige Einsichten, die zum Teil im eklatanten Widerspruch zu aktuellen Deutungen der theoretischen Physik stehen oder – wie im Fall der Relativitätstheorie – ergänzend darüber hinaus führen. Für diesen Band wurden drei spezielle Aufsätze als Auftakt für die geschlossene Darstellung der Theorie universeller und determinierbarer Systeme in den folgenden Bänden 2 und 3 ausgewählt. Es handelt sich um Ausführungen zur Vakuum-Lichtgeschwindigkeit, zur Theorie von Elementarobjekten (vom Autor als Neutrinos definiert) als Grundlage des materiellen Universums und - darauf aufbauend – zur Herkunft und Wirkung der Gravitation. Dabei werden Fragen nach der Art des „Urknalls“, nach der Entstehung der 3K-Hintergrundstrahlung und der einheitlichen Deutung aller physikalischen Wechselwirkungen angesprochen. U. a. ergibt sich aus der Theorie der Ausdehnung des Universums und aus der deduktiv abgeleiteten Zunahme der Vakuum-Lichtgeschwindigkeit mit der Zeit eine beschleunigte Ausdehnung des Universums, ohne dass dunkle Energie postuliert werden muss. Dieser Befund wurde rund 10 Jahre nach der Entstehung der Aufsätze durch astronomische Beobachtungen bestätigt. Die Aufsätze mögen als Motivation zur weiteren Beschäftigung mit den Arbeiten Helmut Zschörners dienen, die in der anhängenden Dokumentation vom Autor kurz beschrieben werden. Die Auswahl der in diesem Band vereinten sechs Aufsätze Helmut Zschörners ist vor allem bedingt durch die Verfügbarkeit reproduzierbarer Manuskripte, die sich im engeren und weiteren Sinn mit Fragen der Physik befassen. Die Arbeiten kreisen um Fragen der Interpretation der Relativitätstheorie und ihrer Erweiterung. Die Hypothese der Dunkelmaterie wird als fundamentales Denkproblem identifiziert. Die Anwendung der ihrem Charakter nach nicht-objektiven Mathematik auf das objektive materielle Universum wird kritisch diskutiert. Und es wird gefragt woher die Naturgesetze kommen, welche Bedeutung sie für die geistige Existenz des Menschen haben und wie sich durch Vor-Urteile belastetes axiomatisches Denken in den Naturwissenschaften aus-wirkt

Integrative (Synchronisations-)Mechanismen der (Neuro-)Kognition vor dem Hintergrund des (Neo-)Konnektionismus, der Theorie der nichtlinearen dynamischen Systeme, der Informationstheorie und des Selbstorganisationsparadigmas

Der Gegenstand der vorliegenden Arbeit besteht darin, aufbauend auf dem (Haupt-)Thema, der Darlegung und Untersuchung der Lösung des Bindungsproblems anhand von temporalen integrativen (Synchronisations-)Mechanismen im Rahmen der kognitiven (Neuro-)Architekturen im (Neo-)Konnektionismus mit Bezug auf die Wahrnehmungs- und Sprachkognition, vor allem mit Bezug auf die dabei auftretende Kompositionalitäts- und Systematizitätsproblematik, die Konstruktion einer noch zu entwickelnden integrativen Theorie der (Neuro-)Kognition zu skizzie-ren, auf der Basis des Repräsentationsformats einer sog. „vektoriellen Form“, u.z. vor dem Hintergrund des (Neo-)Konnektionismus, der Theorie der nichtlinearen dynamischen Systeme, der Informationstheorie und des Selbstorganisations-Paradigmas