Specification Languages for Preserving Consistency between Models of Different Languages

Specification Languages for Preserving Consistency between Models of Different Languages

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...

Full description

Saved in:
Bibliographic Details
Superior document:The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
:
Kramer, Max Emanuel
Year of Publication:2019
Language:English
Series:The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
Physical Description:1 electronic resource (XX, 440 p. p.)
Tags: Add Tag
No Tags, Be the first to tag this record!
id 993543915304498
ctrlnum (CKB)4920000000100980
(oapen)https://directory.doabooks.org/handle/20.500.12854/59815
(EXLCZ)994920000000100980
collection bib_alma
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01568nam-a2200301z--4500</leader><controlfield tag="001">993543915304498</controlfield><controlfield tag="005">20231214133136.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr|mn|---annan</controlfield><controlfield tag="008">202102s2019 xx |||||o ||| 0|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1000081446</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)4920000000100980</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(oapen)https://directory.doabooks.org/handle/20.500.12854/59815</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)994920000000100980</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kramer, Max Emanuel</subfield><subfield code="4">auth</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Specification Languages for Preserving Consistency between Models of Different Languages</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="b">KIT Scientific Publishing</subfield><subfield code="c">2019</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 electronic resource (XX, 440 p. p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Model Transformation Consistency Synchronisation Language</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Modell Transformation Konsistenz Synchronisierung Sprache</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">3-7315-0784-6</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-12-15 05:43:52 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2019-11-10 04:18:40 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&amp;portfolio_pid=5337537130004498&amp;Force_direct=true</subfield><subfield code="Z">5337537130004498</subfield><subfield code="b">Available</subfield><subfield code="8">5337537130004498</subfield></datafield></record></collection>
record_format marc
spelling Kramer, Max Emanuel auth
Specification Languages for Preserving Consistency between Models of Different Languages
KIT Scientific Publishing 2019
1 electronic resource (XX, 440 p. p.)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
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.
English
Model Transformation Consistency Synchronisation Language
Modell Transformation Konsistenz Synchronisierung Sprache
3-7315-0784-6
language English
format eBook
author Kramer, Max Emanuel
spellingShingle Kramer, Max Emanuel
Specification Languages for Preserving Consistency between Models of Different Languages
The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
author_facet Kramer, Max Emanuel
author_variant m e k me mek
author_sort Kramer, Max Emanuel
title Specification Languages for Preserving Consistency between Models of Different Languages
title_full Specification Languages for Preserving Consistency between Models of Different Languages
title_fullStr Specification Languages for Preserving Consistency between Models of Different Languages
title_full_unstemmed Specification Languages for Preserving Consistency between Models of Different Languages
title_auth Specification Languages for Preserving Consistency between Models of Different Languages
title_new Specification Languages for Preserving Consistency between Models of Different Languages
title_sort specification languages for preserving consistency between models of different languages
series The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
series2 The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
publisher KIT Scientific Publishing
publishDate 2019
physical 1 electronic resource (XX, 440 p. p.)
isbn 1000081446
3-7315-0784-6
illustrated Not Illustrated
work_keys_str_mv AT kramermaxemanuel specificationlanguagesforpreservingconsistencybetweenmodelsofdifferentlanguages
status_str n
ids_txt_mv (CKB)4920000000100980
(oapen)https://directory.doabooks.org/handle/20.500.12854/59815
(EXLCZ)994920000000100980
carrierType_str_mv cr
hierarchy_parent_title The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
is_hierarchy_title Specification Languages for Preserving Consistency between Models of Different Languages
container_title The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
_version_ 1796652263460044800

Similar Items