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
Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements
Language: en
Pages: 412
Authors: Seifermann, Stephan
Categories: Computers
Type: BOOK - Published: 2022-12-09 - Publisher: KIT Scientific Publishing

GET EBOOK

Software vendors must consider confidentiality especially while creating software architectures because decisions made here are hard to change later. Our approa
Evaluating Architectural Safeguards for Uncertain AI Black-Box Components
Language: en
Pages: 472
Authors: Scheerer, Max
Categories:
Type: BOOK - Published: 2023-10-23 - Publisher: KIT Scientific Publishing

GET EBOOK

Although tremendous progress has been made in Artificial Intelligence (AI), it entails new challenges. The growing complexity of learning tasks requires more co
Architecture-based Evolution of Dependable Software-intensive Systems
Language: en
Pages: 154
Authors: Heinrich, Robert
Categories:
Type: BOOK - Published: 2023-06-05 - Publisher: KIT Scientific Publishing

GET EBOOK

This cumulative habilitation thesis, proposes concepts for (i) modelling and analysing dependability based on architectural models of software-intensive systems
QoS-Based Optimization of Runtime Management of Sensing Cloud Applications
Language: en
Pages: 258
Authors: Gotin, Manuel
Categories: Computers
Type: BOOK - Published: 2022-06-30 - Publisher: KIT Scientific Publishing

GET EBOOK

IoT applications perceive and interact with the environment via smart devices and cloud services. When operating such applications one is faced with the challen