Share

Modeling and Formal Analysis of Meta-Ecosystems with Dynamic Structure using Graph Transformation

2023-01-08 Computers
Download Modeling and Formal Analysis of Meta-Ecosystems with Dynamic Structure using Graph Transformation PDF Online Free

Author :
Release : 2023-01-08
Genre : Computers
Kind : eBook
Book Rating : 330/5 ( reviews)

GET EBOOK


Book Synopsis Modeling and Formal Analysis of Meta-Ecosystems with Dynamic Structure using Graph Transformation by : Boris Flotterer

Download or read book Modeling and Formal Analysis of Meta-Ecosystems with Dynamic Structure using Graph Transformation written by Boris Flotterer. This book was released on 2023-01-08. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Triple graph grammars for multi-version models

2023-06-06 Computers
Download Triple graph grammars for multi-version models PDF Online Free

Author :
Release : 2023-06-06
Genre : Computers
Kind : eBook
Book Rating : 56X/5 ( reviews)

GET EBOOK


Book Synopsis Triple graph grammars for multi-version models by : Matthias Barkowsky

Download or read book Triple graph grammars for multi-version models written by Matthias Barkowsky. This book was released on 2023-06-06. Available in PDF, EPUB and Kindle. Book excerpt: 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-06-06 Computers
Download Modular and incremental global model management with extended generalized discrimination networks PDF Online Free

Author :
Release : 2023-06-06
Genre : Computers
Kind : eBook
Book Rating : 551/5 ( reviews)

GET EBOOK


Book Synopsis Modular and incremental global model management with extended generalized discrimination networks by : Matthias Barkowsky

Download or read book Modular and incremental global model management with extended generalized discrimination networks written by Matthias Barkowsky. This book was released on 2023-06-06. Available in PDF, EPUB and Kindle. Book excerpt: 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.

HPI Future SOC Lab – Proceedings 2018

2023-06-06 Computers
Download HPI Future SOC Lab – Proceedings 2018 PDF Online Free

Author :
Release : 2023-06-06
Genre : Computers
Kind : eBook
Book Rating : 470/5 ( reviews)

GET EBOOK


Book Synopsis HPI Future SOC Lab – Proceedings 2018 by : Kaushik Rana

Download or read book HPI Future SOC Lab – Proceedings 2018 written by Kaushik Rana. This book was released on 2023-06-06. Available in PDF, EPUB and Kindle. Book excerpt: 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.

openHPI

2022-10-13 Computers
Download openHPI PDF Online Free

Author :
Release : 2022-10-13
Genre : Computers
Kind : eBook
Book Rating : 446/5 ( reviews)

GET EBOOK


Book Synopsis openHPI by : Christoph Meinel

Download or read book openHPI written by Christoph Meinel. This book was released on 2022-10-13. Available in PDF, EPUB and Kindle. Book excerpt: On the occasion of the 10th openHPI anniversary, this technical report provides information about the HPI MOOC platform, including its core features, technology, and architecture. In an introduction, the platform family with all partner platforms is presented; these now amount to nine platforms, including openHPI. This section introduces openHPI as an advisor and research partner in various projects. In the second chapter, the functionalities and common course formats of the platform are presented. The functionalities are divided into learner and admin features. The learner features section provides detailed information about performance records, courses, and the learning materials of which a course is composed: videos, texts, and quizzes. In addition, the learning materials can be enriched by adding external exercise tools that communicate with the HPI MOOC platform via the Learning Tools Interoperability (LTI) standard. Furthermore, the concept of peer assessments completed the possible learning materials. The section then proceeds with further information on the discussion forum, a fundamental concept of MOOCs compared to traditional e-learning offers. The section is concluded with a description of the quiz recap, learning objectives, mobile applications, gameful learning, and the help desk. The next part of this chapter deals with the admin features. The described functionality is restricted to describing the news and announcements, dashboards and statistics, reporting capabilities, research options with A/B testing, the course feed, and the TransPipe tool to support the process of creating automated or manual subtitles. The platform supports a large variety of additional features, but a detailed description of these features goes beyond the scope of this report. The chapter then elaborates on common course formats and openHPI teaching activities at the HPI. The chapter concludes with some best practices for course design and delivery. The third chapter provides insights into the technology and architecture behind openHPI. A special characteristic of the openHPI project is the conscious decision to operate the complete application from bare metal to platform development. Hence, the chapter starts with a section about the openHPI Cloud, including detailed information about the data center and devices, the used cloud software OpenStack and Ceph, as well as the openHPI Cloud Service provided for the HPI. Afterward, a section on the application technology stack and development tooling describes the application infrastructure components, the used automation, the deployment pipeline, and the tools used for monitoring and alerting. The chapter is concluded with detailed information about the technology stack and concrete platform implementation details. The section describes the service-oriented Ruby on Rails application, inter-service communication, and public APIs. It also provides more information on the design system and components used in the application. The section concludes with a discussion of the original microservice architecture, where we share our insights and reasoning for migrating back to a monolithic application. The last chapter provides a summary and an outlook on the future of digital education.

You may also like...