Full semantics preservation in model transformation:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
Münster
Verl.-Haus Monsenstein und Vannerdat
2012
|
| Series: | Edition Octopus
|
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Physical Description: | XI, 209 S. graph. Darst. 22 cm, 250 g |
| ISBN: | 9783869915890 3869915897 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV040491831 | ||
| 003 | DE-604 | ||
| 005 | 20121115 | ||
| 007 | t | ||
| 008 | 121018s2012 gw d||| m||| 00||| eng d | ||
| 015 | |a 12,N26 |2 dnb | ||
| 015 | |a 12,A31 |2 dnb | ||
| 016 | 7 | |a 1023542331 |2 DE-101 | |
| 020 | |a 9783869915890 |c kart. : EUR 21.50 (DE), EUR 22.10 (AT) |9 978-3-86991-589-0 | ||
| 020 | |a 3869915897 |9 3-86991-589-7 | ||
| 024 | 3 | |a 9783869915890 | |
| 035 | |a (OCoLC)803978064 | ||
| 035 | |a (DE-599)DNB1023542331 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-NW | ||
| 049 | |a DE-473 | ||
| 082 | 0 | |a 005.10285 |2 22/ger | |
| 082 | 0 | |a 005.101511 |2 22/ger | |
| 084 | |a ST 140 |0 (DE-625)143592: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Semenyak, Maria |e Verfasser |0 (DE-588)1023697866 |4 aut | |
| 245 | 1 | 0 | |a Full semantics preservation in model transformation |c Maria Semenyak |
| 264 | 1 | |a Münster |b Verl.-Haus Monsenstein und Vannerdat |c 2012 | |
| 300 | |a XI, 209 S. |b graph. Darst. |c 22 cm, 250 g | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Edition Octopus | |
| 502 | |a Zugl.: Paderborn, Univ., Diss., 2011 | ||
| 650 | 0 | 7 | |a Semantikerhaltende Transformation |0 (DE-588)4615977-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Semantikerhaltende Transformation |0 (DE-588)4615977-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4063278&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 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=025338803&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025338803 | |
Record in the Search Index
| _version_ | 1809404151311892480 |
|---|---|
| adam_text |
IMAGE 1
S H O R T CONTENTS
SHORT C O N T E N T S * VIII
C O N T E N T S * I X
1 MOTIVATION A N D OVERVIEW * 1
2 P R O B L E M S T A T E M E N T * 1 1
3 F O U N D A T I O N S O F GRAPH T R A N S F O R M A T I O N S * 3 5
4 EQUIVALENCE RELATION ON LTS * 5 9
5 M E T H O D FOR S E M A N T I C S PRESERVING MODEL T R A N S F O R M A
T I O N * 8 1
6 CASE STUDY: MODEL T R A N S F O R M A T I O N O F CCS INTO PETRI N E T
S * 1 0 3
7 CONCLUSION * 1 8 3
BIBLIOGRAPHY * 189
LIST O F FIGURES * 2 0 4
HTTP://D-NB.INFO/1023542331
IMAGE 2
C O N T E N T S
SHORT C O N T E N T S VIII
C O N T E N T S I X
1 MOTIVATION A N D OVERVIEW 1
1.1 ROLE OF MODELS IN SOFTWARE D E V E L O P M E N T 3
1.2 MODEL-BASED SOFTWARE DEVELOPMENT P R O C E S S 5
1.3 CORRECTNESS OF MODEL T R A N S F O R M A T I O N 6
1.4 OBJECTIVE OF T H I S T H E S I S 8
1.5 SOLUTION I D E A 8
1.6 S T R U C T U R E O F T H I S THESIS 10
2 P R O B L E M S T A T E M E N T 11
2.1 MODEL-DRIVEN A R C H I T E C T U R E A P P R O A C H 11
2.2 R E Q U I R E M E N T S FOR MODEL T R A N S F O R M A T I O N 15
2.3 SURVEY O F TECHNIQUES FOR SEMANTICS P R E S E R V I N G MODEL T R A
N S F O R M A T I O N S 16
2.3.1 OVERVIEW O F SPECIFIC A P P R O A C H E S 16
2.3.2 DISCUSSION 2 1
2.3.3 CONCLUSION FROM T H E SURVEY 22
2.4 C O N C E P T O F O U R M E T H O D 22
2.4.1 SYNTAX DEFINITION 23
2.4.2 BEHAVIOURAL SEMANTICS DEFINITION 29
2.4.3 SEMANTICS P R E S E R V I N G MODEL T R A N S F O R M A T I O N 32
2.5 S U M M A R Y 34
3 FOUNDATIONS O F GRAPH T R A N S F O R M A T I O N S 35
3.1 G R A P H S 36
3.1.1 G R A P H S A N D T Y P E D G R A P H S 36
3.1.2 T Y P E R E S T R I C T I O N 38
3.1.3 A T T R I B U T E D G R A P H S 39
I X
IMAGE 3
C O N T E N T S
3.2 G R A P H S AS A TOOL FOR S Y N T A X DEFINITION 4 1
3.3 G R A P H T R A N S F O R M A T I O N S 44
3.3.1 I N T R O D U C T I O N 44
3.3.2 BASIC DEFINITIONS FOR G R A P H T R A N S F O R M A T I O N S 4 5
3.3.3 INJECTIVE A N D NON-INJECTIVE M A T C H E S 46
3.3.4 I M P O R T A N T N O T A T I O N 4 7
3.3.5 UNIVERSAL QUANTIFICATION 4 8
3.3.6 G R A P H T R A N S F O R M A T I O N S FOR A T T R I B U T E D G
R A P H S 50
3.4 BEHAVIOURAL SEMANTICS B A S E D ON G R A P H T R A N S F O R M A T I
O N S 51
3.5 MODEL T R A N S F O R M A T I O N B A S E D O N G R A P H T R A N S
F O R M A T I O N S 54
3.6 G R A P H T R A N S F O R M A T I O N TOOL 56
3.7 S U M M A R Y 57
4 EQUIVALENCE RELATION O N LTS 5 9
4.1 GENERAL A P P R O A C H 59
4.2 TRANSITION SYSTEMS 6 3
4.3 BISIMULATION AS T Y P E OF BEHAVIORAL EQUIVALENCE 65
4.4 P R O P E R T I E S SPECIFICATION OVER L T S 6 7
4.4.1 WHY ACTL 68
4.4.2 S Y N T A X O F A C T L 68
4.4.3 SEMANTICS OF A C T L 69
4.4.4 BEHAVIOURAL P R O P E R T I E S SPECIFICATION W I T H A C T L . .
. . 70
4.5 A C T L EQUIVALENCE A N D W E A K BISIMULATION 74
4.5.1 A C T L EQUIVALENCE 74
4.5.2 P R E S E R V A T I O N OF A C T L F O R M U L A S B Y W E A K
BISIMULATION . 74
4.5.3 ADDITIONAL T H E O R E M A B O U T A C T L FORMULAS P R E S E R V
A T I O N 78
4.6 S U M M A R Y 79
5 M E T H O D FOR S E M A N T I C S PRESERVING MODEL T R A N S F O R M A
T I O N 8 1
5.1 P R O B L E M DEFINITION 82
5.2 P R O P O S E D SOLUTION 8 3
5.3 M E T H O D 85
5.3.1 L A N G U A G E S Y N T A X (STEP 1) 85
5.3.2 L A N G U A G E SEMANTICS ( S T E P 2) 86
5.3.3 M A P P I N G OVER T H E R U L E S Y S T E M S ( S T E P 3) 8 7
5.3.4 MODEL T R A N S F O R M A T I O N ( S T E P 4) 8 8
5.3.5 ESTABLISHMENT, OF W E A K BISIMULATION ( S T E P 5) 89
5.3.6 S U M M A R Y 96
5.4 I N T E R P R E T A T I O N O F BEHAVIOURAL P R O P E R T I E S 96
5.5 S U M M A R Y 101
6 CASE STUDY: MODEL T R A N S F O R M A T I O N O F CCS INTO PETRI N E T
S 1 0 3
IMAGE 4
C O N T E N T S XI
6.1 C C S L A N G U A G E (STEPS 1-2) 106
6.1.1 ORIGINAL S Y N T A X ARID SEMANTICS 106
6.1.2 F R O M E B N F T O M E T A - M O D E L 108
6.1.3 F R O M INTERLEAVING O P E R A T I O N A L SEMANTICS T O SEMANTICS
DEFINED B Y G R A P H T R A N S F O R M A T I O N S 112
6.1.4 SEMANTICS P R E S E R V A T I O N 122
6.2 P E T R I N E T S (STEPS 1-2) 139
6.2.1 S Y N T A X 139
6.2.2 SEMANTICS 140
6.3 M A P P I N G OVER T H E R U L E S Y S T E M S (STEP 3) 142
6.4 MODEL T R A N S F O R M A T I O N SPECIFICATION ( S T E P 4) 144
6.4.1 T G G MODEL T R A N S F O R M A T I O N 144
6.4.2 M A P P I N G O F WELL-FORMED C C S G R A P H S T O P E T R I N E
T S . . 145
6.4.3 G R A P H T R A N S F O R M A T I O N S Y S T E M 148
6.4.4 AUXILIARY N O T A T I O N FOR C C S G R A P H S 157
6.4.5 I M P O R T A N T OBSERVATIONS A B O U T C C S G R A P H S 161
6.5 CORRECTNESS OF M O D E L T R A N S F O R M A T I O N (STEP 5) 163
6.5.1 AUXILIARY N O T A T I O N FOR C O R R E S P O N D I N G NODES 163
6.5.2 I M P O R T A N T OBSERVATIONS A B O U T C O R R E S P O N D I N G
S T R U C T U R E 164
6.5.3 DEFINITION A N D P R O V I N G O F W E A K BISIMULATION 167
6.6 P R O P E R T I E S I N T E R P R E T A T I O N FOR P E T R I N E T
S 177
6.6.1 S Y S T E M DESIGN 177
6.6.2 P R O P E R T I E S SPECIFICATION 180
6.6.3 P R O P E R T I E S I N T E R P R E T A T I O N 181
6.7 S U M M A R Y .182
7 CONCLUSION 1 8 3
7.1 C O N T R I B U T I O N O F T H I S THESIS 183
7.2 ANALYSIS O F T H E M E T H O D 184
7.2.1 RESTRICTIONS 184
7.2.2 MODEL T R A N S F O R M A T I O N .184
7.2.3 P R O O F S T A T E M E N T 185
7.2.4 P R O O F A L G O R I T H M 185
7.3 DISCUSSION OF T H E M E T H O D 185
7.4 OVERVIEW O F P U B L I C A T I O N S 186
7.5 F U T U R E RESEARCH 187
BIBLIOGRAPHY 189
LIST O F FIGURES 2 0 4 |
| any_adam_object | 1 |
| author | Semenyak, Maria |
| author_GND | (DE-588)1023697866 |
| author_facet | Semenyak, Maria |
| author_role | aut |
| author_sort | Semenyak, Maria |
| author_variant | m s ms |
| building | Verbundindex |
| bvnumber | BV040491831 |
| classification_rvk | ST 140 |
| ctrlnum | (OCoLC)803978064 (DE-599)DNB1023542331 |
| dewey-full | 005.10285 005.101511 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.10285 005.101511 |
| dewey-search | 005.10285 005.101511 |
| 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>00000nam a2200000 c 4500</leader><controlfield tag="001">BV040491831</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20121115</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">121018s2012 gw d||| m||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N26</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,A31</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1023542331</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783869915890</subfield><subfield code="c">kart. : EUR 21.50 (DE), EUR 22.10 (AT)</subfield><subfield code="9">978-3-86991-589-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3869915897</subfield><subfield code="9">3-86991-589-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783869915890</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)803978064</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1023542331</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</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-NW</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.10285</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.101511</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 140</subfield><subfield code="0">(DE-625)143592:</subfield><subfield code="2">rvk</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">Semenyak, Maria</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1023697866</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Full semantics preservation in model transformation</subfield><subfield code="c">Maria Semenyak</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Münster</subfield><subfield code="b">Verl.-Haus Monsenstein und Vannerdat</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 209 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">22 cm, 250 g</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="490" ind1="0" ind2=" "><subfield code="a">Edition Octopus</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Paderborn, Univ., Diss., 2011</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="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">Semantikerhaltende Transformation</subfield><subfield code="0">(DE-588)4615977-0</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">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4063278&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=025338803&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025338803</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV040491831 |
| illustrated | Illustrated |
| indexdate | 2024-09-06T00:24:26Z |
| institution | BVB |
| isbn | 9783869915890 3869915897 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025338803 |
| oclc_num | 803978064 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG |
| owner_facet | DE-473 DE-BY-UBG |
| physical | XI, 209 S. graph. Darst. 22 cm, 250 g |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Verl.-Haus Monsenstein und Vannerdat |
| record_format | marc |
| series2 | Edition Octopus |
| spelling | Semenyak, Maria Verfasser (DE-588)1023697866 aut Full semantics preservation in model transformation Maria Semenyak Münster Verl.-Haus Monsenstein und Vannerdat 2012 XI, 209 S. graph. Darst. 22 cm, 250 g txt rdacontent n rdamedia nc rdacarrier Edition Octopus Zugl.: Paderborn, Univ., Diss., 2011 Semantikerhaltende Transformation (DE-588)4615977-0 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Semantikerhaltende Transformation (DE-588)4615977-0 s DE-604 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4063278&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025338803&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Semenyak, Maria Full semantics preservation in model transformation Semantikerhaltende Transformation (DE-588)4615977-0 gnd |
| subject_GND | (DE-588)4615977-0 (DE-588)4113937-9 |
| title | Full semantics preservation in model transformation |
| title_auth | Full semantics preservation in model transformation |
| title_exact_search | Full semantics preservation in model transformation |
| title_full | Full semantics preservation in model transformation Maria Semenyak |
| title_fullStr | Full semantics preservation in model transformation Maria Semenyak |
| title_full_unstemmed | Full semantics preservation in model transformation Maria Semenyak |
| title_short | Full semantics preservation in model transformation |
| title_sort | full semantics preservation in model transformation |
| topic | Semantikerhaltende Transformation (DE-588)4615977-0 gnd |
| topic_facet | Semantikerhaltende Transformation Hochschulschrift |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4063278&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025338803&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT semenyakmaria fullsemanticspreservationinmodeltransformation |