Modal specification theories for component-based design:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
2012
|
| Schlagworte: | |
| Online-Zugang: | http://d-nb.info/1029040265/34 https://nbn-resolving.org/urn:nbn:de:bvb:19-150389 kostenfrei Inhaltsverzeichnis |
| Beschreibung: | XVI, 248 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV040891483 | ||
| 003 | DE-604 | ||
| 005 | 20200506 | ||
| 007 | t | ||
| 008 | 130318s2012 gw d||| m||| 00||| eng d | ||
| 015 | |a 13,O01 |2 dnb | ||
| 016 | 7 | |a 1029040265 |2 DE-101 | |
| 035 | |a (OCoLC)835579432 | ||
| 035 | |a (DE-599)DNB1029040265 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BY | ||
| 049 | |a DE-12 |a DE-384 |a DE-473 |a DE-703 |a DE-1051 |a DE-824 |a DE-29 |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 | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Bauer, Sebastian |e Verfasser |0 (DE-588)1030399468 |4 aut | |
| 245 | 1 | 0 | |a Modal specification theories for component-based design |c Sebastian Bauer |
| 264 | 1 | |c 2012 | |
| 300 | |a XVI, 248 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a München,Univ., Diss., 2012 | ||
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |o urn:nbn:de:bvb:19-150389 |
| 856 | 4 | |u http://d-nb.info/1029040265/34 |x Langzeitarchivierung Nationalbibliothek | |
| 856 | 4 | |u https://nbn-resolving.org/urn:nbn:de:bvb:19-150389 |x Resolving-System | |
| 856 | 4 | 1 | |u http://edoc.ub.uni-muenchen.de/15038/ |x Verlag |z kostenfrei |3 Volltext |
| 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=025871130&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-025871130 | ||
Datensatz im Suchindex
| _version_ | 1804150173967843328 |
|---|---|
| adam_text | IMAGE 1
C O N T E N T S
1 INTRODUCTION 1
1.1 SOFTWARE COMPONENTS AND COMPONENT INTERFACE SPECIFICATIONS . . . 1
1.2 STATE OF THE ART IN INTERFACE SPECIFICATIONS 3
1.3 RESEARCH GOALS 7
1.4 CONTRIBUTIONS 8
1.5 THESIS STRUCTURE 18
2 SPECIFICATION THEORIES 19
2.1 DEFINITION 20
2.2 RELATED WORK 25
2.3 SUMMARY 27
3 MODAL INPUT/OUTPUT AUTOMATA 29
3.1 DEFINITION 30
3.2 MODAL SYNCHRONOUS COMPOSITION 34
3.3 THE SPECIFICATION THEORIES TTIF^ NG AND T H ^ G 36
3.3.1 STRONG MODAL REFINEMENT 36
3.3.2 STRONG ENVIRONMENT CORRECTNESS 39
3.3.3 DEFINITION OF THF^ ONG AND T H F ^ G 4 1
3.4 THE SPECIFICATION THEORY T H J ^ K 42
3.4.1 WEAK MODAL REFINEMENT 42
3.4.2 WEAK ENVIRONMENT CORRECTNESS 45
3.4.3 DEFINITION OF TH!^ K 47
3.5 DISCUSSION AND RELATED WORK 48
3.6 SUMMARY 52
4 MODAL INPUT/OUTPUT AUTOMATA W I T H D A T A CONSTRAINTS 5 3
4.1 DEFINITION 54
4.2 MODAL SYNCHRONOUS COMPOSITION 62
4.3 THE SPECIFICATION THEORY AND 65
4.3.1 STRONG MODAL REFINEMENT 65
4.3.2 STRONG ENVIRONMENT CORRECTNESS 73
4.3.3 DEFINITION OF AND T H * * 76
HTTP://D-NB.INFO/1030399549
IMAGE 2
CONTENTS
4.4 PREDICATE ABSTRACTION 77
4.5 DENOTATIONAL SEMANTICS 90
4.6 THE SPECIFICATION THEORY 95
4.6.1 WEAK MODAL REFINEMENT 95
4.6.2 WEAK ENVIRONMENT CORRECTNESS 99
4.6.3 DEFINITION OF T H ^ 99
4.7 DISCUSSION AND RELATED WORK 100
4.8 SUMMARY 102
5 X - W E I G H T E D MODAL INPUT/OUTPUT AUTOMATA 103
5.1 DEFINITION 104
5.2 MODAL SYNCHRONOUS COMPOSITION 107
5.3 THE SPECIFICATION THEORIES TH% J, M1 AND TH D ST F 0 ^ MM 108
5.3.1 STRONG MODAL REFINEMENT 108
5.3.2 DEFINITION O T T H F T R ^ M AND TH D ST ** 114
5.4 LOGICAL CHARACTERIZATION OF STRONG MODAL REFINEMENT 116
5.5 THE SPECIFICATION THEORY T H ^ M M 122
5.5.1 WEAK MODAL REFINEMENT 122
5.5.2 DEFINITION OF TH^ E ~^ M0 125
5.6 COMPLETING THE HIERARCHY OF MODAL SPECIFICATION THEORIES 126 5.7
DISCUSSION AND RELATED WORK 129
5.8 SUMMARY 130
6 QUANTITATIVE MODAL REFINEMENT 131
6.1 MODAL REFINEMENT DISTANCES 136
6.2 COMPOSITIONALITY IN THE CONTEXT OF MODAL REFINEMENT DISTANCES . . 1
4 6 6.3 RELATED WORK 148
6.4 SUMMARY 149
7 MOVING FROM SPECIFICATION THEORIES T O CONTRACTS 151
7.1 COMPLETE SPECIFICATION THEORIES 155
7.2 CONTRACTS AND THEIR SEMANTICS 157
7.2.1 REFINEMENT OF CONTRACTS 159
7.2.2 DOMINANCE AND COMPOSITION OF CONTRACTS 161
7.3 MODAL CONTRACTS BASED ON THG^ G 171
7.3.1 COMPLETENESS OF T H ^ ^ G 171
7.3.2 MODAL CONTRACTS 184
7.3.3 EXAMPLE: MESSAGE TRANSMISSION SYSTEM 191
7.4 MODAL CONTRACTS BASED ON 196
7.4.1 MODAL CONTRACTS 197
7.4.2 EXAMPLE: BANK ACCOUNT 204
7.5 LIMITATIONS OF THE APPROACH 207
7.6 RELATED WORK 208
IMAGE 3
CONTENTS X V
7.7 SUMMARY 210
8 TOOL SUPPORT: T H E MIO WORKBENCH 211
8.1 FEATURES 212
8.2 USER INTERFACE 212
8.2.1 EDITORS (AREA 2) 214
8.2.2 VIEWS (AREA 3) 216
8.3 INPUT LANGUAGE 217
8.3.1 SHORT TUTORIAL ON THE INPUT LANGUAGE 219
8.3.2 GRAMMAR OF THE INPUT LANGUAGE 221
8.4 RELATED WORK 221
9 CONCLUSION 223
9.1 CONTRIBUTIONS 223
9.2 DISCUSSION AND FUTURE WORK 226
|
| any_adam_object | 1 |
| author | Bauer, Sebastian |
| author_GND | (DE-588)1030399468 |
| author_facet | Bauer, Sebastian |
| author_role | aut |
| author_sort | Bauer, Sebastian |
| author_variant | s b sb |
| building | Verbundindex |
| bvnumber | BV040891483 |
| collection | ebook |
| ctrlnum | (OCoLC)835579432 (DE-599)DNB1029040265 |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01634nam a2200385zc 4500</leader><controlfield tag="001">BV040891483</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200506 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">130318s2012 gw d||| m||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,O01</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1029040265</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)835579432</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1029040265</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-BY</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><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-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></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">Bauer, Sebastian</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1030399468</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modal specification theories for component-based design</subfield><subfield code="c">Sebastian Bauer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 248 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,Univ., Diss., 2012</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="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:19-150389</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://d-nb.info/1029040265/34</subfield><subfield code="x">Langzeitarchivierung Nationalbibliothek</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">https://nbn-resolving.org/urn:nbn:de:bvb:19-150389</subfield><subfield code="x">Resolving-System</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">http://edoc.ub.uni-muenchen.de/15038/</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</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=025871130&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-025871130</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV040891483 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T00:34:43Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025871130 |
| oclc_num | 835579432 |
| open_access_boolean | 1 |
| owner | DE-12 DE-384 DE-473 DE-BY-UBG DE-703 DE-1051 DE-824 DE-29 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 |
| owner_facet | DE-12 DE-384 DE-473 DE-BY-UBG DE-703 DE-1051 DE-824 DE-29 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 |
| physical | XVI, 248 S. graph. Darst. |
| psigel | ebook |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| record_format | marc |
| spelling | Bauer, Sebastian Verfasser (DE-588)1030399468 aut Modal specification theories for component-based design Sebastian Bauer 2012 XVI, 248 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier München,Univ., Diss., 2012 (DE-588)4113937-9 Hochschulschrift gnd-content Erscheint auch als Online-Ausgabe urn:nbn:de:bvb:19-150389 http://d-nb.info/1029040265/34 Langzeitarchivierung Nationalbibliothek https://nbn-resolving.org/urn:nbn:de:bvb:19-150389 Resolving-System http://edoc.ub.uni-muenchen.de/15038/ Verlag kostenfrei Volltext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025871130&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Bauer, Sebastian Modal specification theories for component-based design |
| subject_GND | (DE-588)4113937-9 |
| title | Modal specification theories for component-based design |
| title_auth | Modal specification theories for component-based design |
| title_exact_search | Modal specification theories for component-based design |
| title_full | Modal specification theories for component-based design Sebastian Bauer |
| title_fullStr | Modal specification theories for component-based design Sebastian Bauer |
| title_full_unstemmed | Modal specification theories for component-based design Sebastian Bauer |
| title_short | Modal specification theories for component-based design |
| title_sort | modal specification theories for component based design |
| topic_facet | Hochschulschrift |
| url | http://d-nb.info/1029040265/34 https://nbn-resolving.org/urn:nbn:de:bvb:19-150389 http://edoc.ub.uni-muenchen.de/15038/ http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025871130&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT bauersebastian modalspecificationtheoriesforcomponentbaseddesign |