Verhaltensgarantien in selbst-organisierenden Systemen:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | German |
| Published: |
Berlin
Logos-Verl.
2012
|
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Physical Description: | XX, 258 S. graph. Darst. |
| ISBN: | 9783832532468 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV040798882 | ||
| 003 | DE-604 | ||
| 005 | 20130326 | ||
| 007 | t | ||
| 008 | 130306s2012 gw d||| m||| 00||| ger d | ||
| 015 | |a 12,N47 |2 dnb | ||
| 015 | |a 13,A05 |2 dnb | ||
| 016 | 7 | |a 1027824935 |2 DE-101 | |
| 020 | |a 9783832532468 |c kart. : EUR 42.00 (DE), EUR 43.20 (AT), sfr 55.90 (freier Pr.) |9 978-3-8325-3246-8 | ||
| 024 | 3 | |a 9783832532468 | |
| 035 | |a (OCoLC)826865441 | ||
| 035 | |a (DE-599)DNB1027824935 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-473 |a DE-384 |a DE-188 | ||
| 082 | 0 | |a 004.2 |2 22/ger | |
| 082 | 0 | |a 005.12 |2 22/ger | |
| 082 | 0 | |a 006.3 |2 22/ger | |
| 084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Nafz, Florian |d 1980- |e Verfasser |0 (DE-588)1029719411 |4 aut | |
| 245 | 1 | 0 | |a Verhaltensgarantien in selbst-organisierenden Systemen |c Florian Nafz |
| 264 | 1 | |a Berlin |b Logos-Verl. |c 2012 | |
| 300 | |a XX, 258 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Zugl.: Augsburg, Univ., Diss., 2012 | ||
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spezifikationstechnik |0 (DE-588)4299724-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Constraint-Erfüllung |0 (DE-588)4580374-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Organic Computing |0 (DE-588)7624947-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Sicherheitskritisches System |0 (DE-588)4767762-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Rekonfiguration |0 (DE-588)4306238-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Selbst organisierendes System |0 (DE-588)4054424-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Sicherheitskritisches System |0 (DE-588)4767762-4 |D s |
| 689 | 0 | 1 | |a Selbst organisierendes System |0 (DE-588)4054424-2 |D s |
| 689 | 0 | 2 | |a Organic Computing |0 (DE-588)7624947-5 |D s |
| 689 | 0 | 3 | |a Spezifikationstechnik |0 (DE-588)4299724-0 |D s |
| 689 | 0 | 4 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | 5 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | 6 | |a Rekonfiguration |0 (DE-588)4306238-6 |D s |
| 689 | 0 | 7 | |a Constraint-Erfüllung |0 (DE-588)4580374-2 |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=4178307&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=025779023&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025779023 | |
Record in the Search Index
| _version_ | 1807955336358789120 |
|---|---|
| adam_text |
IMAGE 1
INHALTSVERZEICHNIS
EXECUTIVE SUMMARY XV
I. D E R R E S T O R E - I N V A R I A N T - A N S A T Z : M O T I V A T
I O N U N D UEBERBLICK 3
1. EINLEITUNG 5
1.1. MOTIVATION 5
1.2. UEBERBLICK UE B E R DIE ARBEIT ' 6
1.3. ERREICHTE ERGEBNISSE 9
2. ORGANIC COMPUTING - ENTWICKLUNG ZUKUNFTSFAEHIGER SYSTEME 1 1
2.1. ORGANIC COMPUTING SYSTEME - "VON DER DESIGNZEIT ZUR LAUFZEIT" 11
2.2. HERAUSFORDERUNGEN BEI DER ENTWICKLUNG ZUKUENFTIGER SYSTEME 13
2.2.1. EINSCHRAENKUNG DES SYSTEMVERHALTENS 13
2.2.2. VERHALTENSGARANTIEN T R O T Z SELBST-ORGANISATION 14
2.2.3. VERIFIKATION VON KORREKTHEITSEIGENSCHAFTEN 14
2.3. DAS SAVE O R C A PROJEKT 15
3. DER RESTORE-INVARIANT-ANSATZ - EIN UEBERBLICK 17
3.1. IDEE U N D ZIEL DES RESTORE-INVARIANT-ANSATZES 17
3.2. KONTROLLE DER SELBST-ORGANISATION DURCH KORRIDORE KORREKTEN
VERHALTENS . 18 3.3. VERWENDETE SYSTEMARCHITEKTUR 21
3.4. SICHERE REKONFIGURATION DURCH QUIESCENT STATES 2 3
3.5. ABGABE VON VERHALTENSGARANTIEN: GRUNDIDEE DES VERIFIKATIONSANSATZES
. . 25 3.5.1. MODULARITAET DES GESAMTSYSTEMS 26
3.5.2. DEKOMPOSITION 27
3.5.3. SEPARATION OF CONCERNS 28
3.6. VON DER SYSTEMBESCHREIBUNG ZU VERHALTENSGARANTIEN 31
3.7. VERWANDTE ARBEITEN 32
4. SELBST-ORGANISIERENDE RESSOURCENFLUSSSYSTEME 35
4.1. MOTIVATION DER ANWENDUNGSDOMAENE 35
4.2. DAS ORGANIC DESIGN P A T T E R N 36
4.2.1. KORRIDOR SPEZIFIKATION M I T OCL-CONSTRAINTS 38
4.2.2. SELBST-ORGANISATION DURCH ROLLENAUSTAUSCH 40
4.2.3. ZUSAMMENHANG: ROLLEN U N D KORREKTER RESSOURCENFLUSS 41
IX
HTTP://D-NB.INFO/1027824935
IMAGE 2
INHALTSVERZEICHNIS
4.3. ANWENDUNGSBEISPIEL: ADAPTIVE PRODUKTIONSZELLE 42
4.3.1. BESCHREIBUNG DES SYSTEMS 4 3
4.3.2. VERHALTENSGARANTIEN 46
4.4. DEFINITION DER SELBST-X-EIGENSCHAFTEN 47
4.5. IMPLEMENTIERUNG DURCH DAS O D P R U N T I M E ENVIRONMENT 48
4.6. VERWANDTE ARBEITEN IM BEREICH DER SYSTEMKLASSE 48
II. F O R M A L E VERIFIKATION V O N V E R H A L T E N S G A R A N T I E
N IN S E L B S T - O R G A N I S I E R E N D E N S Y S T E M E N 5 1
5. VERIFIKATIONSTHEORIE DES RESTORE-INVARIANT-ANSATZES 5 3
5.1. UEBERBLICK UE B E R DAS VORGEHEN 53
5.2. DIE TEMPORALLOGIK I T L + 54
5.2.1. I T L + - O P E R A T O R E N 55
5.2.2. PARALLELITAET IN I T L + 56
5.2.3. SEQUENZENKALKUEL 57
5.3. KOMPOSITIONALES BEWEISEN M I T RELY-GUARANTEE 57
5.4. DER VERIFIKATIONSANSATZ 61
5.4.1. INTERAKTION DES OBSERVER/CONTROLLERS MIT D E N AGENTEN 6 3
5.4.2. DER QUIESCENT S T A T E EINES AGENTEN 64
5.4.3. ABSTRAKTES MODELL EINES SYSTEMS 65
5.4.4. AEG-SPEZIFIKATION D E R BEIDEN SYSTEMBESTANDTEILE 66
5.5. VORGEHEN FUER DIE VERIFIKATION EINES KONKRETEN SYSTEMS 69
5.6. VERWANDTE ARBEITEN ZUR VERIFIKATION VON SELBST-ORGANISIERENDEN
SYSTEMEN 70
6. FORMALES MODELL DES FUNKTIONALEN SYSTEMS 7 3
6.1. FORMALE SPEZIFIKATION DES ORGANIC DESIGN P A T T E R N S 73
6.1.1. VERWENDETER SPEZIFIKATIONSFORMALISMUS 74
6.1.2. MODELLIERUNG DER KONZEPTE DES ORGANIC DESIGN P A T T E R N S 75
6.1.3. MODELLIERUNG DER ASSOZIATIONEN 75
6.1.4. ALGEBRAISCHE SPEZIFIKATION DES ORGANIC DESIGN P A T T E R N S 76
6.2. ALLGEMEINE ASPEKTE DER DYNAMIK 81
6.2.1. EINHEITLICHE DYNAMIK FUER DIE GESAMTE SYSTEMKLASSE 81
6.2.2. VERWENDETES PARALLELITAETSMODELL 82
6.2.3. KOMMUNIKATION DURCH NACHRICHTEN 82
6.2.4. DEFINITION DES VERHALTENS DURCH TRANSITIONSREGELN 82
6.3. SEMANTIK DES AGENTENVERHALTENS 8 3
6.4. FORMALE SEMANTIK DURCH TRANSITIONSPRAEDIKATE 85
7. FORMALE SPEZIFIKATION DES KORRIDORS KORREKTEN VERHALTENS 9 3
7.1. SPEZIFIKATION DER RIA-INVARIANTE 9 3
7.2. SPEZIFIKATION DER INVARIANTE FUER RESSOURCENFLUSSSYSTEME 94
7.2.1. FORMALE SPEZIFIKATION DER INVARIANTE 94
X
IMAGE 3
INHALTSVERZEICHNIS
7.2.2. SPEZIFIKATION DES KORRIDORS 97
7.3. EIGENSCHAFTEN DES OBSERVER/CONTROLLER *97
7.4. VERWANDTE ARBEITEN -. 98
8. FORMALE VERIFIKATION DES SYSTEMVERHALTENS 101
8.1. ANWENDUNG DES VERIFIKATIONSANSATZES 101
8.2. VERIFIKATION A M BEISPIEL DER SELBST-ORGANISIERENDEN
RESSOURCENFLUSSSYSTEME 102 8.2.1. EIGENSCHAFTEN DES GESAMTSYSTEMS 102
8.2.2. GLOBALE UMGEBUNGSANNAHME: BEEINFLUSSUNG VON SYSTEMVARIABLEN . 103
8.2.3. INVARIANTE EIGENSCHAFTEN DES SYSTEMS 104
8.2.4. IJEZY-GUORANTEE-SPEZIFIKATION DES OBSERVER/CONTROLLERS 105
8.2.5. A N N A H M E N U N D GARANTIEN DES FUNKTIONALEN SYSTEMS 106
8.2.6. VERIFIKATION 107
8.2.7. FAZIT 109
9. OBSERVER/CONTROLLER-KORREKTHEIT DURCH VERIFIZIERTES RESULT CHECKING
111 9.1. VERIFIZIERTES RESULT CHECKING: EIN ANSATZ ZUR SICHERSTELLUNG
KORREKTER REKONFIGURATION 111
9.2. RESULT CHECKING IN DER LITERATUR 113
9.3. ENTWICKLUNG EINES VERIFIZIERTEN RESULT CHECKERS 116
9.4. E I N VERIFIZIERTER RESULT CHECKER FUER DIE SYSTEMKLASSE 117
9.4.1. FORMALE SPEZIFIKATION DES RESULT CHECKERS 118
9.4.2. VERIFIKATION DES RESULT CHECKERS 120
9.4.3. IMPLEMENTIERUNG U N D INTEGRATION DES RESULT CHECKERS 121
9.4.4. LAUFZEITBETRACHTUNG DES RESULT CHECKERS 123
9.5. VERWANDTE ARBEITEN 123
III. SPEZIFIKATION V O N V E R H A L T E N S K O R R I D O R E N ALS C O
N S T R A I N T S A T I S F A C T I O N P R O B L E M 1 2 5
10. REKONFIGURATION ALS CONSTRAINT SATISFACTION PROBLEM 127
10.1. CONSTRAINT SATISFACTION PROBLEME 127
10.2. DER RESTORE-INVARIANT-ANSATZ ALS CONSTRAINT SATISFACTION PROBLEM
130 10.3. DER CONSTRAINT SOLVER KODKOD 131
10.3.1. RELATIONALE LOGIK 132
10.3.2. MODELLIERUNGSBEISPIEL: SUDOKU IN KODKOD 134
10.3.3. ABLEITUNG EINES C S P S IN RELATIONALER LOGIK AUS EINEM
SYSTEMMODELL 135 10.4. REKONFIGURATION IN DER ANWENDUNGSKLASSE 137
10.4.1. KLASSIFIKATION DES CONSTRAINT SATISFACTION PROBLEMS 137
10.4.2. INTERNES SYSTEMMODELL EINES OBSERVER/CONTROLLERS 140
10.4.3. DAS ORGANIC DESIGN P A T T E R N IN RELATIONALER LOGIK 140
10.4.4. ANWENDUNG: ADAPTIVE PRODUKTIONSZELLE 144
10.5. REKONFIGURATION ALS CONSTRAINT SATISFACTION PROBLEM IN DER
LITERATUR . . . 147
XI
IMAGE 4
INHALTSVERZEICHNIS
11. VERTEILUNG DES CONSTRAINT SATISFACTION PROBLEMS ZUR LOKALEN
REKONFIGURATION 151 11.1. LOKALE REKONFIGURATION DURCH KOALITIONSBILDUNG
151
11.2. HERLEITUNG EINES CONSTRAINT SATISFACTION PROBLEMS ZUR LOKALEN
REKONFIGU RATION 155
11.2.1. PARTIAL SOLUTIONS 155
11.2.2. VERTEILUNG DES C S P S 156
11.2.3. BILDUNG DES CSPS FUER EINE KOALITION 158
11.3. KORREKTHEIT DER LOKALISIERUNG 161
11.4. DISKUSSION U N D VERWANDTE ARBEITEN 164
12. IMPLEMENTIERUNG DER REKONFIGURATION MIT EINEM CONSTRAINT SOLVER 167
12.1. E I N REKONFIGURATIONSSERVICE FUER RESSOURCENFLUSSSYSTEME 167
12.2. OPTIMIERUNGEN DES REKONFIGURATIONSPROBLEMS 169
12.3. UMSETZUNG U N D EVALUATION D E R IMPLEMENTIERUNG M I T CONSTRAINT
SOLVER . . 170 12.3.1. SKALIERBARKEIT 171
12.3.2. SKALIERBARKEIT VON SYSTEMVARIANTEN 172
12.3.3. EINFLUSS DER TASKGROESSE A U F DIE SKALIERBARKEIT 174
12.3.4. OPTIMIERUNG NACH KUERZESTEN WEGEN 175
12.3.5. FAZIT 175
13. SELBST-OPTIMIERUNG MIT GENETISCHEM ALGORITHMUS 177
13.1. CONSTRAINT SATISFACTION OPTIMIZATION PROBLEME 177
13.1.1. GENETISCHE ALGORITHMEN 179
13.1.2. GENETISCHE ALGORITHMEN ZUR LOESUNG VON CONSTRAINT SATISFACTION
PROBLEMEN 182
13.1.3. EIN ALGORITHMUS ZUR LOESUNG DES C S O P S 183
13.1.4. EVALUATION 186
13.1.5. DISKUSSION DES GENETISCHEN ALGORITHMUS 189
13.2. ERWEITERUNG U M QUANTITATIVE INVARIANTEN 190
14. ERGEBNISSE, ERFAHRUNGEN UND AUSBLICK 193
14.1. ERREICHTE ERGEBNISSE U N D ERFAHRUNGEN 193
14.2. AUSBLICK 195
ANHANG 196
A. IMPLEMENTIERUNG DER VERIFIKATIONSTHEORIE IN KIV 197
A . L . ALGEBRAISCHE SPEZIFIKATIONEN IN K I V 197
A.2. SPEZIFIKATIONSGRAPH 198
A.3. BESCHREIBUNG DER ALGEBRAISCHEN SPEZIFIKATIONEN -199
. A.3.1. SPEZIFIKATION DES SYSTEMZUSTANDS 199
A.3.2. SPEZIFIKATION DES AGENTEN 199
A.3.3. SPEZIFIKATION DER RIA-INVARIANTE U N D DES FUNKTIONALEN SYSTEMS .
. 200 A.3.4. IJG-EIGENSCHAFTEN DES OBSERVER/CONTROLLERS 200
XII
IMAGE 5
EXECUTIVE SUMMAIY
A.3.5. I?G-EIGENSCHAFTEN DES FUNKTIONALEN SYSTEMS 201
A.3.6. ANWENDUNG DES MODULARISIERUNGSTHEOREMS 202
B. IMPLEMENTIERUNG DES ORGANIC DESIGN PATTERNS UND DER DYNAMIK IN KIV
205 B . L . SPEZIFIKATIONSGRAPH FUER DAS ORGANIC DESIGN P A T T E R N 205
B.2. ALGEBRAISCHE SPEZIFIKATION DES ORGANIC DESIGN P A T T E R N S 205
B.2.1. SPEZIFIKATION DES GESAMTSYSTEMS 205
B.2.2. SPEZIFIKATION DES AGENTEN 208
B.2.3. SPEZIFIKATION DER FAEHIGKEITEN 209
B.2.4. SPEZIFIKATION DER ROLLE 209
B.2.5. SPEZIFIKATION DER RESSOURCEN 211
B.2.6. SPEZIFIKATION DER NACHRICHTEN U N D DER QUEUE 211
B.3. SPEZIFIKATION DER RIA-INVARIANTE 211
B.4. SPEZIFIKATION DER TRANSITIONSPRAEDIKATE 214
B.5. VOLLSTAENDIGKEIT U N D WOHLDEFINIERTHEIT DER TRANSITIONSREGELN 217
B.6. ALTERNATIVE MODELLIERUNG U N D AEQUIVALENZBEWEIS 218
C. VERIFIKATION DES RESULT CHECKERS MIT KIV 221
C . L . SPEZIFIKATION DES RESULT CHECKERS 221
C.2. SPEZIFIKATION DES CONSTRAINT CHECKERS FUER I/O-CONSISTENCY 222
C.3. SPEZIFIKATION DES CONSTRAINT CHECKERS FUER PRE/POST-CONSISTENCY 223
C.4. SPEZIFIKATION DES CONSTRAINT CHECKERS FUER ROLE-CONSISTENCY 224
C.5. SPEZIFIKATION DES CONSTRAINT CHECKERS FUER
PRODUCER/CONSUMER-ASSURANCE 225 C.6. SPEZIFIKATION DES CONSTRAINT
CHECKERS FUER ALLCAPABILITIES 225
D. OPTIMALES LOESEN DES CONSTRAINT SATISFACTION PROBLEMS MIT IBM ILOG
CPLEX227
E. KODKOD LOESUNG DES MODELLIERUNGSBEISPIELS 2 3 1
SYMBOLVERZEICHNIS 233
ABKUERZUNGSVERZEICHNIS 235
XIII |
| any_adam_object | 1 |
| author | Nafz, Florian 1980- |
| author_GND | (DE-588)1029719411 |
| author_facet | Nafz, Florian 1980- |
| author_role | aut |
| author_sort | Nafz, Florian 1980- |
| author_variant | f n fn |
| building | Verbundindex |
| bvnumber | BV040798882 |
| classification_rvk | ST 300 |
| ctrlnum | (OCoLC)826865441 (DE-599)DNB1027824935 |
| dewey-full | 004.2 005.12 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science 005 - Computer programming, programs, data, security 006 - Special computer methods |
| dewey-raw | 004.2 005.12 006.3 |
| dewey-search | 004.2 005.12 006.3 |
| dewey-sort | 14.2 |
| 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">BV040798882</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130326</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">130306s2012 gw d||| m||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N47</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,A05</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1027824935</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783832532468</subfield><subfield code="c">kart. : EUR 42.00 (DE), EUR 43.20 (AT), sfr 55.90 (freier Pr.)</subfield><subfield code="9">978-3-8325-3246-8</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783832532468</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)826865441</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1027824935</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.2</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.12</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 300</subfield><subfield code="0">(DE-625)143650:</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">Nafz, Florian</subfield><subfield code="d">1980-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1029719411</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verhaltensgarantien in selbst-organisierenden Systemen</subfield><subfield code="c">Florian Nafz</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Logos-Verl.</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 258 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">Zugl.: Augsburg, Univ., Diss., 2012</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299724-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Constraint-Erfüllung</subfield><subfield code="0">(DE-588)4580374-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Organic Computing</subfield><subfield code="0">(DE-588)7624947-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Rekonfiguration</subfield><subfield code="0">(DE-588)4306238-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Selbst organisierendes System</subfield><subfield code="0">(DE-588)4054424-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">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Selbst organisierendes System</subfield><subfield code="0">(DE-588)4054424-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Organic Computing</subfield><subfield code="0">(DE-588)7624947-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299724-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="6"><subfield code="a">Rekonfiguration</subfield><subfield code="0">(DE-588)4306238-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="7"><subfield code="a">Constraint-Erfüllung</subfield><subfield code="0">(DE-588)4580374-2</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=4178307&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=025779023&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-025779023</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV040798882 |
| illustrated | Illustrated |
| indexdate | 2024-08-21T00:36:08Z |
| institution | BVB |
| isbn | 9783832532468 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025779023 |
| oclc_num | 826865441 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-384 DE-188 |
| owner_facet | DE-473 DE-BY-UBG DE-384 DE-188 |
| physical | XX, 258 S. graph. Darst. |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Logos-Verl. |
| record_format | marc |
| spelling | Nafz, Florian 1980- Verfasser (DE-588)1029719411 aut Verhaltensgarantien in selbst-organisierenden Systemen Florian Nafz Berlin Logos-Verl. 2012 XX, 258 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Zugl.: Augsburg, Univ., Diss., 2012 Formale Methode (DE-588)4333722-3 gnd rswk-swf Spezifikationstechnik (DE-588)4299724-0 gnd rswk-swf Constraint-Erfüllung (DE-588)4580374-2 gnd rswk-swf Organic Computing (DE-588)7624947-5 gnd rswk-swf Sicherheitskritisches System (DE-588)4767762-4 gnd rswk-swf Rekonfiguration (DE-588)4306238-6 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Selbst organisierendes System (DE-588)4054424-2 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Sicherheitskritisches System (DE-588)4767762-4 s Selbst organisierendes System (DE-588)4054424-2 s Organic Computing (DE-588)7624947-5 s Spezifikationstechnik (DE-588)4299724-0 s Verifikation (DE-588)4135577-5 s Formale Methode (DE-588)4333722-3 s Rekonfiguration (DE-588)4306238-6 s Constraint-Erfüllung (DE-588)4580374-2 s DE-604 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4178307&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=025779023&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Nafz, Florian 1980- Verhaltensgarantien in selbst-organisierenden Systemen Formale Methode (DE-588)4333722-3 gnd Spezifikationstechnik (DE-588)4299724-0 gnd Constraint-Erfüllung (DE-588)4580374-2 gnd Organic Computing (DE-588)7624947-5 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Rekonfiguration (DE-588)4306238-6 gnd Verifikation (DE-588)4135577-5 gnd Selbst organisierendes System (DE-588)4054424-2 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4299724-0 (DE-588)4580374-2 (DE-588)7624947-5 (DE-588)4767762-4 (DE-588)4306238-6 (DE-588)4135577-5 (DE-588)4054424-2 (DE-588)4113937-9 |
| title | Verhaltensgarantien in selbst-organisierenden Systemen |
| title_auth | Verhaltensgarantien in selbst-organisierenden Systemen |
| title_exact_search | Verhaltensgarantien in selbst-organisierenden Systemen |
| title_full | Verhaltensgarantien in selbst-organisierenden Systemen Florian Nafz |
| title_fullStr | Verhaltensgarantien in selbst-organisierenden Systemen Florian Nafz |
| title_full_unstemmed | Verhaltensgarantien in selbst-organisierenden Systemen Florian Nafz |
| title_short | Verhaltensgarantien in selbst-organisierenden Systemen |
| title_sort | verhaltensgarantien in selbst organisierenden systemen |
| topic | Formale Methode (DE-588)4333722-3 gnd Spezifikationstechnik (DE-588)4299724-0 gnd Constraint-Erfüllung (DE-588)4580374-2 gnd Organic Computing (DE-588)7624947-5 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd Rekonfiguration (DE-588)4306238-6 gnd Verifikation (DE-588)4135577-5 gnd Selbst organisierendes System (DE-588)4054424-2 gnd |
| topic_facet | Formale Methode Spezifikationstechnik Constraint-Erfüllung Organic Computing Sicherheitskritisches System Rekonfiguration Verifikation Selbst organisierendes System Hochschulschrift |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4178307&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=025779023&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT nafzflorian verhaltensgarantieninselbstorganisierendensystemen |