Specification Languages for Preserving Consistency between Models of Different Languages

Specification Languages for Preserving Consistency between Models of Different Languages
Author: Kramer, Max Emanuel
Publisher: KIT Scientific Publishing
Total Pages: 476
Release: 2019-01-30
Genre: Electronic computers. Computer science
ISBN: 3731507846
GET BOOK

Download Specification Languages for Preserving Consistency between Models of Different Languages Book in PDF, Epub and Kindle

When complex IT systems are being developed, the usage of several programming and modelling languages can lead to inconsistencies that yield faulty designs and implementations. To address this problem, this work contributes a classification of consistency preservation challenges and an approach for preserving consistency. It is formalized using set theory and monitors changes to avoid matching and diffing problems. Three new languages that follow this preservation approach are presented.


Specification Languages for Preserving Consistency between Models of Different Languages
Language: en
Pages: 476

Specification Languages for Preserving Consistency between Models of Different Languages

Authors: Kramer, Max Emanuel
Categories: Electronic computers. Computer science
Type: BOOK - Published: 2019-01-30 - Publisher: KIT Scientific Publishing

GET EBOOK

When complex IT systems are being developed, the usage of several programming and modelling languages can lead to inconsistencies that yield faulty designs and
Specification Languages for Preserving Consistency Between Models of Different Languagess
Language: en
Pages:

Specification Languages for Preserving Consistency Between Models of Different Languagess

Authors:
Categories:
Type: BOOK - Published: 2017 - Publisher:

GET EBOOK

Building Transformation Networks for Consistent Evolution of Interrelated Models
Language: en
Pages: 596

Building Transformation Networks for Consistent Evolution of Interrelated Models

Authors: Klare, Heiko
Categories: Computers
Type: BOOK - Published: 2022-03-24 - Publisher: KIT Scientific Publishing

GET EBOOK

Complex software systems are described with multiple artifacts, such as code, design diagrams and others. Ensuring their consistency is crucial and can be autom
Model-Driven Engineering and Software Development
Language: en
Pages: 412

Model-Driven Engineering and Software Development

Authors: Slimane Hammoudi
Categories: Computers
Type: BOOK - Published: 2020-01-03 - Publisher: Springer Nature

GET EBOOK

This book constitutes thoroughly revised and selected papers from the 7th International Conference on Model-Driven Engineering and Software Development, MODELSW
Implicit Incremental Model Analyses and Transformations
Language: en
Pages: 498

Implicit Incremental Model Analyses and Transformations

Authors: Hinkel, Georg
Categories: Computers
Type: BOOK - Published: 2021-07-20 - Publisher: KIT Scientific Publishing

GET EBOOK

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 update