Oliver Kautz

Model Analyses Based on Semantic Differencing and Automatic Model Repair


Front	Back

ISBN:

978-3-8440-7926-5

Series:

Aachener Informatik-Berichte, Software Engineering
Herausgeber: Prof. Dr. rer. nat. Bernhard Rumpe
Aachen

Volume:

Keywords:

Semantics; Differencing; Model; Analysis; Semantic Differencing; Repair; Evolution

Type of publication:

Thesis

Language:

English

Pages:

374 pages

Figures:

122 figures

Weight:

557 g

Format:

24 x 17 cm

Bindung:

Paperback

Price:

39,80 € / 49,80 SFr

Published:

April 2021

Buy:

Download:

Available PDF-Files for this title:

You need the Adobe Reader, to open the files. Here you get help and information, for the download.

These files are not printable.


	Document		Document
	Type		PDF
	Costs		9,94 EUR
	Action		Purchase in obligation and display of file - 2,8 MB (2941558 Byte)
	Action		Purchase in obligation and download of file - 2,8 MB (2941558 Byte)


	Document		Table of contents
	Type		PDF
	Costs		free
	Action		Diplay of file - 184 kB (187931 Byte)
	Action		Download of file - 184 kB (187931 Byte)

User settings for registered users

You can change your address here or download your paid documents again.

User:	Not logged in.
Actions:	Login / Register Forgotten your password?

Recommendation:

You want to recommend this title?

Review copy

Here you can order a review copy.

Link

You want to link this page? Click here.

Abstract

Models are the primary development artifacts used in model-driven software development. Models continuously evolve during the design, development, and maintenance of software systems. Thus, model differencing is an important task to understand the syntactic and semantic differences between model versions.

Previous work produced general approaches for syntactic model differencing, but only a few language-dependent approaches for semantic model differencing. Approaches combining syntactic with semantic model differencing by relating the syntactic changes of models to their semantic differences rarely exist. Previous work neglected the development of language-independent approaches abstracting from a concrete model property for detecting the syntactic elements of a model, which cause that the model does not satisfy the property. However, detecting the syntactic model elements causing the non-satisfaction of a property representing a bug facilitates developers in detecting the syntactic model elements causing the bug.

This thesis presents a framework for precisely defining modeling languages, including syntax, semantics, and model evolution possibilities as well as syntactic and semantic differencing operators. The operators facilitate developers in understanding the syntactic and semantic differences between models of a language. The framework for precisely defining modeling languages is extended with a modeling language and property-independent framework for automatic model repairs. The framework facilitates developers in detecting the syntactic elements of a model causing that the model does not satisfy a property. To demonstrate its feasibility, the framework is instantiated with four concrete modeling languages.

» more titles from Oliver Kautz