TY - THES A1 - Sójka, Pia T1 - Writing travel, writing life T1 - Reisen schreiben Leben T1 - Écriture, le voyage ou la vie BT - Ars Vivendi and the travelling narrations of Ella Maillart, Annemarie Schwarzenbach and Nicolas Bouvier BT - Ars Vivendi und die reisenden Erzählungen von Ella Maillart, Annemarie Schwarzenbach und Nicolas Bouvier BT - Ars Vivendi et les narrations itinérantes d'Ella Maillart, Annemarie Schwarzenbach et Nicolas Bouvier N2 - The book compares the texts of three Swiss authors: Ella Maillart, Annemarie Schwarzenbach and Nicolas Bouvier. The focus is on their trip from Genève to Kabul that Ella Maillart and Annemarie Schwarzenbach made together in 1939/1940 and Nicolas Bouvier 1953/1954 with the artist Thierry Vernet. The comparison shows the strong connection between the journey and life and between ars vivendi and travel literature. This book also gives an overview of and organises the numerous terms, genres, and categories that already exist to describe various travel texts and proposes the new term travelling narration. The travelling narration looks at the text from a narratological perspective that distinguishes the author, narrator, and protagonist within the narration. In the examination, ten motifs could be found to characterise the travelling narration: Culture, Crossing Borders, Freedom, Time and Space, the Aesthetics of Landscapes, Writing and Reading, the Self and/as the Other, Home, Religion and Spirituality as well as the Journey. The importance of each individual motif does not only apply in the 1930s or 1950s but also transmits important findings for living together today and in the future. N2 - Das Buch vergleicht die Texte von drei Schweizer Autoren: Ella Maillart, Annemarie Schwarzenbach und Nicolas Bouvier. Im Mittelpunkt steht die Reise von Genève nach Kabul, die Ella Maillart gemeinsam mit Annemarie Schwarzenbach 1939/1940 und Nicolas Bouvier 1953/1954 mit dem Künstler Thierry Vernet unternahmen. Der Vergleich zeigt die enge Verbindung zwischen der Reise und dem Leben sowie zwischen ars vivendi und Reiseliteratur. Das Buch gibt einen Überblick über die zahlreichen Begriffe, Gattungen und Kategorien, die bereits zur Beschreibung verschiedener Reisetexte existieren, und schlägt den neuen Begriff der reisenden Erzählung „travelling narration“ vor. Die reisende Erzählung betrachtet den Text aus einer narratologischen Perspektive, die den Autor, Erzähler und Protagonisten innerhalb der Erzählung unterscheidet. In der Untersuchung konnten zehn Motive gefunden werden, die die reisende Erzählung charakterisieren: Kultur, Grenzüberschreitung, Freiheit, Zeit und Raum, Ästhetik der Landschaft, Schreiben und Lesen, das Selbst und / oder der Andere, Heimat, Religion und Spiritualität sowie die Reise. Die Bedeutung jedes einzelnen Motivs gilt nicht nur für die 1930er oder 1950er Jahre, sondern vermittelt auch wichtige Erkenntnisse für das Zusammenleben heute und in der Zukunft. N2 - Le livre compare les textes de trois auteurs suisses : Ella Maillart, Annemarie Schwarzenbach et Nicolas Bouvier. L'accent est mis sur le voyage de Genève à Kaboul qu'Ella Maillart et Annemarie Schwarzenbach ont effectué ensemble en 1939/1940 et Nicolas Bouvier 1953/1954 avec l'artiste Thierry Vernet. La comparaison montre le lien fort entre le voyage et la vie et entre l'ars vivendi et la littérature de voyage. Ce livre donne également un aperçu et organise les nombreux termes, genres et catégories qui existent déjà pour décrire les différents textes de voyage et propose le nouveau terme narration itinérante „travelling literature“. La narration itinérante examine le texte dans une perspective narratologique qui distingue l'auteur, le narrateur et le protagoniste au sein de la narration. Au cours de l'examen, dix motifs ont été trouvés pour caractériser le récit de voyage : La culture, la traversée des frontières, la liberté, le temps et l'espace, l'esthétique des paysages, l'écriture et la lecture, le soi et l'autre, la maison, la religion et la spiritualité ainsi que le voyage. L'importance de chaque motif individuel ne s'applique pas seulement aux années 1930 ou 1950, mais transmet également des conclusions importantes pour le vivre ensemble aujourd'hui et à l'avenir. T3 - Potsdamer Bibliothek der WeltRegionen (PoWeR) - 5 KW - travel literature KW - récit de voyage KW - Reiseliteratur KW - Ella Maillart KW - Ella Maillart KW - Ella Maillart KW - Nicolas Bouvier KW - Nicolas Bouvier KW - Nicolas Bouvier KW - Annemarie Schwarzenbach KW - Annemarie Schwarzenbach KW - Annemarie Schwarzenbach KW - art of life KW - Lebenskunst KW - savoir vivre Y1 - 2022 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-558799 SN - 978-3-86956-537-8 SN - 2629-2548 SN - 2629-253X PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - CHAP A1 - Zimmermann, Andreas A1 - Geiß, Robin ED - Ambos, Kai T1 - Article 8 Paras. 2(c)–(f) and 3: War crimes committed in an armed conflict not of an international character T2 - Rome statute of the International Criminal Court Y1 - 2022 SN - 978-3-406-74384-9 SN - 978-3-406-77926-8 SN - 978-1-5099-4405-7 SN - 978-3-8487-7648-1 SP - 837 EP - 1048 PB - C.H. Beck CY - München ET - 4 ER - TY - JOUR A1 - Zimmermann, Andreas A1 - Schabedoth, John Alexander T1 - Domestic and international criminal justice BT - challenges ahead JF - KFG working paper series N2 - This paper consists of two parts: In the first part, some of the challenges with which the Internationaal Criminal Court is currently confronted are being presented. First of all, the article will describe the current state of the International Criminal Court and the Rome Statue. Afterwards, the article analyses the Court’s efforts to deal with cases against third-country nationals and the challenges it is facing in that regard. In addition, the Court’s case law will be analyzed in order to determine an increasing ‘emancipation’ of the case law of the International Criminal Court from international humanitarian law. The second part of the paper will briefly discuss the role of domestic international criminal law and domestic courts in the further development and enforcement of international criminal law. As an example of the role that domestic courts may have in clarifying classic issues in international law, the judgment of the German Supreme Court of January 28, 2021 (3 StR 564/19), which deals with the status of costumary international law on functional immunity of State officials before domestic courts, shall be assessed. Y1 - 2022 U6 - https://doi.org/10.2139/ssrn.4087189 SN - 2509-3762 SN - 2509-3770 IS - 57 PB - Berlin Potsdam Research Group International Law - Rise or Decline? CY - Berlin ER - TY - CHAP A1 - Zimmermann, Andreas A1 - Geiß, Robin ED - Ambos, Kai T1 - Article 8 Para. 2(b)(xvi): Pillage T2 - Rome statute of the International Criminal Court Y1 - 2022 SN - 978-3-406-74384-9 SN - 978-3-406-77926-8 SN - 978-1-5099-4405-7 SN - 978-3-8487-7648-1 SP - 539 EP - 554 PB - C.H. Beck CY - München ET - Fourth edition ER - TY - CHAP A1 - Gronau, Norbert A1 - Weber, Edzard A1 - Wander, Paul A1 - Ullrich, André ED - Plapper, Peter T1 - A regional remanufacturing network approach BT - modeling and simulation of circular economy processes in the era of industry 4.0 T2 - Digitization of the work environment for sustainable production N2 - Manufacturing companies still have relatively few points of contact with the circular economy. Especially, extending life time of whole products or parts via remanufacturing is an promising approach to reduce waste. However, necessary cost-efficient assessment of the condition of the individual parts is challenging and assessment procedures are technically complex (e.g., scanning and testing procedures). Furthermore, these assessment procedures are usually only available after the disassembly process has been completed. This is where conceptualization, data acquisition and simulation of remanufacturing processes can help. One major constraining aspect of remanufacturing is reducing logistic efforts, since these also have negative external effects on the environment. Thus regionalization is an additional but in the end consequential challenge for remanufacturing. This article aims to fill a gap by providing an regional remanufacturing approach, in particular the design of local remanufacturing chains. Thereby, further focus lies on modeling and simulating alternative courses of action, including feasibility study and eco-nomic assessment. KW - regional network KW - remanufacturing KW - scenario modeling Y1 - 2022 SN - 978-3-95545-407-4 U6 - https://doi.org/10.30844/WGAB_2022_8 SP - 145 EP - 170 PB - GITO Verlag CY - Berlin ER - TY - CHAP A1 - Zimmermann, Andreas A1 - Freiburg-Braun, Elisa ED - Ambos, Kai T1 - Article 15ter Exercise of jurisdiction over the crime of aggression (Security Council referral) T2 - Rome statute of the International Criminal Court Y1 - 2022 SN - 978-3-406-77926-8 SN - 978-3-406-74384-9 SN - 978-1-5099-4405-7 SN - 978-3-8487-7648-1 U6 - https://doi.org/10.17104/9783406779268-927 SP - 927 EP - 932 PB - Beck CY - München ET - Fourth ER - TY - CHAP A1 - Zimmermann, Andreas ED - Ambos, Kai T1 - Article 15bis. Exercise of jurisdiction over the crime of aggression (State referral, proprio motu) T2 - Rome statute of the International Criminal Court Y1 - 2022 SN - 978-3-406-77926-8 SN - 978-3-406-74384-9 SN - 978-1-5099-4405-7 SN - 978-3-8487-7648-1 U6 - https://doi.org/10.17104/9783406779268-899 SP - 899 EP - 926 PB - Beck CY - München ET - Fourth ER - TY - CHAP A1 - Zimmermann, Andreas A1 - Freiburg-Braun, Elisa ED - Ambos, Kai T1 - Article 8bis Crime of aggression T2 - Rome statute of the International Criminal Court Y1 - 2022 SN - 978-3-406-77926-8 SN - 978-3-406-74384-9 SN - 978-1-5099-4405-7 SN - 978-3-8487-7648-1 U6 - https://doi.org/10.17104/9783406779268-686 SP - 686 EP - 726 PB - Beck CY - München ET - Fourth ER - TY - CHAP A1 - Zimmermann, Andreas A1 - Geiß, Robin ED - Ambos, Kai T1 - Article 8 Para. 2(b)(x): Prohibition of physical mutilation T2 - Rome statute of the International Criminal Court Y1 - 2022 SN - 978-3-406-74384-9 SN - 978-3-406-77926-8 SN - 978-1-5099-4405-7 SN - 978-3-8487-7648-1 SP - 419 EP - 436 PB - Beck CY - München ET - 4 ER - TY - CHAP A1 - Zimmermann, Andreas A1 - Geiß, Robin ED - Ambos, Kai T1 - Article 8 Para. 2(b)(xiii): Prohibited destruction T2 - Rome statute of the International Criminal Court Y1 - 2022 SN - 978-3-406-74384-9 SN - 978-3-406-77926-8 SN - 978-1-5099-4405-7 SN - 978-3-8487-7648-1 SP - 474 EP - 503 PB - Beck CY - München ET - 4 ER - TY - CHAP A1 - Zimmermann, Andreas ED - Ambos, Kai T1 - Article 5 Crimes within the jurisdiction of the Court T2 - Rome statute of the International Criminal Court Y1 - 2022 SN - 978-3-406-74384-9 SN - 978-3-406-77926-8 SN - 978-1-5099-4405-7 SP - 107 EP - 116 PB - Beck CY - München ET - Fourth ER - TY - CHAP A1 - Zimmermann, Andreas ED - Ambos, Kai T1 - Article 124 Transitional provision T2 - Rome statute of the International Criminal Court Y1 - 2022 SN - 978-3-406-77926-8 SN - 978-3-406-74384-9 SN - 978-1-5099-4405-7 SN - 978-3-8487-7648-1 SP - 2905 EP - 2914 PB - Beck CY - München ET - Fourth ER - TY - RPRT A1 - Kalkuhl, Matthias A1 - Flachsland, Christian A1 - Knopf, Brigitte A1 - Amberg, Maximilian A1 - Bergmann, Tobias A1 - Kellner, Maximilian A1 - Stüber, Sophia A1 - Haywood, Luke A1 - Roolfs, Christina A1 - Edenhofer, Ottmar T1 - Effects of the energy price crisis on households in Germany BT - socio-political challenges and policy options Y1 - 2022 UR - https://www.mcc-berlin.net/fileadmin/data/C18_MCC_Publications/2022_MCC_Effects_of_the_energy_price_crisis_on_households.pdf PB - Mercator Research Institute on Global Commons and Climate Change (MCC) gGmbH CY - Berlin ER - TY - RPRT A1 - Steckel, Jan Christoph A1 - Missbach, Leonard A1 - Ohlendorf, Nils A1 - Feindt, Simon A1 - Kalkuhl, Matthias T1 - Effects of the energy price crisis on European households BT - socio-political challenges and policy options Y1 - 2022 UR - https://www.mcc-berlin.net/fileadmin/data/C18_MCC_Publications/2022_MCC_Effects_of_the_energy_price_crisis_on_European_households.pdf PB - Mercator Research Institute on Global Commons and Climate Change (MCC) gGmbH CY - Berlin ER - TY - CHAP A1 - Botsch, Gideon ED - Dafinger, Johannes ED - Florin, Moritz T1 - Identifying extreme-right terrorism BT - concepts and misconceptions T2 - A transnational history of right-wing terrorism N2 - Extreme-right terrorism is a threat that is often underestimated by the public at large. As this paper argues, this is partly due to a concept of terrorism utilized by policymakers, intelligence agents, and police investigators that is based on experience of international terrorism perpetrated by leftists or jihadists as opposed to domestic extreme-right violence. This was one reason why investigators failed to identify the crimes committed by the National Socialist Underground (NSU) in Germany (2000–2011) as extreme-right terrorism, for example. While scholarly debate focused on the Red Army Faction and Al Qaeda, terrorist tendencies among those perpetrating racist and extreme-right violence tended to be disregarded. Influential researchers in the field of “extremism” denied that terrorist acts were committed by right-wingers. By mapping the specifics regarding the strategic use of violence, target selection, addressing of different audiences etc., this paper proposes a more accurate definition of extreme-right terrorism. In comparing it to other forms of terrorism, extreme-right terrorism is distinguished by its specific framework of ideologies and practices, with the underlying idea of an essential inequality that is compensated for through the affirmation of violence. It can be differentiated from other forms of extreme-right violence based on its use of strategic, premeditated and planned attacks against targets of a symbolic nature. Y1 - 2022 SN - 978-1-003-10525-1 SN - 978-0-367-61210-8 SN - 978-0-367-61336-5 U6 - https://doi.org/10.4324/9781003105251-17 SP - 241 EP - 257 PB - Routledge CY - London ; New York ER - TY - CHAP A1 - Hafner, Julee A1 - Thim, Christof T1 - Innovation in organizations: learning, unlearning, and intentional forgetting T2 - Proceedings of the 55th Hawaii International Conference on System Sciences (HICSS) N2 - We welcome you to the 53rd Hawaii International Conference on System Sciences (HICSS) conference. After joining with Intentional Forgetting Minitrack last year, this is the fourth year of the Organizational Learning Minitrack. We add Unlearning, and Intentional Forgetting to proudly bring you the latest research focused on organizational learning issues within the Knowledge Innovation and Entrepreneurial Systems Track. The ability to update, change and use current knowledge effectively, especially in light of the ongoing knowledge explosion, can be costly for any organization. Organizations that consider themselves “learning” or “knowledge-based” organizations must develop a competent workforce using KM strategies. Success in organizations involves developing a variety of human factors for changing competencies. With technological change, modification and revisions, many skills require updating for a competitive advantage in the marketplace. The focus on new techniques and insights into how individuals and organizations use their knowledge is our focus for the improvement of organizational learning in this Minitrack. Y1 - 2022 SN - 978-099813315-7 SP - 4784 EP - 4785 PB - University of Hawai’i at Manoa Hamilton Library CY - Honolulu, HI ER - TY - CHAP A1 - Bogumil, Jörg A1 - Kuhlmann, Sabine ED - Ladner, Andreas ED - Sager, Fritz T1 - The politics of administrative reforms T2 - Handbook on the politics of public administration N2 - Administrative reforms refer to conscious decisions about institution building and institutional change that are taken at the end of political processes and can be conceived as the attempt by politico-administrative actors to change the institutional order (polity) within which they make and implement decisions. In this paper we proceed from the assumption that the role of politics, the constellation of political actors and arenas vary according to the scope and objectives of administrative reforms. Depending on whether they refer to changes between organizational units/levels/sectors ('external institutional policy') or to an internal reorganization ('internal institutional policy'), different actor strategies, patterns of conflict and power constellations can be expected. As external administrative reforms are aimed at changing functional and/or territorial jurisdictions and thus always involve external actors, larger resistance, heavier political conflicts and generally more politicization are likely to occur than in the case of internal administrative reforms. Yet, for internal reforms, too, actor coalitions which support or block institutional changes, promotors, leaders, and moderators have revealed to shape processes and outcomes. Against this background, this chapter examines the influence of politics on various types of administrative reforms making a distinction between external and internal institutional policies. We analyse the role of politico-administrative actors, their strategies and influence on the formulation, trajectories and outcomes of administrative reforms. Our major focus will be on reforms in the multi-level system on the one hand and on (Post-) NPM reforms on the other as two major international trends. Drawing on reform experiences in different European countries, the chapter will reveal to what extent actors' interests and influences have triggered and shaped administrative reforms and which difference these have made for the reform outcome. KW - administrative reforms KW - institutional policy KW - actor constellations KW - micro-politics KW - managerial reforms KW - territorial reforms Y1 - 2022 SN - 978-1-83910-943-0 SN - 978-1-83910-944-7 U6 - https://doi.org/10.4337/9781839109447.00018 SP - 125 EP - 137 PB - Edward Elgar Publishing CY - Cheltenham, UK ER - TY - BOOK A1 - Eichenroth, Friedrich A1 - Rein, Patrick A1 - Hirschfeld, Robert T1 - Fast packrat parsing in a live programming environment BT - improving left-recursion in parsing expression grammars T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam N2 - Language developers who design domain-specific languages or new language features need a way to make fast changes to language definitions. Those fast changes require immediate feedback. Also, it should be possible to parse the developed languages quickly to handle extensive sets of code. Parsing expression grammars provides an easy to understand method for language definitions. Packrat parsing is a method to parse grammars of this kind, but this method is unable to handle left-recursion properly. Existing solutions either partially rewrite left-recursive rules and partly forbid them, or use complex extensions to packrat parsing that are hard to understand and cost-intensive. We investigated methods to make parsing as fast as possible, using easy to follow algorithms while not losing the ability to make fast changes to grammars. We focused our efforts on two approaches. One is to start from an existing technique for limited left-recursion rewriting and enhance it to work for general left-recursive grammars. The second approach is to design a grammar compilation process to find left-recursion before parsing, and in this way, reduce computational costs wherever possible and generate ready to use parser classes. Rewriting parsing expression grammars is a task that, if done in a general way, unveils a large number of cases such that any rewriting algorithm surpasses the complexity of other left-recursive parsing algorithms. Lookahead operators introduce this complexity. However, most languages have only little portions that are left-recursive and in virtually all cases, have no indirect or hidden left-recursion. This means that the distinction of left-recursive parts of grammars from components that are non-left-recursive holds great improvement potential for existing parsers. In this report, we list all the required steps for grammar rewriting to handle left-recursion, including grammar analysis, grammar rewriting itself, and syntax tree restructuring. Also, we describe the implementation of a parsing expression grammar framework in Squeak/Smalltalk and the possible interactions with the already existing parser Ohm/S. We quantitatively benchmarked this framework directing our focus on parsing time and the ability to use it in a live programming context. Compared with Ohm, we achieved massive parsing time improvements while preserving the ability to use our parser it as a live programming tool. The work is essential because, for one, we outlined the difficulties and complexity that come with grammar rewriting. Also, we removed the existing limitations that came with left-recursion by eliminating them before parsing. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 135 KW - packrat parsing KW - parsing expression grammars KW - left recursion Y1 - 2022 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-491242 SN - 978-3-86956-503-3 SN - 1613-5652 SN - 2191-1665 IS - 135 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Freund, Rieke A1 - Rätsch, Jan Philip A1 - Hradilak, Franziska A1 - Vidic, Benedikt A1 - Heß, Oliver A1 - Lißner, Nils A1 - Wölert, Hendrik A1 - Lincke, Jens A1 - Beckmann, Tom A1 - Hirschfeld, Robert T1 - Implementing a crowd-sourced picture archive for Bad Harzburg N2 - Pictures are a medium that helps make the past tangible and preserve memories. Without context, they are not able to do so. Pictures are brought to life by their associated stories. However, the older pictures become, the fewer contemporary witnesses can tell these stories. Especially for large, analog picture archives, knowledge and memories are spread over many people. This creates several challenges: First, the pictures must be digitized to save them from decaying and make them available to the public. Since a simple listing of all the pictures is confusing, the pictures should be structured accessibly. Second, known information that makes the stories vivid needs to be added to the pictures. Users should get the opportunity to contribute their knowledge and memories. To make this usable for all interested parties, even for older, less technophile generations, the interface should be intuitive and error-tolerant. The resulting requirements are not covered in their entirety by any existing software solution without losing the intuitive interface or the scalability of the system. Therefore, we have developed our digital picture archive within the scope of a bachelor project in cooperation with the Bad Harzburg-Stiftung. For the implementation of this web application, we use the UI framework React in the frontend, which communicates via a GraphQL interface with the Content Management System Strapi in the backend. The use of this system enables our project partner to create an efficient process from scanning analog pictures to presenting them to visitors in an organized and annotated way. To customize the solution for both picture delivery and information contribution for our target group, we designed prototypes and evaluated them with people from Bad Harzburg. This helped us gain valuable insights into our system’s usability and future challenges as well as requirements. Our web application is already being used daily by our project partner. During the project, we still came up with numerous ideas for additional features to further support the exchange of knowledge. N2 - Bilder können dabei helfen, die Vergangenheit greifbar zu machen und Erinnerungen zu bewahren, doch alleinstehende Bilder ohne Kontext erreichen das nur schwer. Der große Wert besteht in den Geschichten, die mit den Bildern verbunden sind. Je älter die Bilder jedoch werden, desto weniger Zeitzeugen können von diesen Geschichten berichten. Besonders für große analoge Bildarchive, bei denen sich das Wissen und die Erinnerungen auf viele Personen verteilen, entstehen dadurch verschiedene Herausforderungen: Zunächst müssen die Bilder digitalisiert werden, um sie vor dem Zerfall zu schützen und um sie der Öffentlichkeit zugänglich machen zu können. Da eine einfache Aufreihung aller Bilder unübersichtlich ist, sollten die Bilder in eine zugängliche Struktur gebracht werden. Des Weiteren müssen zu den Bildern bekannte Informationen, aus denen ihre Geschichten erfahrbar werden, hinzugefügt werden. Nutzende sollen die Möglichkeit haben, eigenes Wissen und Erinnerungen beizutragen. Um dies für alle Interessierten, auch für ältere, evtl. wenig technikaffine Personen, nutzbar zu machen, sollte die Oberfläche eine intuitive und fehlertolerante Nutzung ermöglichen. Die sich daraus ergebenden Anforderungen werden von keiner existierenden Softwarelösung im Gesamten abgedeckt, ohne die intuitive Oberfläche oder die Skalierbarkeit des Systems zu verlieren. Daher haben wir im Rahmen eines Bachelorprojekts in Zusammenarbeit mit der Bad Harzburg-Stiftung ein eigenes digitales Bildarchiv entwickelt. Für die Umsetzung dieser Webapplikation nutzen wir das UI-Framework React im Frontend, welches über eine GraphQL-Schnittstelle mit dem Content Management System Strapi im Backend kommuniziert. Die Nutzung dieses Systems ermöglicht unserem Projektpartner einen effizienten Prozess vom Scannen der analogen Bilder bis zum geordneten und annotierten Darstellen für Besuchende. Um die Lösung sowohl für das Bereitstellen der Bilder als auch für das Beitragen von Informationen auf unsere Zielgruppe zuzuschneiden, haben wir Prototypen entworfen und mit Menschen aus Bad Harzburg getestet, um ihre Eindrücke auszuwerten. Mit diesen konnten wir wertvolle Erkenntnisse über die Nutzbarkeit und noch offene Herausforderungen und Anforderungen gewinnen. Unsere Webanwendung ist bei unserem Projektpartner bereits im täglichen Einsatz. Trotzdem haben wir während des Projekts noch zahlreiche Ideen für zusätzliche Funktionen erarbeitet, um den Wissensaustausch weiter zu fördern. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 149 KW - digital picture archive KW - analog-to-digital conversion KW - user-generated content KW - intuitive interfaces KW - digitales Bildarchiv KW - Analog-zu-Digital-Konvertierung KW - benutzergenerierte Inhalte KW - intuitive Benutzeroberflächen Y1 - 2022 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-560291 SN - 978-3-86956-545-3 SN - 1613-5652 SN - 2191-1665 IS - 149 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Schneider, Sven A1 - Maximova, Maria A1 - Giese, Holger T1 - Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction N2 - The analysis of behavioral models such as Graph Transformation Systems (GTSs) is of central importance in model-driven engineering. However, GTSs often result in intractably large or even infinite state spaces and may be equipped with multiple or even infinitely many start graphs. To mitigate these problems, static analysis techniques based on finite symbolic representations of sets of states or paths thereof have been devised. We focus on the technique of k-induction for establishing invariants specified using graph conditions. To this end, k-induction generates symbolic paths backwards from a symbolic state representing a violation of a candidate invariant to gather information on how that violation could have been reached possibly obtaining contradictions to assumed invariants. However, GTSs where multiple agents regularly perform actions independently from each other cannot be analyzed using this technique as of now as the independence among backward steps may prevent the gathering of relevant knowledge altogether. In this paper, we extend k-induction to GTSs with multiple agents thereby supporting a wide range of additional GTSs. As a running example, we consider an unbounded number of shuttles driving on a large-scale track topology, which adjust their velocity to speed limits to avoid derailing. As central contribution, we develop pruning techniques based on causality and independence among backward steps and verify that k-induction remains sound under this adaptation as well as terminates in cases where it did not terminate before. N2 - Die Analyse von Verhaltensmodellen wie Graphtransformationssystemen (GTSs) ist von zentraler Bedeutung im Model Driven Engineering. GTSs führen jedoch häufig zu unhanhabbar großen oder sogar unendlichen Zustandsräumen und können mit mehreren oder sogar unendlich vielen Startgraphen ausgestattet sein. Um diese Probleme abzumildern, wurden statische Analysetechniken entwickelt, die auf endlichen symbolischen Darstellungen von Mengen von Zuständen oder Pfaden basieren. Wir konzentrieren uns auf die Technik der k-Induktion zur Ermittlung von Invarianten, die unter Verwendung von Graphbedingungen spezifiziert sind. Zum Zweck der Analyse erzeugt die k-Induktion symbolische Rückwärtspfade von einem symbolischen Zustand, der eine Verletzung einer Kandidateninvariante darstellt, um Informationen darüber zu sammeln, wie diese Verletzung erreicht werden konnte, wodurch möglicherweise Widersprüche zu angenommenen Invarianten gefunden werden. GTSs, bei denen mehrere Agenten regelmäßig unabhängig voneinander Aktionen ausführen, können derzeit jedoch nicht mit dieser Technik analysiert werden, da die Unabhängigkeit zwischen Rückwärtsschritten das Sammeln von relevantem Wissen möglicherweise verhindert. In diesem Artikel erweitern wir die k-Induktion auf GTSs mit mehreren Agenten und unterstützen dadurch eine breite Palette zusätzlicher GTSs. Als laufendes Beispiel betrachten wir eine unbegrenzte Anzahl von Shuttles, die auf einer großen Tracktopologie fahren und die ihre Geschwindigkeit an Geschwindigkeitsbegrenzungen anpassen, um ein Entgleisen zu vermeiden. Als zentralen Beitrag entwickeln wir Beschneidungstechniken basierend auf Kausalität und Unabhängigkeit zwischen Rückwärtsschritten und verifizieren, dass die k-Induktion unter dieser Anpassung korrekt bleibt und in Fällen terminiert, in denen sie zuvor nicht terminierte. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 143 KW - k-inductive invariant checking KW - causality KW - parallel and sequential independence KW - symbolic analysis KW - bounded backward model checking KW - k-induktive Invariantenprüfung KW - Kausalität KW - parallele und Sequentielle Unabhängigkeit KW - symbolische Analyse KW - Bounded Backward Model Checking Y1 - 2022 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-545851 SN - 978-3-86956-531-6 SN - 1613-5652 SN - 2191-1665 IS - 143 PB - Universitätsverlag Potsdam CY - Potsdam ER -