Virtual integration: a game-theoretic approach
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
2014
|
| Schlagworte: | |
| Online-Zugang: | kostenfrei https://nbn-resolving.org/urn:nbn:de:bvb:355-epub-301001 Inhaltsverzeichnis |
| Beschreibung: | XIV, 163 S. Ill., graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV041974906 | ||
| 003 | DE-604 | ||
| 005 | 20140801 | ||
| 007 | t | ||
| 008 | 140715s2014 ad|| m||| 00||| eng d | ||
| 035 | |a (OCoLC)884484167 | ||
| 035 | |a (DE-599)BVBBV041974906 | ||
| 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 | ||
| 082 | 0 | |a 004 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 100 | 1 | |a Schorer, Michael |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Virtual integration |b a game-theoretic approach |c von Michael Schorer |
| 264 | 1 | |c 2014 | |
| 300 | |a XIV, 163 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Regensburg, Univ., Diss., 2014 | ||
| 650 | 0 | 7 | |a Eingebettetes System |0 (DE-588)4396978-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spieltheorie |0 (DE-588)4056243-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kraftfahrzeugelektronik |0 (DE-588)4191569-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Integrierte Software |0 (DE-588)4120497-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Kraftfahrzeugelektronik |0 (DE-588)4191569-0 |D s |
| 689 | 0 | 1 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 0 | 2 | |a Integrierte Software |0 (DE-588)4120497-9 |D s |
| 689 | 0 | 3 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |D s |
| 689 | 0 | 4 | |a Spieltheorie |0 (DE-588)4056243-8 |D s |
| 689 | 0 | |C b |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |o urn:nbn:de:bvb:355-epub-301001 |
| 856 | 4 | 1 | |u http://epub.uni-regensburg.de/30100/ |x Verlag |z kostenfrei |3 Volltext |
| 856 | 4 | |u https://nbn-resolving.org/urn:nbn:de:bvb:355-epub-301001 |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=027417490&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-027417490 | ||
Datensatz im Suchindex
| _version_ | 1804152372550696960 |
|---|---|
| adam_text | VIRTUAL INTEGRATION
A GAME-THEORETIC
APPROACH
INAUGURAL-DISSERTATION ZUR ERLANGUNG DER DOKTORWIIRDE
DER FAKULTAT FUR SPRACH-, LITERATUR- UND
KULTURWISSENSCHAFTEN DER UNIVERSITAT REGENSBURG
VORGELEGT VON
MICHAEL SCHORER AUS
KEMPTEN (ALLGAU)
DIE ARBEIT WURDE IM JAHR 2014 VON DER
FAKULTAT FIIR SPRACH-, LITERATUR- UND KULTURWISSENSCHAFTEN
DER UNIVERSITAT REGENSBURG ALS DISSERTATION ANGENOMMEN.
HTTP://D-NB.INFO/1054707820
CONTENTS
1 INTRODUCTION 1
1.1 RESEARCH PROJECT VITAS
3
3
1.1.1 INDUSTRY CONTEXT 4
1.1.2 SURVEY 7
1.2 RESEARCH PROBLEM 10
1.3 CONTRIBUTIONS 10
1.4 ORGANIZATION OF THE THESIS 11
2 INTEGRATION IN THE SOFTWARE ENGINEERING
CONTEXT 13
2.1 INTEGRATION IN THE DEVELOPMENT PROCESS 13
2.2 SOFTWARE ARCHITECTURE 16
2.2.1 COMPONENT-BASED SYSTEM
ARCHITECTURE 17
2.2.2 COMPONENTS DEPENDENCIES 18
2.3 COMPATIBILITY 19
2.3.1 STATIC COMPATIBILITY 19
2.3.2 BEHAVIORAL COMPATIBILITY 20
2.4 INTEGRATION TESTING 21
2.5 INTEGRATION STRATEGIES 22
2.5.1 BIG BANG 24
2.5.2 BOTTOM UP 25
2.5.3 TOP DOWN 27
2.5.4 OUTSIDE IN 28
3 VIRTUAL INTEGRATION 31
3.1 INTRODUCTION 31
3.2 METHODOLOGY 32
3.2.1 COMPATIBILITY VERIFICATION 35
3.2.2 INTEGRATION PLANNING 35
3.2.3 INTEGRATION MONITORING 37
3.2.4 INTEGRATION ADMINISTRATION 38
3.2.5 BUILD AUTOMATION 39
I
4 INTEGRATION INFORMATION
SYSTEM 41
4.1 DEFINITIONS 43
4.1.1 INFORMATION 43
4.1.2 INTEGRATION-RELEVANT INFORMATION 44
4.2 RELATED WORK 45
4.3 STATE OF THE ART 46
4.4 ANALYSIS 48
4.4.1 PROCESS 48
4.4.2 AVAILABILITY 51
4.4.3 QUALITY 51
4.4.4 COLLABORATION 52
4.5 INFORMATION SYSTEM 53
4.6 DEFINITION OF THE IIS 55
4.6.1 INPUT SET 55
4.6.2 INPUT FUNCTION 58
4.6.3 INTERNAL REPRESENTATION 58
4.6.4 OUTPUT FUNCTION 58
4.6.5 OUTPUT SET 58
4.6.6 UPDATE FUNCTION 58
4.6.7 DIALOG COMPONENT 59
4.7 CLASSIFICATION 59
4.7.1 DECISION SUPPORT
SYSTEM 59
4.7.2 APPLICATION OF HOLSAPPLE S ARCHITECTURE 64
5 IIS PROTOTYPE ARCHITECTURE 67
5.1 IIS REQUIREMENTS 67
5.1.1 FUNCTIONAL REQUIREMENTS 67
5.1.2 NON-FUNCTIONAL REQUIREMENTS 68
5.2 OVERVIEW 69
5.3 INTEGRATION INFORMATION SYSTEM 70
5.4 MODEL MANAGER 72
5.4.1 AUTOSAR IMPORT VIA MODEL
TRANSFORMATION 73
5.4.2 MODEL MANAGER 76
5.5 INTEGRATION MANAGEMENT 76
5.6 MONITORING 78
5.7 COMPATIBILITY CHECKING 78
5.7.1 STATIC COMPATIBILITY 78
5.7.2 BEHAVIORAL COMPATIBILITY 79
5.8 INTEGRATION PLANNING SYSTEM 81
5.9 VISUALIZATION 84
5.10 BUILD SYSTEM 87
II
6 VERIFICATION OF DYNAMIC COMPATIBILITY 89
6.1 MODEL 90
6.1.1 INTERFACE AUTOMATA 90
6.1.2 TIMED INTERFACE AUTOMATA 91
6.1.3 MODELING INTEGRATION WITH INTERFACE AUTOMATA . ... 92
6.2 VERIFICATION PROCESS 94
6.2.1 EXAMPLE 94
6.2.2 VERIFICATION PROCESS EXAMPLE 96
6.3 INTERFACE AUTOMATA CASE
STUDY 101
6.3.1 PURPOSE 101
6.3.2 MODELING 101
7 INTEGRATION GAMES 105
7.1 CONCEPT OF INTEGRATION GAMES 106
7.2 INTEGRATION COST MEASUREMENT 107
7.2.1 MODEL 107
7.2.2 METRICS 110
7.3 INTEGRATION PLANNING PROBLEM 117
7.3.1 SOLUTION SPACE 118
7.3.2 INTEGRATION PLANNING PROBLEM OBJECTIVE FUNCTION . . 119
7.3.3 SOLVING THE
INTEGRATION PLANNING PROBLEM 119
7.3.4 RELATED WORK 120
7.4 GAME THEORY 121
7.4.1 SOLUTION CONCEPTS AND EQUILIBRIA 122
7.4.2 APPLICATION TO THE INTEGRATION PLANNING PROBLEM . . 122
7.4.3 SELECTION OF THE GAME REPRESENTATION 124
7.5 INTEGRATION GAME MODEL 128
7.5.1 STAGE
1: SEQUENCE LENGTH AND TESTABILITY 129
7.5.2 STAGE 2: COMPONENT
TIMEFRAMES 131
7.5.3 STAGE 3: COMPONENT DEPENDENCIES 132
7.5.4 STAGE 4: FLEXIBLE COMPONENT
TIMEFRAMES 134
7.6 IMPLEMENTATION 137
7.7 CONCLUSION 138
8 CONCLUSION AND
OUTLOOK 141
8.1 CONCLUSION 141
8.2 FURTHER WORK 142
A INTEGRATION STATE
OF THE ART SURVEY 145
B ACTION GRAPH GAME
FILE EXAMPLE 149
III
|
| any_adam_object | 1 |
| author | Schorer, Michael |
| author_facet | Schorer, Michael |
| author_role | aut |
| author_sort | Schorer, Michael |
| author_variant | m s ms |
| building | Verbundindex |
| bvnumber | BV041974906 |
| classification_rvk | ST 230 |
| collection | ebook |
| ctrlnum | (OCoLC)884484167 (DE-599)BVBBV041974906 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| 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>02170nam a2200481 c 4500</leader><controlfield tag="001">BV041974906</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140801 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">140715s2014 ad|| m||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)884484167</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041974906</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></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schorer, Michael</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Virtual integration</subfield><subfield code="b">a game-theoretic approach</subfield><subfield code="c">von Michael Schorer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 163 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">Regensburg, Univ., Diss., 2014</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spieltheorie</subfield><subfield code="0">(DE-588)4056243-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kraftfahrzeugelektronik</subfield><subfield code="0">(DE-588)4191569-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Integrierte Software</subfield><subfield code="0">(DE-588)4120497-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="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">Kraftfahrzeugelektronik</subfield><subfield code="0">(DE-588)4191569-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Integrierte Software</subfield><subfield code="0">(DE-588)4120497-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><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="4"><subfield code="a">Spieltheorie</subfield><subfield code="0">(DE-588)4056243-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="C">b</subfield><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:355-epub-301001</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">http://epub.uni-regensburg.de/30100/</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:355-epub-301001</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=027417490&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-027417490</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV041974906 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T01:09:40Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027417490 |
| oclc_num | 884484167 |
| 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 |
| 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 |
| physical | XIV, 163 S. Ill., graph. Darst. |
| psigel | ebook |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| record_format | marc |
| spelling | Schorer, Michael Verfasser aut Virtual integration a game-theoretic approach von Michael Schorer 2014 XIV, 163 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Regensburg, Univ., Diss., 2014 Eingebettetes System (DE-588)4396978-1 gnd rswk-swf Spieltheorie (DE-588)4056243-8 gnd rswk-swf Kraftfahrzeugelektronik (DE-588)4191569-0 gnd rswk-swf Integrierte Software (DE-588)4120497-9 gnd rswk-swf Modellgetriebene Entwicklung (DE-588)4832365-2 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Kraftfahrzeugelektronik (DE-588)4191569-0 s Eingebettetes System (DE-588)4396978-1 s Integrierte Software (DE-588)4120497-9 s Modellgetriebene Entwicklung (DE-588)4832365-2 s Spieltheorie (DE-588)4056243-8 s b DE-604 Erscheint auch als Online-Ausgabe urn:nbn:de:bvb:355-epub-301001 http://epub.uni-regensburg.de/30100/ Verlag kostenfrei Volltext https://nbn-resolving.org/urn:nbn:de:bvb:355-epub-301001 Resolving-System DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027417490&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Schorer, Michael Virtual integration a game-theoretic approach Eingebettetes System (DE-588)4396978-1 gnd Spieltheorie (DE-588)4056243-8 gnd Kraftfahrzeugelektronik (DE-588)4191569-0 gnd Integrierte Software (DE-588)4120497-9 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd |
| subject_GND | (DE-588)4396978-1 (DE-588)4056243-8 (DE-588)4191569-0 (DE-588)4120497-9 (DE-588)4832365-2 (DE-588)4113937-9 |
| title | Virtual integration a game-theoretic approach |
| title_auth | Virtual integration a game-theoretic approach |
| title_exact_search | Virtual integration a game-theoretic approach |
| title_full | Virtual integration a game-theoretic approach von Michael Schorer |
| title_fullStr | Virtual integration a game-theoretic approach von Michael Schorer |
| title_full_unstemmed | Virtual integration a game-theoretic approach von Michael Schorer |
| title_short | Virtual integration |
| title_sort | virtual integration a game theoretic approach |
| title_sub | a game-theoretic approach |
| topic | Eingebettetes System (DE-588)4396978-1 gnd Spieltheorie (DE-588)4056243-8 gnd Kraftfahrzeugelektronik (DE-588)4191569-0 gnd Integrierte Software (DE-588)4120497-9 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd |
| topic_facet | Eingebettetes System Spieltheorie Kraftfahrzeugelektronik Integrierte Software Modellgetriebene Entwicklung Hochschulschrift |
| url | http://epub.uni-regensburg.de/30100/ https://nbn-resolving.org/urn:nbn:de:bvb:355-epub-301001 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027417490&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT schorermichael virtualintegrationagametheoreticapproach |