Building Transformation Networks for Consistent Evolution of Interrelated Models

Download Building Transformation Networks for Consistent Evolution of Interrelated Models PDF Online Free

Author :
Release : 2022-03-24
Genre : Computers
Kind :
Book Rating : 320/5 ( reviews)

Building Transformation Networks for Consistent Evolution of Interrelated Models - read free eBook in online reader or directly download on the web page. Select files or add your book in reader. Download and read online ebook Building Transformation Networks for Consistent Evolution of Interrelated Models write by Klare, Heiko. This book was released on 2022-03-24. Building Transformation Networks for Consistent Evolution of Interrelated Models available in PDF, EPUB and Kindle. Complex software systems are described with multiple artifacts, such as code, design diagrams and others. Ensuring their consistency is crucial and can be automated with transformations for pairs of artifacts. We investigate how developers can combine independently developed and reusable transformations to networks that preserve consistency between more than two artifacts. We identify synchronization, compatibility and orchestration as central challenges, and we develop approaches to solve them.

Consistent View-Based Management of Variability in Space and Time

Download Consistent View-Based Management of Variability in Space and Time PDF Online Free

Author :
Release : 2022-12-06
Genre : Computers
Kind :
Book Rating : 416/5 ( reviews)

Consistent View-Based Management of Variability in Space and Time - read free eBook in online reader or directly download on the web page. Select files or add your book in reader. Download and read online ebook Consistent View-Based Management of Variability in Space and Time write by Ananieva, Sofia. This book was released on 2022-12-06. Consistent View-Based Management of Variability in Space and Time available in PDF, EPUB and Kindle. Developing variable systems faces many challenges. Dependencies between interrelated artifacts within a product variant, such as code or diagrams, across product variants and across their revisions quickly lead to inconsistencies during evolution. This work provides a unification of common concepts and operations for variability management, identifies variability-related inconsistencies and presents an approach for view-based consistency preservation of variable systems.

A Reference Structure for Modular Model-based Analyses

Download A Reference Structure for Modular Model-based Analyses PDF Online Free

Author :
Release : 2024-04-25
Genre :
Kind :
Book Rating : 412/5 ( reviews)

A Reference Structure for Modular Model-based Analyses - read free eBook in online reader or directly download on the web page. Select files or add your book in reader. Download and read online ebook A Reference Structure for Modular Model-based Analyses write by Koch, Sandro Giovanni. This book was released on 2024-04-25. A Reference Structure for Modular Model-based Analyses available in PDF, EPUB and Kindle. In this work, the authors analysed the co-dependency between models and analyses, particularly the structure and interdependence of artefacts and the feature-based decomposition and composition of model-based analyses. Their goal is to improve the maintainability of model-based analyses. They have investigated the co-dependency of Domain-specific Modelling Languages (DSMLs) and model-based analyses regarding evolvability, understandability, and reusability.

Context-based Access Control and Attack Modelling and Analysis

Download Context-based Access Control and Attack Modelling and Analysis PDF Online Free

Author :
Release : 2024-07-03
Genre :
Kind :
Book Rating : 625/5 ( reviews)

Context-based Access Control and Attack Modelling and Analysis - read free eBook in online reader or directly download on the web page. Select files or add your book in reader. Download and read online ebook Context-based Access Control and Attack Modelling and Analysis write by Walter, Maximilian. This book was released on 2024-07-03. Context-based Access Control and Attack Modelling and Analysis available in PDF, EPUB and Kindle. This work introduces architectural security analyses for detecting access violations and attack paths in software architectures. It integrates access control policies and vulnerabilities, often analyzed separately, into a unified approach using software architecture models. Contributions include metamodels for access control and vulnerabilities, scenario-based analysis, and two attack analyses. Evaluation demonstrates high accuracy in identifying issues for secure system development.

Architecture-based Evolution of Dependable Software-intensive Systems

Download Architecture-based Evolution of Dependable Software-intensive Systems PDF Online Free

Author :
Release : 2023-06-05
Genre :
Kind :
Book Rating : 947/5 ( reviews)

Architecture-based Evolution of Dependable Software-intensive Systems - read free eBook in online reader or directly download on the web page. Select files or add your book in reader. Download and read online ebook Architecture-based Evolution of Dependable Software-intensive Systems write by Heinrich, Robert. This book was released on 2023-06-05. Architecture-based Evolution of Dependable Software-intensive Systems available in PDF, EPUB and Kindle. This cumulative habilitation thesis, proposes concepts for (i) modelling and analysing dependability based on architectural models of software-intensive systems early in development, (ii) decomposition and composition of modelling languages and analysis techniques to enable more flexibility in evolution, and (iii) bridging the divergent levels of abstraction between data of the operation phase, architectural models and source code of the development phase.