On the performance and conformance of triple graph grammar implementations:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
2014
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VIII, 217 S. Ill., graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV041996807 | ||
| 003 | DE-604 | ||
| 005 | 20141001 | ||
| 007 | t | ||
| 008 | 140728s2014 ad|| m||| 00||| eng d | ||
| 035 | |a (OCoLC)886647862 | ||
| 035 | |a (DE-599)GBV790789140 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-188 |a DE-12 | ||
| 082 | 0 | |a 005.10285 |2 22//ger | |
| 100 | 1 | |a Hildebrandt, Stephan |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a On the performance and conformance of triple graph grammar implementations |c by Stephan Hildebrandt |
| 264 | 1 | |c 2014 | |
| 300 | |a VIII, 217 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Potsdam, Univ., Diss., 2014 | ||
| 546 | |a Mit einer Zssfassung in dt. Sprache | ||
| 650 | 0 | 7 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modelltransformation |0 (DE-588)7616754-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Modelltransformation |0 (DE-588)7616754-9 |D s |
| 689 | 0 | 1 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027438931&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027438931 | ||
Datensatz im Suchindex
| _version_ | 1804152404644462592 |
|---|---|
| adam_text | CONTENTS
1. INTRODUCTION 3
1.1. MOTIVATION AND GOALS OF THIS THESIS 4
1.1.1. PERFORMANCE OF MODEL TRANSFORMATIONS AND SYNCHRONIZATIONS 7
1.1.2. CONFORMANCE OF MODEL TRANSFORMATIONS 10
1.2. CONTRIBUTIONS OF THIS THESIS 13
1.3. OVERVIEW 14
2. FOUNDATIONS 15
2.1. METAMODELING 15
2.2. GRAPHS AND GRAPH TRANSFORMATIONS 18
2.3. STORY DIAGRAMS 23
2.3.1. STORY PATTERNS 23
2.3.2. STORY DIAGRAMS 24
2.4. TRIPLE GRAPH GRAMMARS 27
2.5. MOTE - MODEL TRANSFORMATION ENGINE 33
2.5.1. EXECUTING MODEL TRANSFORMATIONS 33
2.5.2. EXECUTING MODEL SYNCHRONIZATIONS 34
2.5.3. OPERATIONAL RULES 37
2.5.4. TOOL ARCHITECTURE 39
3. DYNAMIC STORY PATTERN MATCHING 41
3.1. PROBLEM ANALYSIS 41
3.2. ESTIMATING LINK TRAVERSAL COST AT RUNTIME 45
3.3. DYNAMIC STORY PATTERN MATCHING ALGORITHM 46
3.3.1. INITIALIZATION PHASE 47
3.3.2. MATCHING PHASE 48
3.3.3. APPLICATION PHASE 54
3.4. NEW STORY PATTERN LINK TYPES 55
3.4.1. CONTAINMENT LINK 55
3.4.2. MAP-ENTRY LINK 57
3.5. STORY PATTERN EXECUTION EFFICIENCY , 58
3.5.1. EFFICIENCY OF FUJABA S GENERATED CODE 61
3.5.2. EFFICIENCY OF DYNAMIC PATTERN MATCHING 62
4. EFFICIENT MODEL TRANSFORMATION AND SYNCHRONIZATION WITH TGGS 63
4.1. PROPERTIES OF MODELS AND TRANSFORMATIONS IN PRACTICE 63
4.1.1. UNBOUNDED LINKS 63
4.1.2. STRUCTURE OF TGG RULES 65
4.1.3. SUMMARY 65
HTTP://D-NB.INFO/1054564477
CONTENTS
4.2. FORMAL CONCEPTS OF TRIPLE GRAPH GRAMMARS 68
4.2.1. WELL-FORMEDNESS CRITERIA FOR TGGS 68
4.2.2. CORRESPONDENCE PATTERNS 73
4.2.3. ATTRIBUTE HANDLING 73
4.2.4. LIMITATIONS 74
4.2.5. CONFLICT CHECK AT RUNTIME 74
4.3. TGG RULE DEPENDENCIES 77
4.3.1. DEFINITION OF TGG RULE DEPENDENCIES 77
4.3.2. ALGORITHM FOR DEPENDENCY DISCOVERY 79
4.4. MOTE2 83
4.4.1. OPERATIONAL RULES 83
4.4.2. ON-DEMAND LINK BOOKKEEPING 89
4.4.3. REVERSE NAVIGATION OF UNIDIRECTIONAL LINKS 90
4.4.4. ENHANCED TRANSFORMATION AND SYNCHRONIZATION ALGORITHM 91
4.4.5. EFFICIENCY OF MODEL TRANSFORMATION AND SYNCHRONIZATION 94
5. CONFORMANCE TESTING OF TGG IMPLEMENTATIONS 101
5.1. TEST SUITE QUALITY 103
5.2. TEST CASE GENERATION 104
5.2.1. RANDOM TEST CASE GENERATION 104
5.2.2. DEPENDENCY-GUIDED TEST CASE GENERATION 105
5.3. CONFORMANCE TESTING OF MODEL SYNCHRONIZATIONS 109
6. IMPLEMENTATION 113
6.1. MDELAB WORKFLOWS 114
6.2. STORY DIAGRAM INTERPRETER 117
6.2.1. ARCHITECTURE 117
6.2.2. USER INTERFACE 120
6.3. RULE DEPENDENCY GRAPH GENERATOR 125
6.4. MOTE2 126
6.4.1. ARCHITECTURE 127
6.4.2. USER INTERFACE 128
6.5. AUTOMATIC CONFORMANCE TESTING FRAMEWORK 130
7. EVALUATION 135
7.1. STORY DIAGRAM INTERPRETER PERFORMANCE 135
7.2. MOTE2 137
7.2.1. MODEL TRANSFORMATION BENCHMARKS 137
7.2.2. MODEL SYNCHRONIZATION BENCHMARKS 142
7.3. CONFORMANCE TESTING FRAMEWORK EVALUATION 157
7.3.1. SDL2UML AND UML2RDBMS 157
7.3.2. AUTOMATA2PLC 157
7.3.3. SYSTEMDESK2AUTOSAR 158
7.3.4. SUMMARY 159
8. RELATED WORK 161
8.1. MODEL TRANSFORMATION APPROACHES 161
8.1.1. OPERATIONAL MODEL TRANSFORMATIONS 161
8.1.2. RELATIONAL MODEL TRANSFORMATIONS 163
CONTENTS
8.2. VERIFICATION AND TESTING OF MODEL TRANSFORMATIONS 166
8.2.1. VERIFICATION OF MODEL TRANSFORMATIONS 166
8.2.2. TESTING OF MODEL TRANSFORMATIONS 167
9. SUMMARY AND FUTURE WORK 171
9.1. SUMMARY 171
9.2. FUTURE WORK 172
A. TRIPLE GRAPH GRAMMARS 177
A.L. SDL2UML MODEL TRANSFORMATION 177
A.2. UML2RDBMS MODEL TRANSFORMATION 186
B. BENCHMARK RESULTS 191
B.L. STORY DIAGRAM EXECUTION BENCHMARK 191
B.2. UML2RDBMS TRANSFORMATION AND SYNCHRONIZATION BENCHMARK RESULTS 192
B.3. SDL2UML TRANSFORMATION AND SYNCHRONIZATION BENCHMARK RESULTS 195
BIBLIOGRAPHY 198
LIST OF FIGURES 210
LIST OF TABLES 215
|
| any_adam_object | 1 |
| author | Hildebrandt, Stephan |
| author_facet | Hildebrandt, Stephan |
| author_role | aut |
| author_sort | Hildebrandt, Stephan |
| author_variant | s h sh |
| building | Verbundindex |
| bvnumber | BV041996807 |
| ctrlnum | (OCoLC)886647862 (DE-599)GBV790789140 |
| dewey-full | 005.10285 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.10285 |
| dewey-search | 005.10285 |
| dewey-sort | 15.10285 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01436nam a2200361 c 4500</leader><controlfield tag="001">BV041996807</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141001 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">140728s2014 ad|| m||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)886647862</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV790789140</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-188</subfield><subfield code="a">DE-12</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.10285</subfield><subfield code="2">22//ger</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hildebrandt, Stephan</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">On the performance and conformance of triple graph grammar implementations</subfield><subfield code="c">by Stephan Hildebrandt</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 217 S.</subfield><subfield code="b">Ill., graph. Darst.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Potsdam, Univ., Diss., 2014</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">Mit einer Zssfassung in dt. Sprache</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-2</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</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">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027438931&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027438931</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV041996807 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T01:10:11Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027438931 |
| oclc_num | 886647862 |
| open_access_boolean | |
| owner | DE-188 DE-12 |
| owner_facet | DE-188 DE-12 |
| physical | VIII, 217 S. Ill., graph. Darst. |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| record_format | marc |
| spelling | Hildebrandt, Stephan Verfasser aut On the performance and conformance of triple graph grammar implementations by Stephan Hildebrandt 2014 VIII, 217 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Potsdam, Univ., Diss., 2014 Mit einer Zssfassung in dt. Sprache Modellgetriebene Entwicklung (DE-588)4832365-2 gnd rswk-swf Modelltransformation (DE-588)7616754-9 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Modelltransformation (DE-588)7616754-9 s Modellgetriebene Entwicklung (DE-588)4832365-2 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027438931&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Hildebrandt, Stephan On the performance and conformance of triple graph grammar implementations Modellgetriebene Entwicklung (DE-588)4832365-2 gnd Modelltransformation (DE-588)7616754-9 gnd |
| subject_GND | (DE-588)4832365-2 (DE-588)7616754-9 (DE-588)4113937-9 |
| title | On the performance and conformance of triple graph grammar implementations |
| title_auth | On the performance and conformance of triple graph grammar implementations |
| title_exact_search | On the performance and conformance of triple graph grammar implementations |
| title_full | On the performance and conformance of triple graph grammar implementations by Stephan Hildebrandt |
| title_fullStr | On the performance and conformance of triple graph grammar implementations by Stephan Hildebrandt |
| title_full_unstemmed | On the performance and conformance of triple graph grammar implementations by Stephan Hildebrandt |
| title_short | On the performance and conformance of triple graph grammar implementations |
| title_sort | on the performance and conformance of triple graph grammar implementations |
| topic | Modellgetriebene Entwicklung (DE-588)4832365-2 gnd Modelltransformation (DE-588)7616754-9 gnd |
| topic_facet | Modellgetriebene Entwicklung Modelltransformation Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027438931&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT hildebrandtstephan ontheperformanceandconformanceoftriplegraphgrammarimplementations |