Refine
Year of publication
- 2017 (20) (remove)
Document Type
- Monograph/Edited Volume (20) (remove)
Language
- English (20) (remove)
Is part of the Bibliography
- yes (20)
Keywords
- Graphtransformationen (2)
- Graphtransformationssysteme (2)
- graph constraints (2)
- graph transformation (2)
- Abhängigkeiten (1)
- Bisimulation (1)
- Cloud-Sicherheit (1)
- Cloud-Speicher (1)
- Debugging (1)
- Erfüllbarkeitsanalyse (1)
Institute
- Hasso-Plattner-Institut für Digital Engineering gGmbH (6)
- Sozialwissenschaften (6)
- Institut für Romanistik (2)
- Department Erziehungswissenschaft (1)
- Fakultät für Gesundheitswissenschaften (1)
- Hasso-Plattner-Institut für Digital Engineering GmbH (1)
- Institut für Anglistik und Amerikanistik (1)
- Institut für Biochemie und Biologie (1)
- Institut für Umweltwissenschaften und Geographie (1)
- Öffentliches Recht (1)
Americans in Berlin
(2017)
The correctness of model transformations is a crucial element for model-driven engineering of high quality software. In particular, behavior preservation is the most important correctness property avoiding the introduction of semantic errors during the model-driven engineering process. Behavior preservation verification techniques either show that specific properties are preserved, or more generally and complex, they show some kind of behavioral equivalence or refinement between source and target model of the transformation. Both kinds of behavior preservation verification goals have been presented with automatic tool support for the instance level, i.e. for a given source and target model specified by the model transformation. However, up until now there is no automatic verification approach available at the transformation level, i.e. for all source and target models specified by the model transformation.
In this report, we extend our results presented in [27] and outline a new sophisticated approach for the automatic verification of behavior preservation captured by bisimulation resp. simulation for model transformations specified by triple graph grammars and semantic definitions given by graph transformation rules. In particular, we show that the behavior preservation problem can be reduced to invariant checking for graph transformation and that the resulting checking problem can be addressed by our own invariant checker even for a complex example where a sequence chart is transformed into communicating automata. We further discuss today's limitations of invariant checking for graph transformation and motivate further lines of future work in this direction.
This volume Boundaries of Inclusion and Exclusion examines the many different and newly emerging ways in which citizenship refers to spatial, symbolic and social boundaries. Today, in the context of citizenship we face processes of inclusion and exclusion on national and supranational level but no less on the level of groups and individuals. The book addresses these different levels and discusses processes of inclusion and exclusion with regard to spatial, social and symbolic boundaries referring to such different problems as political participation, migration, or identity with regard to religion or the EU. This book will appeal to academics working in the field of political theory, political sociology and European studies.
Drug target miRNA
(2017)
This volume provides a concise and technical discussion of recently developed approaches to overcome challenges in miRNA drug discovery. Drug Target miRNA: Methods and Protocols explores strategies to overcome pharmacodynamics and pharmacokinetics challenges. These strategies cover anti-sense agents targeting miRNA that are applied in advanced formulations or are chemically optimized to increase delivery; small molecule miRNA modulators to overcome anti-sense agents’ limitations; general enhancers of miRNA maturation; and Argonaute 2 protein and its pharmacokinetic parameters. Written in the highly successful Methods in Molecular Biology series format, chapters include introductions to their respective topics, lists of the necessary materials and reagents, step-by-step, readily reproducible laboratory protocols, and tips on troubleshooting and avoiding known pitfalls.Cutting-edge and thorough, Drug Target miRNA: Methods and Protocols is a valuable resource for anyone interested in the ever-evolving field of miRNA drug discovery.
Ecology of Affect
(2017)
The way we conceive the human today is particularly affected by the shifts in media technology during the 20th century. Affect emerges as the new liminal concept that renders the body compatible in novel ways with the technology and politics of media. By ways of a relational reorganization the organic end technological life is condensed in a new, intense way to an ecology of affects.
Humanizing the Laws of War
(2017)
Over the past 150 years, the International Committee of the Red Cross (ICRC) has been one of the main drivers of progressive development in international humanitarian law, whilst assuming various roles in the humanization of the laws of war. With select contributions from international experts, this book critically assesses the ICRC's unique influence in international norm creation. It provides a detailed analysis of the workings of the International Red Cross, Red Crescent Movement and ICRC by addressing the milestone achievements as well as the failures, shortcomings and controversies over time. Crucially, the contributions highlight the lessons to be learnt for future challenges in the development of international humanitarian law. This book will be of particular interest to scholars and students of international law, but also to practitioners working in the field of international humanitarian law at both governmental and non-governmental organizations
Developing large software projects is a complicated task and can be demanding for developers. Continuous integration is common practice for reducing complexity. By integrating and testing changes often, changesets are kept small and therefore easily comprehensible. Travis CI is a service that offers continuous integration and continuous deployment in the cloud. Software projects are build, tested, and deployed using the Travis CI infrastructure without interrupting the development process. This report describes how Travis CI works, presents how time-driven, periodic building is implemented as well as how CI data visualization can be done, and proposes a way of dealing with dependency problems.
While offering significant expressive power, graph transformation systems often come with rather limited capabilities for automated analysis, particularly if systems with many possible initial graphs and large or infinite state spaces are concerned. One approach that tries to overcome these limitations is inductive invariant checking. However, the verification of inductive invariants often requires extensive knowledge about the system in question and faces the approach-inherent challenges of locality and lack of context.
To address that, this report discusses k-inductive invariant checking for graph transformation systems as a generalization of inductive invariants. The additional context acquired by taking multiple (k) steps into account is the key difference to inductive invariant checking and is often enough to establish the desired invariants without requiring the iterative development of additional properties.
To analyze possibly infinite systems in a finite fashion, we introduce a symbolic encoding for transformation traces using a restricted form of nested application conditions. As its central contribution, this report then presents a formal approach and algorithm to verify graph constraints as k-inductive invariants. We prove the approach's correctness and demonstrate its applicability by means of several examples evaluated with a prototypical implementation of our algorithm.
Innerhalb der USA gilt New Orleans seit jeher als die „unamerikanischste“ Stadt, als exotisch und anders, gar als „sozio-geographischer Unfall“. Hier überkreuzen sich nicht nur die Einflüsse verschiedener Kolonialkulturen, sondern auch die Routen des atlantischen Sklavenhandels und der asiatischen Arbeitsmigration und nicht zuletzt die ideellen wie materiellen Transferbewegungen zwischen den beiden Amerikas.
Der vorliegende Band macht es sich zur Aufgabe, diese vielfältigen transarealen Zirkulationsprozesse zu analysieren und das Potential New Orleans' zur paradigmatischen Metropole des Globalen Südens auszuloten. Im Fokus stehen verschiedene Formen der kulturellen Kreolisierung, wie sie sich in der Sprache, der Literatur, der Musik, aber auch in Alltagsphänomen wie dem Karneval oder Computerspielen manifestieren.
Within the USA, New Orleans has long been considered the ‘un-American’ city, seen as exotic and different, even as a ‘socio-geographical accident’. It is a crossroads not only for the influences of different colonial cultures but also for the routes of the Atlantic slave trade and immigration of Asian workers, and not least for material and non-material transfer between the two Americas. This volume seeks to analyse these manifold transareal circulation processes and to explore New Orleans’s potential as a paradigmatic metropolis of the Global South. The focus is on different forms of creolisation as manifested in language, literature and music, but also in everyday phenomena such as Carnival or computer games.