Synchronisation of Model Visualisation and Code Generation Based on Model Transformation

The development, maintenance and documentation of complex systems is commonly supported by model-driven approaches where system properties are captured by visual models at different layers of abstraction and from different perspectives as proposed by the Object Management Group (OMG) and its model-driven architecture. Generally, a model is a concrete view on the system from a specific perspective in a particular domain. We focus on visual models in the form of diagrams and whose syntax is defined by domain-specific modelling languages (DSLs). Different models may represent different views on a system, i.e., they may be linked to each other by sharing a common set of information. Therefore, models that are expressed in one DSL may be transformed to interlinked models in other DSLs and furthermore, model updates may be synchronised between different domains. Concretely, this thesis presents the transformation and synchronisation of source code (abstract syntax trees, ASTs) written in the Satellite-Procedure & Execution Language (SPELL) to flow charts (code visualisation) and vice versa (code generation) as the result of an industrial case study. The transformation and synchronisation are performed based on existing approaches for model transformations and synchronisations between two domains in the theoretic framework of graph transformation where models are represented by graphs. Furthermore, extensions to existing approaches are presented for treating non-determinism in concurrent model synchronisations. Finally, the existing results for model transformations and synchronisations between two domains are lifted to the more general case of an arbitrary number of domains or models containing views, i.e., a model in one domain may be transformed to models in several domains or to all other views, respectively, and model updates in one domain may be synchronised to several other domains or to all other views, respectively

Devisenmarktinterventionen in Theorie und Praxis

Die Arbeit stellt zunächst das Interventionsverhalten der Notenbanken seit 1973 und die zugrundeliegenden Eingriffsgründe dar. Daran schließt sich eine umfangreiche theoretische und empirische Analyse der Interventionswirkungen an. Zielsetzung der Studie ist es, die bereits vorliegenden Untersuchungsergebnisse zu bündeln und zu einem Urteil darüber zu kommen, in welchen Situationen Interventionen wirksam und sinnvoll sein können. Dazu wird auch das Verhalten der Devisenmarktteilnehmer und die Effizienz des Devisenmarktes zusammenfassend betrachtet. Auf der Basis sowohl theoretischer Analyse als auch empirischer Beobachtungen kommt die Arbeit zu dem Schluß, daß Interventionen sehr kurzfristig Erwartungen der Devisenmarktteilnehmer beeinflussen können. Dieser Einfluß ist jedoch von vielen Faktoren, u.a. der Glaubwürdigkeit der Notenbank, abhängig

Die OECD und die Bildungsplanung der freien Welt: Denkstile und Netzwerke einer internationalen Bildungsexpertise

Durch Instrumente wie PISA erlangte und erhielt die OECD die Autorität, über Erfolg und Scheitern nationalstaatlicher Bildungspolitiken zu urteilen. Die Autorin beleuchtet aus historischer Perspektive die Denkstile und Netzwerke, mittels derer diese internationale - vornehmlich wirtschaftspolitische - Organisation zu einer Bildungsexpertin avancieren konnte. Basierend auf vielfältigem Quellenmaterial dringt sie in das Räderwerk der Organisation vor und identifiziert Schlüsseleigenschaften des OECD-Erfolgs

Devisenmarktinterventionen in Theorie und Praxis

Die Arbeit stellt zunächst das Interventionsverhalten der Notenbanken seit 1973 und die zugrundeliegenden Eingriffsgründe dar. Daran schließt sich eine umfangreiche theoretische und empirische Analyse der Interventionswirkungen an. Zielsetzung der Studie ist es, die bereits vorliegenden Untersuchungsergebnisse zu bündeln und zu einem Urteil darüber zu kommen, in welchen Situationen Interventionen wirksam und sinnvoll sein können. Dazu wird auch das Verhalten der Devisenmarktteilnehmer und die Effizienz des Devisenmarktes zusammenfassend betrachtet. Auf der Basis sowohl theoretischer Analyse als auch empirischer Beobachtungen kommt die Arbeit zu dem Schluß, daß Interventionen sehr kurzfristig Erwartungen der Devisenmarktteilnehmer beeinflussen können. Dieser Einfluß ist jedoch von vielen Faktoren, u.a. der Glaubwürdigkeit der Notenbank, abhängig

A framework for analyzing changes in health care lexicons and nomenclatures

Ontologies play a crucial role in current web-based biomedical applications for capturing contextual knowledge in the domain of life sciences. Many of the so-called bio-ontologies and controlled vocabularies are known to be seriously defective from both terminological and ontological perspectives, and do not sufficiently comply with the standards to be considered formai ontologies. Therefore, they are continuously evolving in order to fix the problems and provide valid knowledge. Moreover, many problems in ontology evolution often originate from incomplete knowledge about the given domain. As our knowledge improves, the related definitions in the ontologies will be altered. This problem is inadequately addressed by available tools and algorithms, mostly due to the lack of suitable knowledge representation formalisms to deal with temporal abstract notations, and the overreliance on human factors. Also most of the current approaches have been focused on changes within the internal structure of ontologies, and interactions with other existing ontologies have been widely neglected. In this research, alter revealing and classifying some of the common alterations in a number of popular biomedical ontologies, we present a novel agent-based framework, RLR (Represent, Legitimate, and Reproduce), to semi-automatically manage the evolution of bio-ontologies, with emphasis on the FungalWeb Ontology, with minimal human intervention. RLR assists and guides ontology engineers through the change management process in general, and aids in tracking and representing the changes, particularly through the use of category theory. Category theory has been used as a mathematical vehicle for modeling changes in ontologies and representing agents' interactions, independent of any specific choice of ontology language or particular implementation. We have also employed rule-based hierarchical graph transformation techniques to propose a more specific semantics for analyzing ontological changes and transformations between different versions of an ontology, as well as tracking the effects of a change in different levels of abstractions. Thus, the RLR framework enables one to manage changes in ontologies, not as standalone artifacts in isolation, but in contact with other ontologies in an openly distributed semantic web environment. The emphasis upon the generality and abstractness makes RLR more feasible in the multi-disciplinary domain of biomedical Ontology change management

Rhetorik der Revolution: John Witherspoon und die ciceronianische Redekunst im Spannungsfeld des christlich-theistischen und säkular-zivistischen Humanismus

Der 1723 in Schottland geborene und 1794 in Princeton, New Jersey, verstorbene John Witherspoon hat eine Sonderstellung in der amerikanischen Kulturgeschichte, denn er gilt als Urheber der "ersten umfassenden amerikanischen Rhetorik". Diese konstituiert sich im Wesentlichen in seinen Lectures on Eloquence, seinen Lectures on Moral Philosophy sowie seiner politischen und homiletischen Redepraxis im Kontext der amerikanischen Revolution (1763-1789). Die vorliegende Studie untersucht die historiographisch-kulturwissenschaftliche Bedeutung dieses einflussreichen, fast vergessenen Gründervaters und seiner produktiven Rezeption (imitatio atque aemulatio) ciceronianisch-republikanischer Rhetorik. Im Zentrum steht die Frage nach Witherspoons imitatio Ciceronis und inwieweit diese für den Calvinisten mit der imitatio Christi im revolutionären Prozess vereinbar war. Tatsächlich zeigt sich bei der Untersuchung ein fundamentaler Habitus-Konflikt zwischen dem ursprünglich polytheistisch und republikanisch orientierten Ciceronianus und dem monotheistischen zur Monarchie tendierenden Christianus. Dieser Konflikt erklärt zum Teil die erheblichen Diskrepanzen zwischen Witherspoons rhetorischer Praxis und Lehre. Diese beziehen sich insbesondere auf die rhetorische inventio, die Witherspoon in seinen Vorlesungen als der Lehre nicht würdig erachtet. In seinen Reden nutzt er jedoch inventive Techniken wie die Status- und Chrienlehre zur effektiven Strukturierung. Dies wird anhand von drei bedeutsamen Reden verdeutlicht (The Dominion of Providence Over the Passions of Men, "Speech on the Convention with Burgoyne" und "Sermon Delivered at a Public Thanksgiving After Peace"). Von großer Bedeutung ist die dezidierte Hochschätzung des agonistischen ciceronianischen Rednerideals. Dieses Leitbild spielt im Prozess der Konstituierung der jungen amerikanischen Republik eine vitale Rolle und taucht insbesondere als republikanische Leidenschaft auf, die Witherspoons Anverwandlung der Catilinarien Ciceros zugrunde liegt. Andererseits findet sich das Festhalten an streng konservativ-calvinistischen Prinzipien. Auch im Bereich der Rhetorik bestätigt sich daher das als "doppelköpfig" erkannte Antlitz Amerikas, insofern heidnische und christliche Tradition eine besondere Verbindung eingehen. Witherspoon konnte, als erster akademischer Vertreter des Common-Sense-Realismus in Amerika, die sich ergebenden Spannungen zwar nicht lösen, aber offenbar mit seiner proto-pragmatistischen Philosophie verdecken. Um ein besseres Verständnis der Stellung der ciceronianischen Rhetorik bei Witherspoon zu ermöglichen, wird sie auf dem Hintergrund tiefgreifender neuzeitlicher Humanismen wie des christlichen Humanismus und des Bürgerhumanismus rekonstruiert und im Bildungshorizont der "Neuen Rhetorik" des 18. Jahrhunderts gesehen. Mit diesen Paradigmen lässt sich die Rhetorik des Princetoner Professors als zivistisch-theistische Variante gegenüber der belletristisch-theistischen Ausprägung des Schotten Hugh Blair und der zivistisch-deistischen Entwicklung Thomas Jeffersons abgrenzen.John Witherspoon, who was born in Scotland in 1723 and died in Princeton, New Jersey, in 1794, has an exceptional position in American cultural history. He has been credited with being the author of "the first complete American rhetoric" which is essentially constituted by his Lectures on Eloquence and Lectures on Moral Philosophy as well as his political and homiletic practice of oratory in the context of the American Revolution (1763-1789). This study explores the significance of the influential, nearly forgotten founding father, and his productive reception (imitatio atque aemulatio) of Ciceronian, republican rhetoric in the focus of historiography and cultural theory. At the center of this study lies the question of to what degree Witherspoon's imitatio Ciceronis was compatible with his imitatio Christi while he was a Calvinist involved in the revolutionary process. In fact, the analysis shows a fundamental conflict of habitus between an originally polytheistic and republican-oriented Ciceronianus and a monotheistic Christianus leaning towards monarchy. This conflict partially explains the drastic discrepancies between Witherspoon's oratorical practice and his teachings. In particular, this relates to the rhetorical inventio which is regarded as not worthy of being taught in his lectures. However, in his speeches he uses inventive techniques such as the system of status and the Chria for effective composition. This is depicted in the analysis of three significant speeches (The Dominion of Providence Over the Passions of Men, "Speech on the Convention with Burgoyne" and "Sermon Delivered at a Public Thanksgiving After Peace"). Of important significance is the highly admired agonistic Ciceronian ideal of the orator. This model plays a vital role in the establishment of the young American Republic, and appears in particular as republican passion providing the basis for Witherspoon's adaptation (Anverwandlung) of Cicero's speeches against Catilina. On the other hand, he holds on to highly conservative Calvinistic principles. What has been recognized as "the Janus-faced" characteristic of America, the pagan and Christian tradition joined in a special coalition, is also confirmed in the field of rhetoric. Being the first academic representative of common sense realism in America, Witherspoon could not resolve the resulting tensions, but he was able to conceal them with his proto-pragmatist philosophy. In order to better understand the position Ciceronian rhetoric assumes in Witherspoon's work, it is reconstructed on the background of profound humanisms of the early modern era such as Christian humanism and civic humanism and seen in the educational context (Bildungshorizont) of the "New Rhetoric" of the 18th century. Applying these paradigms, the Princeton professor's rhetoric can be differentiated as a civic-theistic variant in comparison to the belletristic-theistic manifestation of the Scotsman Hugh Blair and Thomas Jefferson's civic-deistic development of rhetoric

Automated Reasoning

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book

Modenetze - Modeschwärme: Kleidungskulturen ohne zentrale Akteure

Modemacher*innen, Designer*innen, Influencer*innen, Medien, Subkulturen - noch immer wird die Verantwortung für den modischen Wandel bei zentralen Schlüsselfiguren gesucht. Doch die Gatekeeper*innen der Vergangenheit haben viel von ihrer Definitionsmacht verloren. Was also treibt Moden gegenwärtig voran? Die Initiative scheint auf eine große Zahl Einzelner übergegangen, deren Vielfalt vestimentäre Kulturen hervorbringt, die sich als räumliche Modenetze und zeitliche Modeschwärme beschreiben lassen. Anna Kamneva-Wortmann bietet eine neue Perspektive auf die modische Demokratisierung und behauptet: Kleidermoden entstehen und verschwinden heute "bottom-up"