Gold Open-Access
Refine
Document Type
- Monograph/Edited Volume (73) (remove)
Keywords
- Digitalisierung (4)
- cyber-physical systems (4)
- openHPI (4)
- probabilistic timed systems (4)
- qualitative Analyse (4)
- qualitative analysis (4)
- quantitative Analyse (4)
- quantitative analysis (4)
- digitalization (3)
- machine learning (3)
Institute
- Hasso-Plattner-Institut für Digital Engineering GmbH (27)
- Extern (8)
- Historisches Institut (5)
- Fachgruppe Politik- & Verwaltungswissenschaft (4)
- Institut für Germanistik (4)
- Institut für Slavistik (3)
- Kommunalwissenschaftliches Institut (3)
- Zentrum für Lehrerbildung und Bildungsforschung (ZeLB) (3)
- Department Erziehungswissenschaft (2)
- Fachgruppe Soziologie (2)
Albert Hirschman hat sein schmales, aber überaus gehaltvolles Werk über ‚Leidenschaften und Interessen‘ mit einer nachdenkenswerten Bemerkung beschlossen, die veranschaulicht, warum die Beschäftigung mit der Ideen- und Geistesgeschichte auch aus heutiger Sicht noch lohnenswert ist: „Das ist wohl das einzige, was man vom Studium der Geschichte, insbesondere der Theorie- und Geistesgeschichte erwarten darf: Nicht, dass die Streitfragen entschieden, sondern dass das Niveau der Auseinandersetzung über sie gehoben wird.“
Die im vorliegenden Band abgedruckten Beiträge wurden in den 25 Jahren zwischen 1997 und 2022 in unterschiedlichen Zeit- und Festschriften veröffentlicht und für die vorliegende Zusammenstellung behutsam überarbeitet.
Proceedings of the HPI Research School on Service-oriented Systems Engineering 2020 Fall Retreat
(2021)
Design and Implementation of service-oriented architectures imposes a huge number of research questions from the fields of software engineering, system analysis and modeling, adaptability, and application integration. Component orientation and web services are two approaches for design and realization of complex web-based system. Both approaches allow for dynamic application adaptation as well as integration of enterprise application.
Service-Oriented Systems Engineering represents a symbiosis of best practices in object-orientation, component-based development, distributed computing, and business process management. It provides integration of business and IT concerns.
The annual Ph.D. Retreat of the Research School provides each member the opportunity to present his/her current state of their research and to give an outline of a prospective Ph.D. thesis. Due to the interdisciplinary structure of the research school, this technical report covers a wide range of topics. These include but are not limited to: Human Computer Interaction and Computer Vision as Service; Service-oriented Geovisualization Systems; Algorithm Engineering for Service-oriented Systems; Modeling and Verification of Self-adaptive Service-oriented Systems; Tools and Methods for Software Engineering in Service-oriented Systems; Security Engineering of Service-based IT Systems; Service-oriented Information Systems; Evolutionary Transition of Enterprise Applications to Service Orientation; Operating System Abstractions for Service-oriented Computing; and Services Specification, Composition, and Enactment.
Decubitus is one of the most relevant diseases in nursing and the most expensive to treat. It is caused by sustained pressure on tissue, so it particularly affects bed-bound patients. This work lays a foundation for pressure mattress-based decubitus prophylaxis by implementing a solution to the single-frame 2D Human Pose Estimation problem.
For this, methods of Deep Learning are employed. Two approaches are examined, a coarse-to-fine Convolutional Neural Network for direct regression of joint coordinates and a U-Net for the derivation of probability distribution heatmaps.
We conclude that training our models on a combined dataset of the publicly available Bodies at Rest and SLP data yields the best results. Furthermore, various preprocessing techniques are investigated, and a hyperparameter optimization is performed to discover an improved model architecture.
Another finding indicates that the heatmap-based approach outperforms direct regression.
This model achieves a mean per-joint position error of 9.11 cm for the Bodies at Rest data and 7.43 cm for the SLP data.
We find that it generalizes well on data from mattresses other than those seen during training but has difficulties detecting the arms correctly.
Additionally, we give a brief overview of the medical data annotation tool annoto we developed in the bachelor project and furthermore conclude that the Scrum framework and agile practices enhanced our development workflow.
Ortsteile als Untergliederungen der Gemeinden sind nicht nur für das Identitätsverständnis der lokalen Gemeinschaft bedeutsam, sondern auch für das Demokratieprinzip und die Verwirklichung der Ziele der Gebietsreform. Die Bildung von Ortsteilen unterliegt bestimmten gesetzlichen Voraussetzungen. Dabei sind drei verschiedene Ausgestaltungen möglich: Ortsteile ohne Vertretung, Ortsteile mit Ortsbeirat und Ortsvorsteher sowie Ortsteile mit isoliertem Ortsvorsteher. Die gewählte Form der Ortsteilvertretung hat Auswirkungen darauf, in welchem Umfang die örtliche Expertise in gemeindliche Entscheidungsprozesse einfließen kann und welche Entscheidungen vor Ort getroffen werden können. Dabei ist zwischen der Verpflichtung, die Ortsvertretung in bestimmten Konstellationen anzuhören, dem Antragsrecht der Ortsvertretung und der Entscheidungsbefugnis des Ortsbeirates zu differenzieren. Die Abgrenzung dieser organschaftlichen Rechte und ihr Umfang sind in der kommunalen Praxis konfliktträchtig. Für die Möglichkeiten der Ortsvertretungen, das lokale Zusammenleben zu gestalten, ist weiterhin das (mittlerweile) obligatorische Ortsteilbudget relevant, das Gegenstand der Reform der Kommunalverfassung im Juni 2021 war. Die Verwirklichung dieser materiellrechtlichen Positionen hängt von ihrer prozessualen Durchsetzbarkeit ab. In der Praxis rankt sich häufig Streit darum, ob Eingemeindungsverträge und die in ihnen getätigten Versprechen (noch) verbindlich sind. Diejenigen, die als Mitglieder des Ortsbeirates bzw. als Ortsvorsteher der örtlichen Gemeinschaft einen wichtigen und zeitintensiven Dienst erweisen, können eine angemessene Aufwandsentschädigung erhalten.
RailChain
(2023)
The RailChain project designed, implemented, and experimentally evaluated a juridical recorder that is based on a distributed consensus protocol. That juridical blockchain recorder has been realized as distributed ledger on board the advanced TrainLab (ICE-TD 605 017) of Deutsche Bahn.
For the project, a consortium consisting of DB Systel, Siemens, Siemens Mobility, the Hasso Plattner Institute for Digital Engineering, Technische Universität Braunschweig, TÜV Rheinland InterTraffic, and Spherity has been formed. These partners not only concentrated competencies in railway operation, computer science, regulation, and approval, but also combined experiences from industry, research from academia, and enthusiasm from startups.
Distributed ledger technologies (DLTs) define distributed databases and express a digital protocol for transactions between business partners without the need for a trusted intermediary. The implementation of a blockchain with real-time requirements for the local network of a railway system (e.g., interlocking or train) allows to log data in the distributed system verifiably in real-time. For this, railway-specific assumptions can be leveraged to make modifications to standard blockchains protocols.
EULYNX and OCORA (Open CCS On-board Reference Architecture) are parts of a future European reference architecture for control command and signalling (CCS, Reference CCS Architecture – RCA). Both architectural concepts outline heterogeneous IT systems with components from multiple manufacturers. Such systems introduce novel challenges for the approved and safety-relevant CCS of railways which were considered neither for road-side nor for on-board systems so far. Logging implementations, such as the common juridical recorder on vehicles, can no longer be realized as a central component of a single manufacturer. All centralized approaches are in question.
The research project RailChain is funded by the mFUND program and gives practical evidence that distributed consensus protocols are a proper means to immutably (for legal purposes) store state information of many system components from multiple manufacturers. The results of RailChain have been published, prototypically implemented, and experimentally evaluated in large-scale field tests on the advanced TrainLab. At the same time, the project showed how RailChain can be integrated into the road-side and on-board architecture given by OCORA and EULYNX.
Logged data can now be analysed sooner and also their trustworthiness is being increased. This enables, e.g., auditable predictive maintenance, because it is ensured that data is authentic and unmodified at any point in time.
The “HPI Future SOC Lab” is a cooperation of the Hasso Plattner Institute (HPI) and industry partners. Its mission is to enable and promote exchange and interaction between the research community and the industry partners.
The HPI Future SOC Lab provides researchers with free of charge access to a complete infrastructure of state of the art hard and software. This infrastructure includes components, which might be too expensive for an ordinary research environment, such as servers with up to 64 cores and 2 TB main memory. The offerings address researchers particularly from but not limited to the areas of computer science and business information systems. Main areas of research include cloud computing, parallelization, and In-Memory technologies.
This technical report presents results of research projects executed in 2018. Selected projects have presented their results on April 17th and November 14th 2017 at the Future SOC Lab Day events.
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.
Literarische Grammatik
(2023)
Dieser Band versammelt neun Beiträge mit dem Ziel, Sprach- und Literaturwissenschaft aufeinander zu beziehen: Literatur grammatisch zu betrachten und Grammatik für Literatur (neu) zu denken. Jeder Beitrag nimmt mindestens einen grammatischen und einen literarischen Gegenstand zum Ausgangspunkt. Dabei ist die Bandbreite groß; sie reicht von Bodo Kirchhoffs Roman ‚Dämmer und Aufruhr‘ über die Kurzgeschichte ‚Das Brot‘ von Wolfgang Borchert bis hin zu Marion Poschmanns Gedichtzyklus ‚Kindergarten Lichtenberg‘ und deckt unterschiedlichste sprachliche Bereiche wie Tempus, semantische Rollen, Interpunktionszeichen oder Metaphern ab.
Ist es in der Schule geradezu erwünscht, Grammatik und Literatur integrativ zu unterrichten, verfolgen sie als universitäre Disziplinen oft ganz unterschiedliche Fragestellungen an verschiedenen Sprachwerken. Vor diesem Hintergrund ist dieser Band ein interdisziplinärer Versuch, Anregungen und neue Perspektiven für schulische wie universitäre Bildungskontexte zu geben.
Like conventional software projects, projects in model-driven software engineering require adequate management of multiple versions of development artifacts, importantly allowing living with temporary inconsistencies. In the case of model-driven software engineering, employed versioning approaches also have to handle situations where different artifacts, that is, different models, are linked via automatic model transformations.
In this report, we propose a technique for jointly handling the transformation of multiple versions of a source model into corresponding versions of a target model, which enables the use of a more compact representation that may afford improved execution time of both the transformation and further analysis operations. Our approach is based on the well-known formalism of triple graph grammars and a previously introduced encoding of model version histories called multi-version models. In addition to showing the correctness of our approach with respect to the standard semantics of triple graph grammars, we conduct an empirical evaluation that demonstrates the potential benefit regarding execution time performance.
Modular and incremental global model management with extended generalized discrimination networks
(2023)
Complex projects developed under the model-driven engineering paradigm nowadays often involve several interrelated models, which are automatically processed via a multitude of model operations. Modular and incremental construction and execution of such networks of models and model operations are required to accommodate efficient development with potentially large-scale models. The underlying problem is also called Global Model Management.
In this report, we propose an approach to modular and incremental Global Model Management via an extension to the existing technique of Generalized Discrimination Networks (GDNs). In addition to further generalizing the notion of query operations employed in GDNs, we adapt the previously query-only mechanism to operations with side effects to integrate model transformation and model synchronization. We provide incremental algorithms for the execution of the resulting extended Generalized Discrimination Networks (eGDNs), as well as a prototypical implementation for a number of example eGDN operations.
Based on this prototypical implementation, we experiment with an application scenario from the software development domain to empirically evaluate our approach with respect to scalability and conceptually demonstrate its applicability in a typical scenario. Initial results confirm that the presented approach can indeed be employed to realize efficient Global Model Management in the considered scenario.
Historische Schulforschung und Schulentwicklungsforschung haben an schulischen Reformprozessen zwar ein vergleichbares Forschungsinteresse, stehen aber bislang nicht im wissenschaftlichen Dialog. Gleichwohl existierten nahezu sämtliche Praxen der gegenwärtigen Schul- und Unterrichtsentwicklung bereits in den Schulreformprozessen der historischen Reformpädagogik.
Auf der Grundlage von elf bildungshistorischen und schulpädagogischen Quellenstudien wird ein Struktur- und Handlungsmodell gelingender Schulreformprozesse entwickelt, das sich aus der akteursnahen Eigenlogik pädagogisch-praktischer Reformprozesse ableitet. Die Studien analysieren fallorientiert und quellengestützt die Reformpraxen an historischen Reformschulen des 20. Jahrhunderts und geben vertiefte Einblicke in historische Schul(reform)praxis.
Bezugspunkt ist dabei jeweils die Einzelschule als pädagogische Handlungseinheit. Die historisch-empirisch entwickelte „Fünf-plus-zwei-K-Struktur gelingender Schulreformprozesse“ wurde an 100 gegenwärtigen Reformschulen überprüft und konnte im Ergebnis in einem Zeitraum von rund einhundert Jahren als wiederkehrend validiert werden. Die Befunde tragen insgesamt zum pädagogischen Verständnis von Schulreformprozessen bei und bilden eine professionsnahe Referenz für die Theoriebildung innerhalb der Schulentwicklungsforschung.
Genisa-Blätter IV
(2023)
Auch wenn Genisot – jüdische Ablagen nicht mehr verwendeter Bücher und Kultgegenstände – in der bisherigen historischen Forschung selten beachtet werden, sind sie als Quellen aus originär jüdischer Hand von hoher Bedeutung und können unser Verständnis der Umsetzung von Ritualen im Kontext der lokalen Gemeinde vertiefen.
Der Schwerpunkt der ‚Genisa-Blätter IV‘ liegt auf Fragen nach jüdisch-rituellen Praktiken und ihrer Bedeutung, ihren Objekten und Akteuren. Acht wissenschaftliche und ein essayistischer Beitrag nähern sich diesen Themen über konkrete Funde aus Genisot mitteleuropäischer jüdischer Gemeinden, von religiösen Texten wie dem Fragment einer Torarolle und einem Minhagim-Buch über Personaldokumente bis hin zu Musiknoten und Kleidungsstücken.
Learning from failure
(2022)
Regression testing is a widespread practice in today's software industry to ensure software product quality. Developers derive a set of test cases, and execute them frequently to ensure that their change did not adversely affect existing functionality. As the software product and its test suite grow, the time to feedback during regression test sessions increases, and impedes programmer productivity: developers wait longer for tests to complete, and delays in fault detection render fault removal increasingly difficult.
Test case prioritization addresses the problem of long feedback loops by reordering test cases, such that test cases of high failure probability run first, and test case failures become actionable early in the testing process. We ask, given test execution schedules reconstructed from publicly available data, to which extent can their fault detection efficiency improved, and which technique yields the most efficient test schedules with respect to APFD?
To this end, we recover regression 6200 test sessions from the build log files of Travis CI, a popular continuous integration service, and gather 62000 accompanying changelists. We evaluate the efficiency of current test schedules, and examine the prioritization results of state-of-the-art lightweight, history-based heuristics. We propose and evaluate a novel set of prioritization algorithms, which connect software changes and test failures in a matrix-like data structure.
Our studies indicate that the optimization potential is substantial, because the existing test plans score only 30% APFD. The predictive power of past test failures proves to be outstanding: simple heuristics, such as repeating tests with failures in recent sessions, result in efficiency scores of 95% APFD. The best-performing matrix-based heuristic achieves a similar score of 92.5% APFD. In contrast to prior approaches, we argue that matrix-based techniques are useful beyond the scope of effective prioritization, and enable a number of use cases involving software maintenance.
We validate our findings from continuous integration processes by extending a continuous testing tool within development environments with means of test prioritization, and pose further research questions. We think that our findings are suited to propel adoption of (continuous) testing practices, and that programmers' toolboxes should contain test prioritization as an existential productivity tool.
Die Coronapandemie hat die zentrale Rolle von Staat und Verwaltung für die Krisenbewältigung deutlich gemacht sowie ins Zentrum wissenschaftlicher und öffentlicher Aufmerksamkeit gerückt. Das intergouvernementale Pandemiemanagement, das Zusammenwirken verschiedener Politik- und Verwaltungsebenen im föderalen Staat und die Einbringung wissenschaftlicher Expertise haben sich in der Pandemie als entscheidende institutionelle Stellschrauben erwiesen. Zugleich sind erhebliche Schwachstellen und Engpässe zu Tage getreten, die teilweise zu institutioneller Überforderung, Reibungsverlusten, Koordinationsschwächen oder gar Institutionenversagen geführt haben. Beklagt wurden zudem Maßnahmenpakete und Entscheidungsoutputs, die hinsichtlich ihrer Evidenz- und Wissensbasis teils umstritten waren und in ihrem Zustandekommen hinreichende Legitimation, Zurechenbarkeit, Nachvollziehbarkeit und Transparenz vermissen ließen.
Der seit März 2020 andauernde Krisenzustand hat einen neuartigen, vom bisherigen Normalzustand stark abweichenden Modus des Regierens und des Verwaltungsmanagements in Deutschland geschaffen. In diesem Bereich herrscht weiterhin ein erheblicher politik- und verwaltungswissenschaftlicher Forschungsbedarf, zu dessen Befriedigung diese Studie beitragen soll.
Das Modell Friedland
(2022)
Mit dem Band 14 „Das Modell Friedland: Vom Zusammenleben deutscher, jüdischer und wendischer Bewohner in einer Niederlausitzer Kleinstadt“ haben die Herausgeber den Autoren Alfred Roggan und Tobias Preßler die Erweiterung ihrer Forschungen ermöglicht: Widmete sich deren Band 12 „Sorbische/Wendische Spuren in der nördlichen Niederlausitz“ (2019) noch Befunden einer binationalen, weil deutsch-wendischen Geschichte, so wird mit dem Band 14 erstmalig für Ostdeutschland die Dokumentation einer ‚trinationalen‘, also deutsch-jüdisch-wendischen Lebenswelt vorgenommen.
Die Untersuchungen verdeutlichen, wie sich drei, im 18. Jahrhundert annähernd gleich große Einwohner-Gruppen, mit ihren Gotteshäusern, ihren Sprachen und einem differenzierten Einwohnerstatus etablierten bzw. arrangiert haben. Es zeigten sich Alleinstellungsmerkmale in Lebens- sowie Kultorganisation, Wirtschaftstätigkeiten und der Kommunikation zwischen den Beheimateten. Mit der Amts-Verwaltung des Johanniter-Ritterordens und dem Stadtrat befanden sie sich in berechenbaren (deutschdominierten) Strukturen. Aus diesem Gefüge und der territorialen Grenzlage zum Kurfürstentum Brandenburg begründeten sich Bedingungen, ohne die es wohl zu keinem „Modell Friedland“ gekommen wäre.
Die Autoren sind dankbar, dass sich mit Friedland die gnädige Chance bot, einen Bereich zu untersuchen, in dem Prozesse der wendisch-deutschen Assimilierung in einer eigenen Stetigkeit abliefen, jedoch das Ende jüdischen Lebens auf die Abwanderungen infolge der preußischen Emanzipations-Gesetze des 19. Jahrhunderts und nicht auf die Demütigungen, Verfolgungen sowie dem Völkermord des faschistischen deutschen Staates, zurückzuführen sind.
Anchored in ink
(2023)
This book serves as a gateway to the Elementa grammaticae Huronicae, an eighteenth-century grammar of the Wendat (‘Huron’) language by Jesuit Pierre-Philippe Potier (1708–1781). The volume falls into three main parts. The first part introduces the grammar and some of its contexts, offering information about the Huron-Wendat and Wyandot, the early modern Jesuit mission in New France and the Jesuits’ linguistic output. The heart of the volume is made up by its second part, a text edition of the Elementa. The third part presents some avenues of research by way of specific case studies.
Cyber-physical systems often encompass complex concurrent behavior with timing constraints and probabilistic failures on demand. The analysis whether such systems with probabilistic timed behavior adhere to a given specification is essential. When the states of the system can be represented by graphs, the rule-based formalism of Probabilistic Timed Graph Transformation Systems (PTGTSs) can be used to suitably capture structure dynamics as well as probabilistic and timed behavior of the system. The model checking support for PTGTSs w.r.t. properties specified using Probabilistic Timed Computation Tree Logic (PTCTL) has been already presented. Moreover, for timed graph-based runtime monitoring, Metric Temporal Graph Logic (MTGL) has been developed for stating metric temporal properties on identified subgraphs and their structural changes over time. In this paper, we (a) extend MTGL to the Probabilistic Metric Temporal Graph Logic (PMTGL) by allowing for the specification of probabilistic properties, (b) adapt our MTGL satisfaction checking approach to PTGTSs, and (c) combine the approaches for PTCTL model checking and MTGL satisfaction checking to obtain a Bounded Model Checking (BMC) approach for PMTGL. In our evaluation, we apply an implementation of our BMC approach in AutoGraph to a running example.
Modeling and Formal Analysis of Meta-Ecosystems with Dynamic Structure using Graph Transformation
(2022)
The dynamics of ecosystems is of crucial importance. Various model-based approaches exist to understand and analyze their internal effects. In this paper, we model the space structure dynamics and ecological dynamics of meta-ecosystems using the formal technique of Graph Transformation (short GT). We build GT models to describe how a meta-ecosystem (modeled as a graph) can evolve over time (modeled by GT rules) and to analyze these GT models with respect to qualitative properties such as the existence of structural stabilities. As a case study, we build three GT models describing the space structure dynamics and ecological dynamics of three different savanna meta-ecosystems. The first GT model considers a savanna meta-ecosystem that is limited in space to two ecosystem patches, whereas the other two GT models consider two savanna meta-ecosystems that are unlimited in the number of ecosystem patches and only differ in one GT rule describing how the space structure of the meta-ecosystem grows. In the first two GT models, the space structure dynamics and ecological dynamics of the meta-ecosystem shows two main structural stabilities: the first one based on grassland-savanna-woodland transitions and the second one based on grassland-desert transitions. The transition between these two structural stabilities is driven by high-intensity fires affecting the tree components. In the third GT model, the GT rule for savanna regeneration induces desertification and therefore a collapse of the meta-ecosystem. We believe that GT models provide a complementary avenue to that of existing approaches to rigorously study ecological phenomena.
Cyber-physical systems often encompass complex concurrent behavior with timing constraints and probabilistic failures on demand. The analysis whether such systems with probabilistic timed behavior adhere to a given specification is essential. When the states of the system can be represented by graphs, the rule-based formalism of Probabilistic Timed Graph Transformation Systems (PTGTSs) can be used to suitably capture structure dynamics as well as probabilistic and timed behavior of the system. The model checking support for PTGTSs w.r.t. properties specified using Probabilistic Timed Computation Tree Logic (PTCTL) has been already presented. Moreover, for timed graph-based runtime monitoring, Metric Temporal Graph Logic (MTGL) has been developed for stating metric temporal properties on identified subgraphs and their structural changes over time.
In this paper, we (a) extend MTGL to the Probabilistic Metric Temporal Graph Logic (PMTGL) by allowing for the specification of probabilistic properties, (b) adapt our MTGL satisfaction checking approach to PTGTSs, and (c) combine the approaches for PTCTL model checking and MTGL satisfaction checking to obtain a Bounded Model Checking (BMC) approach for PMTGL. In our evaluation, we apply an implementation of our BMC approach in AutoGraph to a running example.