The metamodelling language M2L: an approach for seamless language engineering and formal metamodelling
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
2012
|
| Schlagworte: | |
| Online-Zugang: | Volltext https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20120217-1082910-1-4 Inhaltsverzeichnis |
| Beschreibung: | XVII, 326 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV040152802 | ||
| 003 | DE-604 | ||
| 005 | 20130128 | ||
| 007 | t | ||
| 008 | 120524s2012 d||| m||| 00||| eng d | ||
| 035 | |a (OCoLC)796242846 | ||
| 035 | |a (DE-599)BVBBV040152802 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-473 |a DE-703 |a DE-1051 |a DE-824 |a DE-29 |a DE-12 |a DE-91 |a DE-19 |a DE-1049 |a DE-92 |a DE-739 |a DE-898 |a DE-355 |a DE-706 |a DE-20 |a DE-1102 |a DE-91G | ||
| 084 | |a DAT 364d |2 stub | ||
| 084 | |a DAT 315d |2 stub | ||
| 084 | |a DAT |2 stub | ||
| 100 | 1 | |a Merenda, Stefano |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The metamodelling language M2L |b an approach for seamless language engineering and formal metamodelling |c Stefano M. Merenda |
| 264 | 1 | |c 2012 | |
| 300 | |a XVII, 326 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a München, Techn. Univ., Diss., 2012 | ||
| 650 | 0 | 7 | |a Entwurfssprache |0 (DE-588)4295335-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Metamodell |0 (DE-588)4825945-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Entwurfssprache |0 (DE-588)4295335-2 |D s |
| 689 | 0 | 1 | |a Metamodell |0 (DE-588)4825945-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |o urn:nbn:de:bvb:91-diss-20120217-1082910-1-4 |
| 856 | 4 | 1 | |u http://mediatum.ub.tum.de/node?id=1082910 |x Verlag |z kostenfrei |3 Volltext |
| 856 | 4 | |u https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20120217-1082910-1-4 |x Resolving-System | |
| 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=025009505&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-025009505 | ||
Datensatz im Suchindex
| _version_ | 1804149178600783872 |
|---|---|
| adam_text | IMAGE 1
CONTENTS
1. INTRODUCTION 1
1.1. CURRENT SITUATION 1
1.2. THREE LEVELS OF INTEGRATION 6
1.3. APPROACH . 8
1.4. RELATED WORK 10
1.5. CONTRIBUTION 17
L.G. OVERVIEW OF THE PRESENT THESIS 18
2. METAMODELS AND S E A M L E S S LANGUAGE ENGINEERING 21
2.1. METAMODELS - COMPRISING THE FOUR VERTICAL TOOLING ASPECTS 21
2.2. THE THREE DIMENSIONS OF SEAMLESS LANGUAGE ENGINEERING 31
2.3. REQUIREMENTS TO A METAMODELLING LANGUAGE 34
2.4. PROCEDURE SPECIFYING THE (SELF-DESCRIBING) METAMODELLING LANGUAGE
M2L . . . 42
3. RUNNING EXAMPLE: MODELLING DATAFLOW ALGORITHMS 45
3.1. CRITERIA FOR SELECTING A SUITABLE RUNNING EXAMPLE 45
3.2. INDUSTRIAL PROJECT, CONTEXT 46
3.3. INFORMAL DESCRIPTION OF THE MODELLING LANGUAGE 49
3.4., A FIRST, SEMI-FORMAL ABSTRACT SYNTAX 50
3.5. TWO EXEMPLARY DATAFLOW DIAGRAMS 53
3.0. ISSUES TO BE EXPRESSED BY A FORMALISED METAMODEL 58
4. P O M S E T S IN THE CONTEXT OF METAMODELLING 61
4.1. RELATIONSHIP BETWEEN DIFFERENT TYPES OF SETS 61
4.2. DEFINITION OF POMSETS 62
4.3. NOTATIONS FOR POMSETS 63
4.4. OPERATORS ON POMSETS 66
4.5. RUNNING EXAMPLE 80
5. MODELS A S ABSTRACT WORDS 81
5.1. M-GRAPHS (MODEL-GRAPHS) . . . : 81
5.2. DEFINING M-GRAPIIS WITHOUT USING POMSETS 85
5.3. GRAPH-LIKE NOTATION FOR ABSTRACT WORDS 86
5.4. NODE EQUIVALENCE 86
5.5. MAPPING ESTABLISHED METAMODELLING CONCEPTS TO ABSTRACT WORDS 88
5.0. RMMING EXAMPLE 92
5.7. DEFINING M2L - STEP 1: M2L META-METAMODEL IN TERMS OF AN ABSTRACT
WORD 94
STEFANO MERENDA XIII
HTTP://D-NB.INFO/1026105765
IMAGE 2
CONTENTS
6. QUERIES O N ABSTRACT WORDS - THE EDGE ALGEBRA 9 5
( .1. FUNDAMENTAL EDGE ALGEBRA 95
6.2. PREPOSITIONAL EDGE ALGEBRA 106
0.3. DEFINING ABSTRACT LANGUAGES USING EDGE ALGEBRA I L L
6.4. RUNNING EXAMPLE 113
6.5. DEFINING M 2L - STEJ) 2: M2L DEFINED BY EDGE ALGEBRA STATEMENTS 117
7. ABSTRACT SYNTAXES IN M2L 119
7.1. RELATIONSHIP BETWEEN MODEL AND METAMODEL 119
7.2. SEMI-FORMAL INTRODUCTION OF THE ABSTRACT SYNTAX 122
7.3. BASIC APPROACH DEFINING SEMANTICS FOR ABSTRACT SYNTAXES 124
7.4. SEMANTICS FOR ABSTRACT, SYNTAXES - PART 1: BASIC METAMODELLING
CONCEPTS . . 125 7.5. SEMANTICS FOR ABSTRACT SYNTAXES - PART 2: EXTENDED
METAMODELLING CONCEPTS 133 7.6. RUNNING EXAMPLE 150
7.7. DEFINING M2L - STEP 3: RELATIONSHIP BETWEEN META-METAMODEL AND EDGE
ALGEBRA 152
8. TEXTUAL CONCRETE SYNTAXES IN M2L 153
8.1. RELATIONSHIP BETWEEN ABSTRACT AND CONCRETE SYNTAXES 153
8.2. SEMI-FORMAL INTRODUCTION OF THE ABSTRACT SYNTAX 155
8.3. BASIC APPROACH DEFINING SEMANTICS FOR CONCRETE SYNTAXES 157
8.4. CANONICAL TEXTUAL SYNTAX FOR M-GRAPHS 160
8-5. SEMANTICS FOR CONCRETE SYNTAXES - A TEMPLATE-BASED APPROACH 162
8.6. RUNNING EXAMPLE 167
8.7. DEFINING M2L - STEP 4: M2L FINALLY DEFINED BY M2L ITSELF 169
9. THE OVERALL SPECIFICATION OF M2L 171
9.1. PACKAGE ORG.METAMODELS.BASICCONCEPU 172
9.2. PACKAGE ORG.ME.IANTODEH.M2L 183
9.3. PACKAGE ORG.MT J.AMODTLS.M2L.ABSTIUC.TSYIITAV.R. 188
9.4. PACKAGE ORG. METAMODEU.M 2L.COJICRETASYNTUX . . . 210
9.5. PACKAGE ORG.METAMODELS.M2L. GOIICRETESYIIUUR.. TEXTUAL 217
9.6. PACKAGE ORG.METMNODEH.EDGEALYEBRA 233
9.7. PACKAGE ORG. METAMODEL. EDGE ALGEBRA. EDGEEXPRESSITMS 235
9.8. PACKAGE ORG. METAMODEL*. EDGE ALGEBRA. PREDICOTEEXPRESSION-S 248 .
9.9. PACKAGE ORG.METAMODCLS.EDGE.ALGEBRA.NUMERICAL EXPRESSION* 263
10. SUMMARY, EVALUATION, A N D OUTLOOK 271
10.1. SUMMARY *. . . 271
10.2. EVALUATION 272
10.3. OUTLOOK 276
BIBLIOGRAPHY 281
A. META-METAMODEL - THE METAMODEL OF M2L 291
B. METAMODEL A N D EXEMPLARY MODELS FOR T H E RUNNING EXAMPLE 307
B.L. METAMODEL OF THE RUNNING EXAMPLE 307
B.2. EXEMPLARY MODEL: BASIC LIBRARY 312
B.3. EXEMPLARY MODEL: INTEGRATOR NETWORK 313
B.4. EXEMPLARY MODEL: DEMONSTRATION VEHICLE 315
B.5. EXEMPLARY MODEL: TEXTUAL SYNTAX DEMONSTRATION 320
X I V STEFANO MERENDA
|
| any_adam_object | 1 |
| author | Merenda, Stefano |
| author_facet | Merenda, Stefano |
| author_role | aut |
| author_sort | Merenda, Stefano |
| author_variant | s m sm |
| building | Verbundindex |
| bvnumber | BV040152802 |
| classification_tum | DAT 364d DAT 315d DAT |
| collection | ebook |
| ctrlnum | (OCoLC)796242846 (DE-599)BVBBV040152802 |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01862nam a2200421 c 4500</leader><controlfield tag="001">BV040152802</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130128 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">120524s2012 d||| m||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)796242846</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040152802</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 364d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 315d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Merenda, Stefano</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The metamodelling language M2L</subfield><subfield code="b">an approach for seamless language engineering and formal metamodelling</subfield><subfield code="c">Stefano M. Merenda</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 326 S.</subfield><subfield code="b">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">München, Techn. Univ., Diss., 2012</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entwurfssprache</subfield><subfield code="0">(DE-588)4295335-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Metamodell</subfield><subfield code="0">(DE-588)4825945-7</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">Entwurfssprache</subfield><subfield code="0">(DE-588)4295335-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Metamodell</subfield><subfield code="0">(DE-588)4825945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="o">urn:nbn:de:bvb:91-diss-20120217-1082910-1-4</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">http://mediatum.ub.tum.de/node?id=1082910</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20120217-1082910-1-4</subfield><subfield code="x">Resolving-System</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=025009505&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025009505</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV040152802 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T00:18:54Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025009505 |
| oclc_num | 796242846 |
| open_access_boolean | 1 |
| owner | DE-384 DE-473 DE-BY-UBG DE-703 DE-1051 DE-824 DE-29 DE-12 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1049 DE-92 DE-739 DE-898 DE-BY-UBR DE-355 DE-BY-UBR DE-706 DE-20 DE-1102 DE-91G DE-BY-TUM |
| owner_facet | DE-384 DE-473 DE-BY-UBG DE-703 DE-1051 DE-824 DE-29 DE-12 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-1049 DE-92 DE-739 DE-898 DE-BY-UBR DE-355 DE-BY-UBR DE-706 DE-20 DE-1102 DE-91G DE-BY-TUM |
| physical | XVII, 326 S. graph. Darst. |
| psigel | ebook |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| record_format | marc |
| spelling | Merenda, Stefano Verfasser aut The metamodelling language M2L an approach for seamless language engineering and formal metamodelling Stefano M. Merenda 2012 XVII, 326 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier München, Techn. Univ., Diss., 2012 Entwurfssprache (DE-588)4295335-2 gnd rswk-swf Metamodell (DE-588)4825945-7 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Entwurfssprache (DE-588)4295335-2 s Metamodell (DE-588)4825945-7 s DE-604 Erscheint auch als Online-Ausgabe urn:nbn:de:bvb:91-diss-20120217-1082910-1-4 http://mediatum.ub.tum.de/node?id=1082910 Verlag kostenfrei Volltext https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20120217-1082910-1-4 Resolving-System DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025009505&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Merenda, Stefano The metamodelling language M2L an approach for seamless language engineering and formal metamodelling Entwurfssprache (DE-588)4295335-2 gnd Metamodell (DE-588)4825945-7 gnd |
| subject_GND | (DE-588)4295335-2 (DE-588)4825945-7 (DE-588)4113937-9 |
| title | The metamodelling language M2L an approach for seamless language engineering and formal metamodelling |
| title_auth | The metamodelling language M2L an approach for seamless language engineering and formal metamodelling |
| title_exact_search | The metamodelling language M2L an approach for seamless language engineering and formal metamodelling |
| title_full | The metamodelling language M2L an approach for seamless language engineering and formal metamodelling Stefano M. Merenda |
| title_fullStr | The metamodelling language M2L an approach for seamless language engineering and formal metamodelling Stefano M. Merenda |
| title_full_unstemmed | The metamodelling language M2L an approach for seamless language engineering and formal metamodelling Stefano M. Merenda |
| title_short | The metamodelling language M2L |
| title_sort | the metamodelling language m2l an approach for seamless language engineering and formal metamodelling |
| title_sub | an approach for seamless language engineering and formal metamodelling |
| topic | Entwurfssprache (DE-588)4295335-2 gnd Metamodell (DE-588)4825945-7 gnd |
| topic_facet | Entwurfssprache Metamodell Hochschulschrift |
| url | http://mediatum.ub.tum.de/node?id=1082910 https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20120217-1082910-1-4 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025009505&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT merendastefano themetamodellinglanguagem2lanapproachforseamlesslanguageengineeringandformalmetamodelling |