Specification Languages for Preserving Consistency between Models of Different Languages

Specification Languages for Preserving Consistency between Models of Different Languages
Author :
Publisher : KIT Scientific Publishing
Total Pages : 476
Release :
ISBN-10 : 9783731507840
ISBN-13 : 3731507846
Rating : 4/5 (846 Downloads)

Book Synopsis Specification Languages for Preserving Consistency between Models of Different Languages by : Kramer, Max Emanuel

Download or read book Specification Languages for Preserving Consistency between Models of Different Languages written by Kramer, Max Emanuel and published by KIT Scientific Publishing. This book was released on 2019-01-30 with total page 476 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 Related Books

Specification Languages for Preserving Consistency between Models of Different Languages
Language: en
Pages: 476
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
Building Transformation Networks for Consistent Evolution of Interrelated Models
Language: en
Pages: 596
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
Implicit Incremental Model Analyses and Transformations
Language: en
Pages: 498
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
Automated Coevolution of Source Code and Software Architecture Models
Language: en
Pages: 374
Authors: Langhammer, Michael
Categories: Computers
Type: BOOK - Published: 2019-08-23 - Publisher: KIT Scientific Publishing

GET EBOOK

Software Technologies: Applications and Foundations
Language: en
Pages: 669
Authors: Manuel Mazzara
Categories: Computers
Type: BOOK - Published: 2018-12-06 - Publisher: Springer

GET EBOOK

This book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: