View-based Textual Modelling

View-based Textual Modelling PDF Author: Thomas Goldschmidt
Publisher: KIT Scientific Publishing
ISBN: 386644642X
Category : Computers
Languages : en
Pages : 410

Get Book Here

Book Description
This work introduces the FURCAS approach, a framework for view-based textual modelling. FURCAS includes means that allow software language engineers to define partial and overlapping textual modelling languages. Furthermore, FURCAS provides an incremental update approach that enables modellers to work with multiple views on the same underlying model. The approach is validated against a set of formal requirements, as well as several industrial case studies showing its practical applicability.

View-based Textual Modelling

View-based Textual Modelling PDF Author: Thomas Goldschmidt
Publisher: KIT Scientific Publishing
ISBN: 386644642X
Category : Computers
Languages : en
Pages : 410

Get Book Here

Book Description
This work introduces the FURCAS approach, a framework for view-based textual modelling. FURCAS includes means that allow software language engineers to define partial and overlapping textual modelling languages. Furthermore, FURCAS provides an incremental update approach that enables modellers to work with multiple views on the same underlying model. The approach is validated against a set of formal requirements, as well as several industrial case studies showing its practical applicability.

Modelling -- Foundation and Applications

Modelling -- Foundation and Applications PDF Author: Robert B. France
Publisher: Springer
ISBN: 3642214703
Category : Computers
Languages : en
Pages : 408

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 7th European Conference on Modelling Foundations and Applications, held in Birmingham, UK, in June 2011. The 19 revised full foundations track papers and 5 revised full applications track papers presented were carefully reviewed and selected from 61 submissions; also included are 5 workshop summaries and abstracts of 4 tutorials. The papers are organized in topical sections on model execution, model analysis, methodology, model management, model transformation, variability analysis and ADLs, and domain-specific modeling.

Modelling Foundations and Applications

Modelling Foundations and Applications PDF Author: Anthony Anjorin
Publisher: Springer
ISBN: 3319614827
Category : Computers
Languages : en
Pages : 319

Get Book Here

Book Description
This book constitutes the proceedings of the 13th European Conference on Modelling Foundations and Applications, ECMFA 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 18 papers presented in this volume were carefully reviewed and selected from 48 submissions. The papers are organized in the following topical sections: meta-modeling and language engineering; model evolution and maintenance; model-driven generative development; model consistency management; model verification and analysis; and experience reports, case studies and new applications scenarios.

Context-based Access Control and Attack Modelling and Analysis

Context-based Access Control and Attack Modelling and Analysis PDF Author: Walter, Maximilian
Publisher: KIT Scientific Publishing
ISBN: 3731513625
Category :
Languages : en
Pages : 350

Get Book Here

Book Description
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.

Modelling Event-Based Interactions in Component-Based Architectures for Quantitative System Evaluation

Modelling Event-Based Interactions in Component-Based Architectures for Quantitative System Evaluation PDF Author: Christoph Rathfelder
Publisher: KIT Scientific Publishing
ISBN: 3866449690
Category : Computers
Languages : en
Pages : 388

Get Book Here

Book Description
This dissertation thesis presents an approach enabling the modelling and quality-of-service prediction of event-based systems at the architecture-level. Applying a two-step model refinement transformation, the approach integrates platform-specific performance influences of the underlying middleware while enabling the use of different existing analytical and simulation-based prediction techniques.

Quality-driven Reuse of Model-based Software Architecture Elements

Quality-driven Reuse of Model-based Software Architecture Elements PDF Author: Busch, Axel
Publisher: KIT Scientific Publishing
ISBN: 3731509512
Category : Computers
Languages : en
Pages : 444

Get Book Here

Book Description


A Reference Structure for Modular Model-based Analyses

A Reference Structure for Modular Model-based Analyses PDF Author: Koch, Sandro Giovanni
Publisher: KIT Scientific Publishing
ISBN: 3731513412
Category :
Languages : en
Pages : 398

Get Book Here

Book Description
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 PDF Author: Frank, Markus Kilian
Publisher: KIT Scientific Publishing
ISBN: 3731511460
Category : Computers
Languages : en
Pages : 400

Get Book Here

Book Description
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.

Conceptual Modeling

Conceptual Modeling PDF Author: Paul Johannesson
Publisher: Springer
ISBN: 331925264X
Category : Computers
Languages : en
Pages : 608

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 34th International Conference on Conceptual Modeling, ER 2015, held in Stockholm, Sweden, in October 2015. The 26 full and 19 short papers presented were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections on business process and goal models, ontology-based models and ontology patterns, constraints, normalization, interoperability and integration, collaborative modeling, variability and uncertainty modeling, modeling and visualization of user generated content, schema discovery and evolution, process and text mining, domain-based modeling, data models and semantics, and applications of conceptual modeling.

Configurable Software Performance Completions through Higher-Order Model Transformations

Configurable Software Performance Completions through Higher-Order Model Transformations PDF Author: Happe, Lucia
Publisher: KIT Scientific Publishing
ISBN: 3866449909
Category : Electronic computers. Computer science
Languages : en
Pages : 468

Get Book Here

Book Description
Chillies is a novel approach for variable model transformations closing the gap between abstract architecture models, used for performance prediction, and required low-level details. We enable variability of transformations using chain of generators based on the Higher-Order Transformation (HOT). HOTs target different goals, such as template instantiation or transformation composition. In addition, we discuss state-dependent behavior in prediction models and quality of model transformations.