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 |
| Beschreibung: | Zugl.: Mannheim, Univ., Diss. |
| Beschreibung: | VI, 157 S. graph. Darst. |
| ISBN: | 3183299100 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009842593 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 941012s1994 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 |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006517495 | ||
Datensatz im Suchindex
| _version_ | 1804124199786119168 |
|---|---|
| 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>02031nam 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 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="999" ind1=" " 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-07-09T17:41:52Z |
| 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] |
| spelling | Hofmann, Bernd Verfasser aut Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen Bernd Hofmann Als Ms. gedr. Düsseldorf VDI-Verl. 1994 VI, 157 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Verein Deutscher Ingenieure: [Fortschrittberichte VDI / 10] 299 Zugl.: Mannheim, Univ., Diss. Codegenerierung (DE-588)4010346-8 gnd rswk-swf OSI-Modell (DE-588)4201284-3 gnd rswk-swf Implementierung Informatik (DE-588)4026663-1 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf ESTELLE (DE-588)4208201-8 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content OSI-Modell (DE-588)4201284-3 s ESTELLE (DE-588)4208201-8 s Softwarespezifikation (DE-588)4056186-0 s Implementierung Informatik (DE-588)4026663-1 s Codegenerierung (DE-588)4010346-8 s DE-604 10] Verein Deutscher Ingenieure: [Fortschrittberichte VDI 299 (DE-604)BV000897204 299 HBZ Datenaustausch application/pdf 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 Inhaltsverzeichnis |
| 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 |