Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Düsseldorf
VDI-Verl.
1994
|
| Ausgabe: | Als Ms. gedr. |
| Schriftenreihe: | Verein Deutscher Ingenieure: [Fortschrittberichte VDI / 10]
299 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009842593 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t| | ||
| 008 | 941012s1994 xx d||| m||| 00||| gerod | ||
| 016 | 7 | |a 941549178 |2 DE-101 | |
| 020 | |a 3183299100 |9 3-18-329910-0 | ||
| 035 | |a (OCoLC)35529472 | ||
| 035 | |a (DE-599)BVBBV009842593 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-210 |a DE-83 | ||
| 084 | |a DAT 252d |2 stub | ||
| 100 | 1 | |a Hofmann, Bernd |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen |c Bernd Hofmann |
| 250 | |a Als Ms. gedr. | ||
| 264 | 1 | |a Düsseldorf |b VDI-Verl. |c 1994 | |
| 300 | |a VI, 157 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Verein Deutscher Ingenieure: [Fortschrittberichte VDI / 10] |v 299 | |
| 500 | |a Zugl.: Mannheim, Univ., Diss. | ||
| 650 | 0 | 7 | |a Codegenerierung |0 (DE-588)4010346-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a OSI-Modell |0 (DE-588)4201284-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Implementierung |g Informatik |0 (DE-588)4026663-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a ESTELLE |0 (DE-588)4208201-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a OSI-Modell |0 (DE-588)4201284-3 |D s |
| 689 | 0 | 1 | |a ESTELLE |0 (DE-588)4208201-8 |D s |
| 689 | 0 | 2 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 0 | 3 | |a Implementierung |g Informatik |0 (DE-588)4026663-1 |D s |
| 689 | 0 | 4 | |a Codegenerierung |0 (DE-588)4010346-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 810 | 2 | |a 10] |t Verein Deutscher Ingenieure: [Fortschrittberichte VDI |v 299 |w (DE-604)BV000897204 |9 299 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006517495&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006517495 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0024 65 B 276 |
|---|---|
| DE-BY-TUM_katkey | 636322 |
| DE-BY-TUM_location | Mag |
| DE-BY-TUM_media_number | 040001083509 |
| _version_ | 1820857522677874688 |
| adam_text | Titel: Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen
Autor: Hofmann, Bernd
Jahr: 1994
Inhaltsverzeichnis 1 Einleitung 1 2 Spezifikation und Implementierung mit Estelle 6 2.1 Das ISO-Referenzmodell für Offene Systeme.................... 6 2.1.1 Spezifikation.................................. 6 2.1.2 Implementierung............................... 9 2.2 Formale Spezifikationstechniken........................... 12 2.3 Das Automatenmodell................................ 14 2.4 Estelle......................................... 15 2.4.1 Gesamtsystem................................. 15 2.4.2 Module .................................... 16 2.4.3 Kanäle..................................... 19 2.5 Werkzeuge....................................... 20 2.5.1 Graphische Darstellung............................ 21 2.5.2 Analyse von Protokollautomaten ...................... 25 2.5.3 Codegenerierung ............................... 28 2.5.4 Laufzeitmessung ............................... 37 3 Parallelität 40 3.1 Architektur paralleler Systeme............................ 40 3.1.1 Das Amdahlsche Gesetz ........................... 41 3.1.2 Parallelrechner ................................ 43 3.1.3 Klassifikation nach Flynn .......................... 48 3.1.4 Betriebssysteme für Parallelrechner..................... 49 3.2 Parallelität in Kommunikationsprotokollen ..................... 51 3.2.1 Parallelitätsformen.............................. 51 3.2.2 Stand der Forschung............................. 56 3.2.3 Überlegungen zur Speicherorganisation................... 63 3.2.4 Überlegungen zur Datenrepräsentation................... 66 4 Parallelität in Estelle-Spezifikationen 73 4.1 Estelle-Konstrukte für Parallelität.......................... 73 4.2 Existierende Codegeneratoren für verteilte Systeme................ 75 4.2.1 ECHIDNA................................... 76 4.2.2 Der Hamburger Estelle-Compiler...................... 77 4.2.3 PET/DINGO................................. 77 V
4.3 Der Mannheimer Estelle-Compiler ......................... 71 4.3.1 Codegenerierung unter OSF/1........................ 4.3.2 Parallelitätspotential............................. 81 4.3.3 Verfahren................................... 84 4.3.4 Synchronisation................................ 88 4.3.5 Zeitgewinn................................... 92 4.3.6 Implementierung............................... 96 4.4 Erfahrungen...................................... 97 4.4.1 OSI-Protokolle................................ 97 4.4.2 Generalisierte Protokolle...........................102 5 Integration benachbarter Schichten 108 5.1 Schichtenorientierte Implementierung........................108 5.2 Schichtenintegrierende Implementierung ......................114 5.2.1 Definitionen..................................114 5.2.2 Verfahren...................................116 5.2.3 Äquivalenz...................................125 5.3 Erfahrungen......................................136 6 Zusammenfassung und Ausblick 142 Literaturverzeichnis 145 Register 155 VI
|
| any_adam_object | 1 |
| author | Hofmann, Bernd |
| author_facet | Hofmann, Bernd |
| author_role | aut |
| author_sort | Hofmann, Bernd |
| author_variant | b h bh |
| building | Verbundindex |
| bvnumber | BV009842593 |
| classification_tum | DAT 252d |
| ctrlnum | (OCoLC)35529472 (DE-599)BVBBV009842593 |
| discipline | Informatik |
| edition | Als Ms. gedr. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02032nam a2200481 cb4500</leader><controlfield tag="001">BV009842593</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">941012s1994 xx d||| m||| 00||| gerod</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">941549178</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3183299100</subfield><subfield code="9">3-18-329910-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)35529472</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009842593</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="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 252d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hofmann, Bernd</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen</subfield><subfield code="c">Bernd Hofmann</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Als Ms. gedr.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Düsseldorf</subfield><subfield code="b">VDI-Verl.</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 157 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="490" ind1="1" ind2=" "><subfield code="a">Verein Deutscher Ingenieure: [Fortschrittberichte VDI / 10]</subfield><subfield code="v">299</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Mannheim, Univ., Diss.</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Codegenerierung</subfield><subfield code="0">(DE-588)4010346-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">OSI-Modell</subfield><subfield code="0">(DE-588)4201284-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Implementierung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4026663-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">ESTELLE</subfield><subfield code="0">(DE-588)4208201-8</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">OSI-Modell</subfield><subfield code="0">(DE-588)4201284-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">ESTELLE</subfield><subfield code="0">(DE-588)4208201-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Implementierung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4026663-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Codegenerierung</subfield><subfield code="0">(DE-588)4010346-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">10]</subfield><subfield code="t">Verein Deutscher Ingenieure: [Fortschrittberichte VDI</subfield><subfield code="v">299</subfield><subfield code="w">(DE-604)BV000897204</subfield><subfield code="9">299</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=006517495&sequence=000002&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-006517495</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV009842593 |
| illustrated | Illustrated |
| indexdate | 2024-12-23T13:39:12Z |
| institution | BVB |
| isbn | 3183299100 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006517495 |
| oclc_num | 35529472 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-210 DE-83 |
| owner_facet | DE-91 DE-BY-TUM DE-210 DE-83 |
| physical | VI, 157 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | VDI-Verl. |
| record_format | marc |
| series2 | Verein Deutscher Ingenieure: [Fortschrittberichte VDI / 10] |
| spellingShingle | Hofmann, Bernd Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen Codegenerierung (DE-588)4010346-8 gnd OSI-Modell (DE-588)4201284-3 gnd Implementierung Informatik (DE-588)4026663-1 gnd Softwarespezifikation (DE-588)4056186-0 gnd ESTELLE (DE-588)4208201-8 gnd |
| subject_GND | (DE-588)4010346-8 (DE-588)4201284-3 (DE-588)4026663-1 (DE-588)4056186-0 (DE-588)4208201-8 (DE-588)4113937-9 |
| title | Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen |
| title_auth | Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen |
| title_exact_search | Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen |
| title_full | Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen Bernd Hofmann |
| title_fullStr | Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen Bernd Hofmann |
| title_full_unstemmed | Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen Bernd Hofmann |
| title_short | Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen |
| title_sort | generierung effizienter protokoll implementierungen aus estelle spezifikationen |
| topic | Codegenerierung (DE-588)4010346-8 gnd OSI-Modell (DE-588)4201284-3 gnd Implementierung Informatik (DE-588)4026663-1 gnd Softwarespezifikation (DE-588)4056186-0 gnd ESTELLE (DE-588)4208201-8 gnd |
| topic_facet | Codegenerierung OSI-Modell Implementierung Informatik Softwarespezifikation ESTELLE Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006517495&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000897204 |
| work_keys_str_mv | AT hofmannbernd generierungeffizienterprotokollimplementierungenausestellespezifikationen |