Availability: On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars

On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars: Long version

Saved in:

Bibliographic Details
Main Authors:	Ehrig, Hartmut 1944-2016 (Author), Ermel, Claudia (Author), Hermann, Frank (Author), Prange, Ulrike (Author)
Format:	Electronic eBook
Language:	English
Published:	Berlin Technische Universität Berlin July 13, 2009
Series:	Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin Bericht-Nr. 2009-11
Subjects:	Semantikerhaltende Transformation Vollständigkeit Modelltransformation Graph-Grammatik Forschungsbericht
Links:	https://doi.org/10.14279/depositonce-10261 https://hdl.handle.net/11303/11374 https://nbn-resolving.org/urn:nbn:de:101:1-2020061702091777059662 https://d-nb.info/1212112342/34
Physical Description:	1 Online-Ressource (19 Seiten) Diagramme
DOI:	10.14279/depositonce-10261

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV048451484
003	DE-604
005	20240222
007	cr\|uuu---uuuuu
008	220901s2009 gw \|\|\|\| o\|\|\|\| 00\|\|\| eng d
015			\|a 20,O07 \|2 dnb
016	7		\|a 1212112342 \|2 DE-101
024	7		\|a 10.14279/depositonce-10261 \|2 doi
024	7		\|a urn:nbn:de:101:1-2020061702091777059662 \|2 urn
024	7		\|a 11303/11374 \|2 hdl
035			\|a (OCoLC)1344263792
035			\|a (DE-599)DNB1212112342
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-83
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
084			\|a 005.13 \|2 sdnb
084			\|a 004 \|2 sdnb
100	1		\|a Ehrig, Hartmut \|d 1944-2016 \|e Verfasser \|0 (DE-588)107905582 \|4 aut
245	1	0	\|a On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars \|b Long version \|c Hartmut Ehrig, Claudia Ermel, Frank Hermann and Ulrike Prange
264		1	\|a Berlin \|b Technische Universität Berlin \|c July 13, 2009
300			\|a 1 Online-Ressource (19 Seiten) \|b Diagramme
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin \|v Bericht-Nr. 2009-11
583	1		\|a Archivierung/Langzeitarchivierung gewährleistet \|5 DE-101 \|2 pdager
650	0	7	\|a Semantikerhaltende Transformation \|0 (DE-588)4615977-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Vollständigkeit \|0 (DE-588)4284513-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Modelltransformation \|0 (DE-588)7616754-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Graph-Grammatik \|0 (DE-588)4132847-4 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4155043-2 \|a Forschungsbericht \|2 gnd-content
689	0	0	\|a Modelltransformation \|0 (DE-588)7616754-9 \|D s
689	0	1	\|a Graph-Grammatik \|0 (DE-588)4132847-4 \|D s
689	0	2	\|a Semantikerhaltende Transformation \|0 (DE-588)4615977-0 \|D s
689	0	3	\|a Vollständigkeit \|0 (DE-588)4284513-0 \|D s
689	0		\|5 DE-604
700	1		\|a Ermel, Claudia \|e Verfasser \|0 (DE-588)114558914 \|4 aut
700	1		\|a Hermann, Frank \|e Verfasser \|4 aut
700	1		\|a Prange, Ulrike \|e Verfasser \|4 aut
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|w (DE-604)BV035760508
810	2		\|a Technische Universität Berlin, Fakultät Elektrotechnik und Informatik \|t Technische Berichte \|v 2009,11 \|w (DE-604)BV021689926 \|9 2009,11
856	4	0	\|u https://doi.org/10.14279/depositonce-10261 \|x Resolving-System \|z kostenfrei \|3 Volltext
856	4	0	\|u https://hdl.handle.net/11303/11374 \|x Resolving-System
856	4	0	\|u https://nbn-resolving.org/urn:nbn:de:101:1-2020061702091777059662 \|x Resolving-System
856	4	0	\|u https://d-nb.info/1212112342/34 \|x Langzeitarchivierung Nationalbibliothek
912			\|a ebook
943	1		\|a oai:aleph.bib-bvb.de:BVB01-033829632

Record in the Search Index

_version_	1818989869902331904
any_adam_object
author	Ehrig, Hartmut 1944-2016 Ermel, Claudia Hermann, Frank Prange, Ulrike
author_GND	(DE-588)107905582 (DE-588)114558914
author_facet	Ehrig, Hartmut 1944-2016 Ermel, Claudia Hermann, Frank Prange, Ulrike
author_role	aut aut aut aut
author_sort	Ehrig, Hartmut 1944-2016
author_variant	h e he c e ce f h fh u p up
building	Verbundindex
bvnumber	BV048451484
classification_rvk	ST 130
collection	ebook
ctrlnum	(OCoLC)1344263792 (DE-599)DNB1212112342
discipline	Informatik
doi_str_mv	10.14279/depositonce-10261
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02804nam a2200613 cb4500</leader><controlfield tag="001">BV048451484</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240222 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">220901s2009 gw \|\|\|\| o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">20,O07</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1212112342</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.14279/depositonce-10261</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">urn:nbn:de:101:1-2020061702091777059662</subfield><subfield code="2">urn</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">11303/11374</subfield><subfield code="2">hdl</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1344263792</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1212112342</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">005.13</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ehrig, Hartmut</subfield><subfield code="d">1944-2016</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)107905582</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars</subfield><subfield code="b">Long version</subfield><subfield code="c">Hartmut Ehrig, Claudia Ermel, Frank Hermann and Ulrike Prange</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Technische Universität Berlin</subfield><subfield code="c">July 13, 2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (19 Seiten)</subfield><subfield code="b">Diagramme</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin</subfield><subfield code="v">Bericht-Nr. 2009-11</subfield></datafield><datafield tag="583" ind1="1" ind2=" "><subfield code="a">Archivierung/Langzeitarchivierung gewährleistet</subfield><subfield code="5">DE-101</subfield><subfield code="2">pdager</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantikerhaltende Transformation</subfield><subfield code="0">(DE-588)4615977-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Vollständigkeit</subfield><subfield code="0">(DE-588)4284513-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modelltransformation</subfield><subfield code="0">(DE-588)7616754-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Graph-Grammatik</subfield><subfield code="0">(DE-588)4132847-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4155043-2</subfield><subfield code="a">Forschungsbericht</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Modelltransformation</subfield><subfield code="0">(DE-588)7616754-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Graph-Grammatik</subfield><subfield code="0">(DE-588)4132847-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Semantikerhaltende Transformation</subfield><subfield code="0">(DE-588)4615977-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Vollständigkeit</subfield><subfield code="0">(DE-588)4284513-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ermel, Claudia</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)114558914</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hermann, Frank</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Prange, Ulrike</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="w">(DE-604)BV035760508</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Technische Universität Berlin, Fakultät Elektrotechnik und Informatik</subfield><subfield code="t">Technische Berichte</subfield><subfield code="v">2009,11</subfield><subfield code="w">(DE-604)BV021689926</subfield><subfield code="9">2009,11</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.14279/depositonce-10261</subfield><subfield code="x">Resolving-System</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://hdl.handle.net/11303/11374</subfield><subfield code="x">Resolving-System</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://nbn-resolving.org/urn:nbn:de:101:1-2020061702091777059662</subfield><subfield code="x">Resolving-System</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://d-nb.info/1212112342/34</subfield><subfield code="x">Langzeitarchivierung Nationalbibliothek</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033829632</subfield></datafield></record></collection>
genre	(DE-588)4155043-2 Forschungsbericht gnd-content
genre_facet	Forschungsbericht
id	DE-604.BV048451484
illustrated	Not Illustrated
indexdate	2024-12-20T19:45:20Z
institution	BVB
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-033829632
oclc_num	1344263792
open_access_boolean	1
owner	DE-83
owner_facet	DE-83
physical	1 Online-Ressource (19 Seiten) Diagramme
psigel	ebook
publishDate	2009
publishDateSearch	2009
publishDateSort	2009
publisher	Technische Universität Berlin
record_format	marc
series2	Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
spelling	Ehrig, Hartmut 1944-2016 Verfasser (DE-588)107905582 aut On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars Long version Hartmut Ehrig, Claudia Ermel, Frank Hermann and Ulrike Prange Berlin Technische Universität Berlin July 13, 2009 1 Online-Ressource (19 Seiten) Diagramme txt rdacontent c rdamedia cr rdacarrier Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin Bericht-Nr. 2009-11 Archivierung/Langzeitarchivierung gewährleistet DE-101 pdager Semantikerhaltende Transformation (DE-588)4615977-0 gnd rswk-swf Vollständigkeit (DE-588)4284513-0 gnd rswk-swf Modelltransformation (DE-588)7616754-9 gnd rswk-swf Graph-Grammatik (DE-588)4132847-4 gnd rswk-swf (DE-588)4155043-2 Forschungsbericht gnd-content Modelltransformation (DE-588)7616754-9 s Graph-Grammatik (DE-588)4132847-4 s Semantikerhaltende Transformation (DE-588)4615977-0 s Vollständigkeit (DE-588)4284513-0 s DE-604 Ermel, Claudia Verfasser (DE-588)114558914 aut Hermann, Frank Verfasser aut Prange, Ulrike Verfasser aut Erscheint auch als Druck-Ausgabe (DE-604)BV035760508 Technische Universität Berlin, Fakultät Elektrotechnik und Informatik Technische Berichte 2009,11 (DE-604)BV021689926 2009,11 https://doi.org/10.14279/depositonce-10261 Resolving-System kostenfrei Volltext https://hdl.handle.net/11303/11374 Resolving-System https://nbn-resolving.org/urn:nbn:de:101:1-2020061702091777059662 Resolving-System https://d-nb.info/1212112342/34 Langzeitarchivierung Nationalbibliothek
spellingShingle	Ehrig, Hartmut 1944-2016 Ermel, Claudia Hermann, Frank Prange, Ulrike On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars Long version Semantikerhaltende Transformation (DE-588)4615977-0 gnd Vollständigkeit (DE-588)4284513-0 gnd Modelltransformation (DE-588)7616754-9 gnd Graph-Grammatik (DE-588)4132847-4 gnd
subject_GND	(DE-588)4615977-0 (DE-588)4284513-0 (DE-588)7616754-9 (DE-588)4132847-4 (DE-588)4155043-2
title	On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars Long version
title_auth	On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars Long version
title_exact_search	On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars Long version
title_full	On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars Long version Hartmut Ehrig, Claudia Ermel, Frank Hermann and Ulrike Prange
title_fullStr	On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars Long version Hartmut Ehrig, Claudia Ermel, Frank Hermann and Ulrike Prange
title_full_unstemmed	On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars Long version Hartmut Ehrig, Claudia Ermel, Frank Hermann and Ulrike Prange
title_short	On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars
title_sort	on the fly construction correctness and completeness of model transformations based on triple graph grammars long version
title_sub	Long version
topic	Semantikerhaltende Transformation (DE-588)4615977-0 gnd Vollständigkeit (DE-588)4284513-0 gnd Modelltransformation (DE-588)7616754-9 gnd Graph-Grammatik (DE-588)4132847-4 gnd
topic_facet	Semantikerhaltende Transformation Vollständigkeit Modelltransformation Graph-Grammatik Forschungsbericht
url	https://doi.org/10.14279/depositonce-10261 https://hdl.handle.net/11303/11374 https://nbn-resolving.org/urn:nbn:de:101:1-2020061702091777059662 https://d-nb.info/1212112342/34
volume_link	(DE-604)BV021689926
work_keys_str_mv	AT ehrighartmut ontheflyconstructioncorrectnessandcompletenessofmodeltransformationsbasedontriplegraphgrammarslongversion AT ermelclaudia ontheflyconstructioncorrectnessandcompletenessofmodeltransformationsbasedontriplegraphgrammarslongversion AT hermannfrank ontheflyconstructioncorrectnessandcompletenessofmodeltransformationsbasedontriplegraphgrammarslongversion AT prangeulrike ontheflyconstructioncorrectnessandcompletenessofmodeltransformationsbasedontriplegraphgrammarslongversion

Availability

‌

Order via interlibrary loan Read online (freely available)