Flexible Views for View-based Model-driven Development

Flexible Views for View-based Model-driven Development
Author: Burger, Erik
Publisher: KIT Scientific Publishing
Total Pages: 362
Release: 2014-11-14
Genre: Electronic computers. Computer science
ISBN: 3731502763

Modern software development faces the problem of fragmentation of information across heterogeneous artefacts in different modelling and programming languages. In this dissertation, the Vitruvius approach for view-based engineering is presented. Flexible views offer a compact definition of user-specific views on software systems, and can be defined the novel ModelJoin language. The process is supported by a change metamodel for metamodel evolution and change impact analysis.

Viewpoint-based Flexible Information System Architectures

Viewpoint-based Flexible Information System Architectures
Author: Dmitri Valeri Panfilenko
Publisher: Logos Verlag Berlin GmbH
Total Pages: 330
Release: 2021-06-07
Genre: Business & Economics
ISBN: 3832552405

Information system architecture (ISA) specification as a part of software engineering field has been an information systems research topic since the 60's of the 20th century. There have been manifold specification methodologies over the recent decades, developed newly or adapted in order to target the domains of software modelling, legacy systems, steel production, and automotive safety. Still, there exist considerable issues constituting the need for a flexible ISA development, e.g. incomplete methodology for requirements in model-driven architectures, lacking qualitative methods for thorough definition and usage of viewpoints. Currently existing methods for information system architecture specification usually de- vise the target architectures either addressing only a part of software life-cycles or neglect- ing less structured information. The method for flexible information system architectures (FISA) specification uses the viewpoint concept for mediating the domain expert and technical system levels. The FISA-method defines construction and application reference models based on the ANSI/IEEE Standard 1471-2000, viewpoints with model transfor- mations based on OMG-Standard Model-Driven Architecture (MDA), and four different approaches for ISA specification, thus providing for flexibility both in construction and refactoring procedures. The development of FISA-method has been based on a thorough analysis of the ISA specification method field and constructs a comprehensive procedure and reference engi- neering models for flexible ISA specification. The genericity of the conceived construction and application procedure models of FISA allows for its usage not only in research, but also in industry settings, as presented on illustrative scenarios in steel manufacturing and automotive safety.

Modeling and Simulating Software Architectures

Modeling and Simulating Software Architectures
Author: Ralf H. Reussner
Publisher: MIT Press
Total Pages: 398
Release: 2016-10-21
Genre: Computers
ISBN: 0262336790

A new, quantitative architecture simulation approach to software design that circumvents costly testing cycles by modeling quality of service in early design states. Too often, software designers lack an understanding of the effect of design decisions on such quality attributes as performance and reliability. This necessitates costly trial-and-error testing cycles, delaying or complicating rollout. This book presents a new, quantitative architecture simulation approach to software design, which allows software engineers to model quality of service in early design stages. It presents the first simulator for software architectures, Palladio, and shows students and professionals how to model reusable, parametrized components and configured, deployed systems in order to analyze service attributes. The text details the key concepts of Palladio's domain-specific modeling language for software architecture quality and presents the corresponding development stage. It describes how quality information can be used to calibrate architecture models from which detailed simulation models are automatically derived for quality predictions. Readers will learn how to approach systematically questions about scalability, hardware resources, and efficiency. The text features a running example to illustrate tasks and methods as well as three case studies from industry. Each chapter ends with exercises, suggestions for further reading, and “takeaways” that summarize the key points of the chapter. The simulator can be downloaded from a companion website, which offers additional material. The book can be used in graduate courses on software architecture, quality engineering, or performance engineering. It will also be an essential resource for software architects and software engineers and for practitioners who want to apply Palladio in industrial settings.

Consistent View-Based Management of Variability in Space and Time

Consistent View-Based Management of Variability in Space and Time
Author: Ananieva, Sofia
Publisher: KIT Scientific Publishing
Total Pages: 310
Release: 2022-12-06
Genre: Computers
ISBN: 3731512416

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.

Implicit Incremental Model Analyses and Transformations

Implicit Incremental Model Analyses and Transformations
Author: Hinkel, Georg
Publisher: KIT Scientific Publishing
Total Pages: 498
Release: 2021-07-20
Genre: Computers
ISBN: 3731507633

When models of a system change, analyses based on them have to be reevaluated in order for the results to stay meaningful. In many cases, the time to get updated analysis results is critical. This thesis proposes multiple, combinable approaches and a new formalism based on category theory for implicitly incremental model analyses and transformations. The advantages of the implementation are validated using seven case studies, partially drawn from the Transformation Tool Contest (TTC).

Systems Modelling and Management

Systems Modelling and Management
Author: Önder Babur
Publisher: Springer Nature
Total Pages: 197
Release: 2020-10-16
Genre: Computers
ISBN: 3030581675

This book constitutes the refereed proceedings of the First International Conference on Systems Modelling and Management, ICSMM 2020, planned to be held in Bergen, Norway, in June 2020. Due to the COVID-19 pandemic the conference did not take place physically or virtually. The 10 full papers and 3 short papers were thoroughly reviewed and selected from 19 qualified submissions. The papers are organized according to the following topical sections: verification and validation; applications; methods, techniques and tools.

A Reference Structure for Modular Model-based Analyses

A Reference Structure for Modular Model-based Analyses
Author: Koch, Sandro Giovanni
Publisher: KIT Scientific Publishing
Total Pages: 398
Release: 2024-04-25
Genre:
ISBN: 3731513412

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.

Model-Based Performance Prediction for Concurrent Software on Multicore Architectures---A Simulation-Based Approach

Model-Based Performance Prediction for Concurrent Software on Multicore Architectures---A Simulation-Based Approach
Author: Frank, Markus Kilian
Publisher: KIT Scientific Publishing
Total Pages: 400
Release: 2022-07-18
Genre: Computers
ISBN: 3731511460

Die modellbasierte Performancevorhersage ist ein bekanntes Konzept zur Gewährleistung der Softwarequalität. Derzeitige Ansätze basieren auf einem Modell mit einer Metrik, was zu ungenauen Vorhersagen für moderne Architekturen führt. In dieser Arbeit wird ein Multi-Strategie-Ansatz zur Erweiterung von Performancevorhersagemodellen zur Unterstützung von Multicore-Architekturen vorgestellt, in Palladio implementiert und dadurch die Genauigkeit der Vorhersage deutlich verbessert. - Model-based performance prediction is a well-known concept to ensure the quality of software. Current approaches are based on a single-metric model, which leads to inaccurate predictions for modern architectures. This thesis presents a multi-strategies approach to extend performance prediction models to support multicore architectures. We implemented the strategies into Palladio and significantly increased the performance prediction power.