From scenarios to components:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
Eindhoven
Technische Universiteit
2010
|
| Schriftenreihe: | SIKS dissertation series
2010,38 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturverzeichnis Seite 297-303 |
| Beschreibung: | xi, 324 Seiten Diagramme |
| ISBN: | 9789038623191 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036742574 | ||
| 003 | DE-604 | ||
| 005 | 20220201 | ||
| 007 | t | ||
| 008 | 101027s2010 |||| m||| 00||| eng d | ||
| 020 | |a 9789038623191 |9 978-90-386-2319-1 | ||
| 035 | |a (OCoLC)680757926 | ||
| 035 | |a (DE-599)BVBBV036742574 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-11 |a DE-355 |a DE-706 |a DE-634 |a DE-91G | ||
| 082 | 0 | |a 004.0151135 |2 22/ger | |
| 082 | 0 | |a 004.21 |2 22/ger | |
| 084 | |a ST 132 |0 (DE-625)143589: |2 rvk | ||
| 084 | |a ST 136 |0 (DE-625)143591: |2 rvk | ||
| 084 | |a DAT 766 |2 stub | ||
| 100 | 1 | |a Fahland, Dirk |d 1980- |e Verfasser |0 (DE-588)13068595X |4 aut | |
| 245 | 1 | 0 | |a From scenarios to components |c von Herrn Diplom-Informatiker Dirk Fahland |
| 264 | 1 | |a Eindhoven |b Technische Universiteit |c 2010 | |
| 300 | |a xi, 324 Seiten |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a SIKS dissertation series |v 2010,38 | |
| 500 | |a Literaturverzeichnis Seite 297-303 | ||
| 502 | |b Dissertation |c Humboldt-Universität zu Berlin |d 2010 |g Binationale Promotion | ||
| 502 | |b Dissertation |c Technische Universiteit Eindhoven |d 2010 |g Binationale Promotion | ||
| 650 | 0 | 7 | |a Systemmodell |0 (DE-588)4304916-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systemsynthese |0 (DE-588)4198909-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kontrollfluss |0 (DE-588)4131769-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spezifikationstechnik |0 (DE-588)4299724-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systemanalyse |0 (DE-588)4116673-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Szenario |0 (DE-588)4194332-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Petri-Netz |0 (DE-588)4045388-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Szenario |0 (DE-588)4194332-6 |D s |
| 689 | 0 | 1 | |a Systemanalyse |0 (DE-588)4116673-5 |D s |
| 689 | 0 | 2 | |a Systemmodell |0 (DE-588)4304916-3 |D s |
| 689 | 0 | 3 | |a Systemsynthese |0 (DE-588)4198909-0 |D s |
| 689 | 0 | 4 | |a Spezifikationstechnik |0 (DE-588)4299724-0 |D s |
| 689 | 0 | 5 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 0 | 6 | |a Kontrollfluss |0 (DE-588)4131769-5 |D s |
| 689 | 0 | 7 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a SIKS dissertation series |v 2010,38 |w (DE-604)BV012842495 |9 2010,38 | |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020660010&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-020660010 | ||
Datensatz im Suchindex
| _version_ | 1804143400574779392 |
|---|---|
| adam_text | Contents
I. Distributed Systems
1
1.
Introduction
3
1.1.
Designing Distributed Systems with Scenarios
............ 4
1.2.
Problem Statement and Research Goal
................ 9
1.3.
Results of this Thesis
.......................... 15
2.
Background
21
2.1.
Petri
Nets
................................ 22
2.2.
Sequential Runs
............................. 26
2.3.
Distributed Runs
............................ 28
2.4.
Distributed Runs of
Petri
Nets
.................... 38
2.5.
Concluding Remarks
.......................... 43
II. A
Minimal Class of Scenario-Based Specifications
45
3.
Scenarios
47
3.1.
System Model, Specification, and Scenario
.............. 48
3.2.
Notations for Scenarios
......................... 50
3.3.
Intuitive Semantics of Scenarios
.................... 54
3.4.
Underlying Assumptions of the Intuitive Semantics
......... 59
3.5.
Ordering Scenarios
........................... 61
3.6.
Specifying Complete System Behavior with Scenarios
........ 68
3.7.
Non-Empty Behavior and Initial States
............... 72
3.8.
Occurrences of Scenarios
........................ 74
3.9.
Conclusion: Specification and Implementation
............ 79
4.
Oclets
83
4.1.
About this Chapter
........................... 84
4.2.
Syntax of Oclets
............................ 85
4.3.
Semantics of Oclets
........................... 87
4.4.
Basic Properties of Oclets
....................... 93
4.5.
Extending Oclets
............................ 102
4.6.
Example for Specifying with Oclets
.................. 109
4.7.
Comparison to Other Models and Conclusion
............ 117
Contents
III. Modeling Distributed Systems with Scenarios
123
5.
Constructing Behavior From Scenarios
125
5.1.
A Constructive Approach to System Behavior
............ 126
5.2.
Composing Oclets
........................... 129
5.3.
Oclet Composition Implements Oclet Semantics
........... 137
5.4.
Constructing the Least Behavior that Satisfies a Specification
... 140
5.5.
Specifications vs. Distributed Systems
................ 144
6.
Scenario Play-Out
147
6.1.
An Action-Centric View on System Behavior
............ 148
6.2.
Play-out: Executing Scenarios
..................... 151
6.3.
Formal Definitions for Oclet Play-Out
................ 157
6.4.
Decomposing and Comparing Oclets
................. 159
6.5.
Oclet Play-Out Satisfies Oclet Specifications
............. 164
6.6.
Specifications vs. Distributed Systems Revisited
.......... 166
6.7.
Applying Play-Out
...........................171
6.8.
Discussion
................................ 182
IV. Analyzing and Synthesizing Distributed Systems
187
7.
Analyzing Scenario-Based Specifications
189
7.1.
A Two-Step Approach
......................... 190
7.2.
Branching Processes
.......................... 191
7.3.
The McMillan Technique for
Petri
Nets
............... 201
7.4.
Complete Prefixes of an Oclet System
................ 208
7.5.
Construct a Finite Complete Prefix of an Oclet System
...... 221
7.6.
Analyzing Oclet Specifications
.................... 226
7.7.
Practical Results
............................ 229
8.
Synthesizing an Implementation from a Specification
237
8.1.
The Synthesis Problem
.........................238
8.2.
Folding a Prefix to an Implementation
................240
8.3.
Synthesizing Components from a Scenario-based Specification
... 251
8.4.
Discussion
................................261
9.
Conclusion
269
9.1.
Contributions of this Thesis
......................270
9.2.
Open Problems
.............................276
9.3.
Further Research
............................277
Appendix
283
Bibliography
297
Index
305
Summary
309
Contents
Acknowledgements 313
Erklärung 315
Curriculum
Vitae
|
| any_adam_object | 1 |
| author | Fahland, Dirk 1980- |
| author_GND | (DE-588)13068595X |
| author_facet | Fahland, Dirk 1980- |
| author_role | aut |
| author_sort | Fahland, Dirk 1980- |
| author_variant | d f df |
| building | Verbundindex |
| bvnumber | BV036742574 |
| classification_rvk | ST 132 ST 136 |
| classification_tum | DAT 766 |
| ctrlnum | (OCoLC)680757926 (DE-599)BVBBV036742574 |
| dewey-full | 004.0151135 004.21 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151135 004.21 |
| dewey-search | 004.0151135 004.21 |
| dewey-sort | 14.0151135 |
| 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>02629nam a2200601 cb4500</leader><controlfield tag="001">BV036742574</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220201 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">101027s2010 |||| m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789038623191</subfield><subfield code="9">978-90-386-2319-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)680757926</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036742574</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151135</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.21</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 132</subfield><subfield code="0">(DE-625)143589:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 136</subfield><subfield code="0">(DE-625)143591:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 766</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Fahland, Dirk</subfield><subfield code="d">1980-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)13068595X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">From scenarios to components</subfield><subfield code="c">von Herrn Diplom-Informatiker Dirk Fahland</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Eindhoven</subfield><subfield code="b">Technische Universiteit</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xi, 324 Seiten</subfield><subfield code="b">Diagramme</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="1" ind2=" "><subfield code="a">SIKS dissertation series</subfield><subfield code="v">2010,38</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverzeichnis Seite 297-303</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="b">Dissertation</subfield><subfield code="c">Humboldt-Universität zu Berlin</subfield><subfield code="d">2010</subfield><subfield code="g">Binationale Promotion</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="b">Dissertation</subfield><subfield code="c">Technische Universiteit Eindhoven</subfield><subfield code="d">2010</subfield><subfield code="g">Binationale Promotion</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systemmodell</subfield><subfield code="0">(DE-588)4304916-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systemsynthese</subfield><subfield code="0">(DE-588)4198909-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kontrollfluss</subfield><subfield code="0">(DE-588)4131769-5</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">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Szenario</subfield><subfield code="0">(DE-588)4194332-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</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">Szenario</subfield><subfield code="0">(DE-588)4194332-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Systemmodell</subfield><subfield code="0">(DE-588)4304916-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Systemsynthese</subfield><subfield code="0">(DE-588)4198909-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><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="5"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="6"><subfield code="a">Kontrollfluss</subfield><subfield code="0">(DE-588)4131769-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="7"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">SIKS dissertation series</subfield><subfield code="v">2010,38</subfield><subfield code="w">(DE-604)BV012842495</subfield><subfield code="9">2010,38</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg</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=020660010&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020660010</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV036742574 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T22:47:04Z |
| institution | BVB |
| isbn | 9789038623191 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020660010 |
| oclc_num | 680757926 |
| open_access_boolean | |
| owner | DE-11 DE-355 DE-BY-UBR DE-706 DE-634 DE-91G DE-BY-TUM |
| owner_facet | DE-11 DE-355 DE-BY-UBR DE-706 DE-634 DE-91G DE-BY-TUM |
| physical | xi, 324 Seiten Diagramme |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Technische Universiteit |
| record_format | marc |
| series | SIKS dissertation series |
| series2 | SIKS dissertation series |
| spelling | Fahland, Dirk 1980- Verfasser (DE-588)13068595X aut From scenarios to components von Herrn Diplom-Informatiker Dirk Fahland Eindhoven Technische Universiteit 2010 xi, 324 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier SIKS dissertation series 2010,38 Literaturverzeichnis Seite 297-303 Dissertation Humboldt-Universität zu Berlin 2010 Binationale Promotion Dissertation Technische Universiteit Eindhoven 2010 Binationale Promotion Systemmodell (DE-588)4304916-3 gnd rswk-swf Systemsynthese (DE-588)4198909-0 gnd rswk-swf Kontrollfluss (DE-588)4131769-5 gnd rswk-swf Spezifikationstechnik (DE-588)4299724-0 gnd rswk-swf Systemanalyse (DE-588)4116673-5 gnd rswk-swf Szenario (DE-588)4194332-6 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf Petri-Netz (DE-588)4045388-1 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Szenario (DE-588)4194332-6 s Systemanalyse (DE-588)4116673-5 s Systemmodell (DE-588)4304916-3 s Systemsynthese (DE-588)4198909-0 s Spezifikationstechnik (DE-588)4299724-0 s Verteiltes System (DE-588)4238872-7 s Kontrollfluss (DE-588)4131769-5 s Petri-Netz (DE-588)4045388-1 s DE-604 SIKS dissertation series 2010,38 (DE-604)BV012842495 2010,38 Digitalisierung UB Regensburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020660010&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Fahland, Dirk 1980- From scenarios to components SIKS dissertation series Systemmodell (DE-588)4304916-3 gnd Systemsynthese (DE-588)4198909-0 gnd Kontrollfluss (DE-588)4131769-5 gnd Spezifikationstechnik (DE-588)4299724-0 gnd Systemanalyse (DE-588)4116673-5 gnd Szenario (DE-588)4194332-6 gnd Verteiltes System (DE-588)4238872-7 gnd Petri-Netz (DE-588)4045388-1 gnd |
| subject_GND | (DE-588)4304916-3 (DE-588)4198909-0 (DE-588)4131769-5 (DE-588)4299724-0 (DE-588)4116673-5 (DE-588)4194332-6 (DE-588)4238872-7 (DE-588)4045388-1 (DE-588)4113937-9 |
| title | From scenarios to components |
| title_auth | From scenarios to components |
| title_exact_search | From scenarios to components |
| title_full | From scenarios to components von Herrn Diplom-Informatiker Dirk Fahland |
| title_fullStr | From scenarios to components von Herrn Diplom-Informatiker Dirk Fahland |
| title_full_unstemmed | From scenarios to components von Herrn Diplom-Informatiker Dirk Fahland |
| title_short | From scenarios to components |
| title_sort | from scenarios to components |
| topic | Systemmodell (DE-588)4304916-3 gnd Systemsynthese (DE-588)4198909-0 gnd Kontrollfluss (DE-588)4131769-5 gnd Spezifikationstechnik (DE-588)4299724-0 gnd Systemanalyse (DE-588)4116673-5 gnd Szenario (DE-588)4194332-6 gnd Verteiltes System (DE-588)4238872-7 gnd Petri-Netz (DE-588)4045388-1 gnd |
| topic_facet | Systemmodell Systemsynthese Kontrollfluss Spezifikationstechnik Systemanalyse Szenario Verteiltes System Petri-Netz Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020660010&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV012842495 |
| work_keys_str_mv | AT fahlanddirk fromscenariostocomponents |