Building Transformation Networks For Consistent Evolution Of Interrelated Models

Author : Klare, Heiko
Publisher : KIT Scientific Publishing
ISBN 13 : 3731511320
Total Pages : 596 pages
Book Rating : 4.28/5 ( download)

DOWNLOAD NOW!

Download or read book Building Transformation Networks for Consistent Evolution of Interrelated Models written by Klare, Heiko and published by KIT Scientific Publishing. This book was released on 2022-03-24 with total page 596 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Author : Koch, Sandro Giovanni
Publisher : KIT Scientific Publishing
ISBN 13 : 3731513412
Total Pages : 398 pages
Book Rating : 4.14/5 ( download)

DOWNLOAD NOW!

Download or read book A Reference Structure for Modular Model-based Analyses written by Koch, Sandro Giovanni and published by KIT Scientific Publishing. This book was released on 2024-04-25 with total page 398 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Author : Ananieva, Sofia
Publisher : KIT Scientific Publishing
ISBN 13 : 3731512416
Total Pages : 310 pages
Book Rating : 4.17/5 ( download)

DOWNLOAD NOW!

Download or read book Consistent View-Based Management of Variability in Space and Time written by Ananieva, Sofia and published by KIT Scientific Publishing. This book was released on 2022-12-06 with total page 310 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Author : Scheerer, Max
Publisher : KIT Scientific Publishing
ISBN 13 : 373151320X
Total Pages : 472 pages
Book Rating : 4.09/5 ( download)

DOWNLOAD NOW!

Download or read book Evaluating Architectural Safeguards for Uncertain AI Black-Box Components written by Scheerer, Max and published by KIT Scientific Publishing. This book was released on 2023-10-23 with total page 472 pages. Available in PDF, EPUB and Kindle. Book excerpt: Although tremendous progress has been made in Artificial Intelligence (AI), it entails new challenges. The growing complexity of learning tasks requires more complex AI components, which increasingly exhibit unreliable behaviour. In this book, we present a model-driven approach to model architectural safeguards for AI components and analyse their effect on the overall system reliability.

Author : Heinrich, Robert
Publisher : KIT Scientific Publishing
ISBN 13 : 3731512947
Total Pages : 154 pages
Book Rating : 4.43/5 ( download)

DOWNLOAD NOW!

Download or read book Architecture-based Evolution of Dependable Software-intensive Systems written by Heinrich, Robert and published by KIT Scientific Publishing. This book was released on 2023-06-05 with total page 154 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Author : Pilipchuk, Roman
Publisher : KIT Scientific Publishing
ISBN 13 : 3731512122
Total Pages : 366 pages
Book Rating : 4.27/5 ( download)

DOWNLOAD NOW!

Download or read book Architectural Alignment of Access Control Requirements Extracted from Business Processes written by Pilipchuk, Roman and published by KIT Scientific Publishing. This book was released on 2023-01-27 with total page 366 pages. Available in PDF, EPUB and Kindle. Book excerpt: Business processes and information systems evolve constantly and affect each other in non-trivial ways. Aligning security requirements between both is a challenging task. This work presents an automated approach to extract access control requirements from business processes with the purpose of transforming them into a) access permissions for role-based access control and b) architectural data flow constraints to identify violations of access control in enterprise application architectures.

Author : Seifermann, Stephan
Publisher : KIT Scientific Publishing
ISBN 13 : 3731512467
Total Pages : 412 pages
Book Rating : 4.62/5 ( download)

DOWNLOAD NOW!

Download or read book Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements written by Seifermann, Stephan and published by KIT Scientific Publishing. This book was released on 2022-12-09 with total page 412 pages. Available in PDF, EPUB and Kindle. Book excerpt: Software vendors must consider confidentiality especially while creating software architectures because decisions made here are hard to change later. Our approach represents and analyzes data flows in software architectures. Systems specify data flows and confidentiality requirements specify limitations of data flows. Software architects use detected violations of these limitations to improve the system. We demonstrate how to integrate our approach into existing development processes.

Author : Matthias Barkowsky
Publisher : Universitätsverlag Potsdam
ISBN 13 : 3869565551
Total Pages : 70 pages
Book Rating : 4.52/5 ( download)

DOWNLOAD NOW!

Download or read book Modular and incremental global model management with extended generalized discrimination networks written by Matthias Barkowsky and published by Universitätsverlag Potsdam. This book was released on 2023-06-06 with total page 70 pages. 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.

Author :
Publisher :
ISBN 13 :
Total Pages : 276 pages
Book Rating : 4.11/5 ( download)

DOWNLOAD NOW!

Download or read book Federal Register written by and published by . This book was released on 2013-05 with total page 276 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Author : Sven E. Jorgensen
Publisher : CRC Press
ISBN 13 : 1482278618
Total Pages : 384 pages
Book Rating : 4.13/5 ( download)

DOWNLOAD NOW!

Download or read book Thermodynamics and Ecological Modelling written by Sven E. Jorgensen and published by CRC Press. This book was released on 2018-10-03 with total page 384 pages. Available in PDF, EPUB and Kindle. Book excerpt: Thermodynamics is used increasingly in ecology to understand the system properties of ecosystems because it is a basic science that describes energy transformation from a holistic view. In the last decade, many contributions to ecosystem theory based on thermodynamics have been published, therefore an important step toward integrating these theories and encouraging a more wide spread use of them is to present them in one volume. An ecosystem consists of interdependent living organisms that are also interdependent with their environment, all of which are involved in a constant transfer of energy and mass within a general state of equilibrium or dis-equilibrium. Thermodynamics can quantify exactly how "organized" or "disorganized" a system is - an extremely useful to know when trying to understand how a dynamic ecosystem is behaving. A part of the Environmental and Ecological (Math) Modeling series, Thermodynamics and Ecology is a book-length study - the first of its kind - of the current thinking on how an ecosystem can be explained and predicted in terms of its thermodynamical behavior. After the introductory chapters on the fundamentals of thermodynamics, the book explains how thermodynamic theory can be specifically applied to the "measurement" of an ecosystem, including the assessment of its state of entropy and enthalpy. Additionally, it will show economists how to put these theories to use when trying to quantify the movement of goods and services through another type of complex living system - a human society.