View-based Textual Modelling

View-based Textual Modelling PDF

Author: Thomas Goldschmidt

Publisher: KIT Scientific Publishing

Published: 2014-08-20

Total Pages: 410

ISBN-13: 386644642X

DOWNLOAD EBOOK →

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

Published: 2011-06-11

Total Pages: 408

ISBN-13: 3642214703

DOWNLOAD EBOOK →

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.

Flexible Views for View-based Model-driven Development

Flexible Views for View-based Model-driven Development PDF

Author: Burger, Erik

Publisher: KIT Scientific Publishing

Published: 2014-11-14

Total Pages: 362

ISBN-13: 3731502763

DOWNLOAD EBOOK →

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.

Consistent View-Based Management of Variability in Space and Time

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

Author: Ananieva, Sofia

Publisher: KIT Scientific Publishing

Published: 2022-12-06

Total Pages: 310

ISBN-13: 3731512416

DOWNLOAD EBOOK →

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.

Deriving Goal-oriented Performance Models by Systematic Experimentation

Deriving Goal-oriented Performance Models by Systematic Experimentation PDF

Author: Westermann, Dennis

Publisher: KIT Scientific Publishing

Published: 2014-04-10

Total Pages: 300

ISBN-13: 3731501651

DOWNLOAD EBOOK →

Performance modelling can require substantial effort when creating and maintaining performance models for software systems that are based on existing software. Therefore, this thesis addresses the challenge of performance prediction in such scenarios. It proposes a novel goal-oriented method for experimental, measurement-based performance modelling. We validated the approach in a number of case studies including standard industry benchmarks as well as a real development scenario at SAP.

Architecture-based Evolution of Dependable Software-intensive Systems

Architecture-based Evolution of Dependable Software-intensive Systems PDF

Author: Heinrich, Robert

Publisher: KIT Scientific Publishing

Published: 2023-06-05

Total Pages: 154

ISBN-13: 3731512947

DOWNLOAD EBOOK →

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.

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 PDF

Author: Pau Fonseca i Casas

Publisher: Springer Nature

Published: 2019-09-09

Total Pages: 267

ISBN-13: 3030306909

DOWNLOAD EBOOK →

This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019. The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in modeling and analysis of complex systems using ITU-T's Specification and Description Language (SDL-2010) and Message Sequence Chart (MSC) notations, as well as related system design languages — including UML, ASN.1, TTCN, SysML, and the User Requirements Notation (URN). SAM 2019’s theme was “Languages, Methods, and Tools for Industry 4.0.”

Architectural Design Decision Documentation through Reuse of Design Patterns

Architectural Design Decision Documentation through Reuse of Design Patterns PDF

Author: Durdik, Zoya

Publisher: KIT Scientific Publishing

Published: 2016-07-07

Total Pages: 522

ISBN-13: 3731502925

DOWNLOAD EBOOK →

The ADMD3 approach presented in this book enchances the architectural design documentation of decision via reuse of design patterns. It combines the support for evaluation of pattern application, semi-automated documentation of decision rationale and trace links. The approach is based on a new kind of design pattern catalogue, whereby usual pattern descriptions are captured together with question annotations to the patterns and information on architectural structure of patterns.