Holdings: The metamodelling language M2L

The metamodelling language M2L: an approach for seamless language engineering and formal metamodelling

Saved in:

Bibliographic Details
Main Author:	Merenda, Stefano (Author)
Format:	Thesis Book
Language:	English
Published:	2012
Subjects:	Entwurfssprache Metamodell Hochschulschrift
Online Access:	Volltext https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20120217-1082910-1-4 Inhaltsverzeichnis
Physical Description:	XVII, 326 S. graph. Darst.

Staff View

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

Record in the Search Index

_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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items