Methodik zur formalen Spezifikation des ISO-OSI-Schichtenmodells:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
1995
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | München, Techn. Univ., Diss., 1995 |
| Beschreibung: | 172 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010345113 | ||
| 003 | DE-604 | ||
| 005 | 20071008 | ||
| 007 | t | ||
| 008 | 950818s1995 gw m||| 00||| gerod | ||
| 016 | 7 | |a 945249403 |2 DE-101 | |
| 035 | |a (OCoLC)75617527 | ||
| 035 | |a (DE-599)BVBBV010345113 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91 |a DE-91G |a DE-12 | ||
| 084 | |a ST 200 |0 (DE-625)143611: |2 rvk | ||
| 084 | |a ST 201 |0 (DE-625)143612: |2 rvk | ||
| 084 | |a 7,41 |2 ssgn | ||
| 084 | |a DAT 335d |2 stub | ||
| 084 | |a DAT 252d |2 stub | ||
| 100 | 1 | |a Facchi, Christian |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Methodik zur formalen Spezifikation des ISO-OSI-Schichtenmodells |c Christian Facchi |
| 264 | 1 | |c 1995 | |
| 300 | |a 172 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a München, Techn. Univ., Diss., 1995 | ||
| 650 | 0 | 7 | |a OSI-Modell |0 (DE-588)4201284-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spezifikation |0 (DE-588)4139161-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Beschreibungstechnik |0 (DE-588)4351949-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |D s |
| 689 | 0 | 1 | |a OSI-Modell |0 (DE-588)4201284-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a OSI-Modell |0 (DE-588)4201284-3 |D s |
| 689 | 1 | 1 | |a Formale Beschreibungstechnik |0 (DE-588)4351949-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a OSI-Modell |0 (DE-588)4201284-3 |D s |
| 689 | 2 | 1 | |a Spezifikation |0 (DE-588)4139161-5 |D s |
| 689 | 2 | |8 1\p |5 DE-604 | |
| 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=006886055&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 940 | 1 | |n oe | |
| 942 | 1 | 1 | |e 22/bsb |g 4965 |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006886055 | |
Datensatz im Suchindex
| _version_ | 1812453706145202176 |
|---|---|
| adam_text |
INHALTSVERZEICHNIS
1 EINLEITUNG UND UEBERBLICK
1.1 EINFUEHRUNG IN DIE PROBLEMSTELLUNG.
1.1.1 OSI REFERENZMODELL.
1.1.2 NORMEN DES OSI REFERENZMODELLS.
1.2 BEARBEITUNG DER PROBLEMSTELLUNG IN BESTEHENDEN ARBEITEN
1.2.1 AUFGABENUNABHAENGIGE DARSTELLUNG DER SCHICHTEN .
1.2.2 VERFEINERUNG DER DIENSTERBRINGER .
1.2.3 FORMALISIERUNGEN IM OSI REFERENZMODELL.
1.3 MOTIVATION UND ZIELSETZUNG FUER DEN EIGENEN ANSATZ . . .
1.4 DIE WICHTIGSTEN ERGEBNISSE.
1.5 AUFBAU DER ARBEIT .
5
5
5
7
8
9
10
11
13
15
16
2 GRUNDLAGEN
17
2.1 GRUNDSAETZLICHE DEFINITIONEN IM OSI REFERENZMODELL. 17
2.2 GRUNDLAGEN DES VERWENDETEN FORMALISMUS. 19
2.3 GRUNDSAETZLICHE MODELLIERUNGSANNAHMEN . 22
3 FORMALISIERUNG VON TIME SEQUENCE DIAGRAMS 23
3.1 INFORMELLE DARSTELLUNG VON TSDS . 24
3.2 UNGENAUIGKEITEN IN DEN NORMEN BEI DER VERWENDUNG VON TSDS . 26
3.3 FORMALE SEMANTIK MIT EINSCHRAENKUNG DES UMGEBUNGSVERHALTENS. 30
3.3.1 KONZEPTE ZUR INTERPRETATION VON TSDS. 30
3.3.2 SYNTAX VON TSD-DL . 34
3.3.3 DENOTATIONELLE SEMANTIK VON TSD-DL. 35
3.3.4 BEISPIELE FUER DIE SEMANTIK EINIGER TSD-DL-AUSDRUECKE. 38
3.3.5 EIGENSCHAFTEN VON TSD-DL. 40
3.3.6 METHODE ZUR UMWANDLUNG VON TSDS IN TSD-DL-AUSDRUECKE
. 47
3.3.7 BEISPIELE FUER SCHEMATISCH GEWONNENE TSD-DL-AUSDRUECKE. 50
3.4 FORMALE SEMANTIK OHNE EINSCHRAENKUNG DES UMGEBUNGSVERHALTENS. 51
3.4.1 KONZEPTE DER SEMANTIK. 55
3.4.2 ERWEITERUNG UM FEHLERHAFTE EINGABEN. 56
3.4.3 ERWEITERUNG UM FEHLENDE EINGABEN. 58
3.4.4 KOMBINATION DER ERWEITERUNGEN.63
3.4.5 BEISPIELE FUER ERWEITERUNGEN.64
3.4.6 AUFDECKUNG UND BEHEBUNG DER NICHTKOMPOSITIONALITAET DER SEMANTIK 66
BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/945249403
2
INHALTSVERZEICHNIS
3.5 ANWENDUNG DER FORMALISIERUNGSMETHODIK AUF DIE DIENSTNORMEN. 71
3.5.1 UNTERSUCHUNG DER TSD-DL-AUSDRUECKE BEI DEN EINZELNEN SCHICHTEN . 71
3.5.2 ERWEITERUNG VON TSDS ZUR EINBEZIEHUNG DER IN REALEN SCHICHTEN
ZUSAETZLICH ANGEGEBENEN VERBALEN ANMERKUNGEN. 76
3.6 BEWERTUNG DER FORMALISIERUNGSMETHODIK. 80
3.7 BEWERTUNG VON TSDS. 81
4 FORMALISIERUNG DER LOKALEN EINSCHRAENKUNGEN 85
4.1 IN DEN NORMEN VERWENDETE BESCHREIBUNGSMETHODEN. 86
4.2 FORMALE SEMANTIK MIT EINSCHRAENKUNG DES UMGEBUNGSVERHALTENS. 90
4.3 EIGENSCHAFTEN DER FORMALEN SPEZIFIKATION. 92
4.4 FORMALE SEMANTIK OHNE EINSCHRAENKUNG DES UMGEBUNGSVERHALTENS. 94
4.5 ANWENDUNG DER FORMALISIERUNGSMETHODIK AUF DIE SCHICHTEN. 97
4.5.1 LOKALE EINSCHRAENKUNGEN DER BITUEBERTRAGUNGSSCHICHT. 97
4.5.2 LOKALE EINSCHRAENKUNGEN DER SICHERUNGSSCHICHT.100
4.5.3 LOKALE EINSCHRAENKUNGEN DER VERMITTLUNGSSCHICHT.102
4.5.4 LOKALE EINSCHRAENKUNGEN DER TRANSPORTSCHICHT.104
4.6 BEWERTUNG DER FORMALISIERUNGSMETHODIK.105
4.7 BEWERTUNG DER IN DEN NORMEN VERWENDETEN BESCHREIBUNGSTECHNIKEN . . .
.105
5 FORMALISIERUNG DES QUEUEMODELLS 107
5.1 INFORMELLE DARSTELLUNG DES QUEUEMODELLS.108
5.2 FORMALE SEMANTIK MIT EINSCHRAENKUNG DES UMGEBUNGSVERHALTENS.111
5.2.1 KONZEPTE DER SEMANTIK.111
5.2.2 FORMALE SEMANTIK DER PRAEZEDENZQUEUES.112
5.2.3 FORMALISIERUNG DER OBJEKTTABELLE.114
5.2.4 FORMALISIERUNG DES EINHALTENS DES QUEUEMODELLS.115
5.3 EIGENSCHAFTEN DES FORMALISIERTEN QUEUEMODELLS.117
5.4 FORMALE SEMANTIK OHNE EINSCHRAENKUNG DES UMGEBUNGSVERHALTENS.118
5.5 ANWENDUNG DER FORMALISIERUNGSMETHODIK AUF DIE DIENSTNORMEN.118
5.5.1 DAS QUEUEMODELL DER BITUEBERTRAGUNGSSCHICHT .119
5.5.2 DAS QUEUEMODELL DER SICHERUNGSSCHICHT.120
5.5.3 DAS QUEUEMODELL DER VERMITTLUNGSSCHICHT.123
5.5.4 DAS QUEUEMODELL DER TRANSPORTSCHICHT.125
5.6 BEWERTUNG DER IN DEN NORMEN VERWENDETEN BESCHREIBUNGSTECHNIK.126
5.7 BEWERTUNG DER FORMALISIERUNGSMETHODIK.127
6 VERGLEICH DER BESCHREIBUNGSTECHNIKEN 129
6.1 VERGLEICH DER EINZELNEN BESCHREIBUNGSTECHNIKEN .130
6.2 KOMBINATION DER BESCHREIBUNGSTECHNIKEN.135
6.3 ERGEBNISSE DES VERGLEICHS DER BESCHREIBUNGSTECHNIKEN.139
7 BESCHREIBUNG EINER SCHICHT 141
7.1 SCHICHTBESCHREIBUNG MIT EINSCHRAENKUNG DES UMGEBUNGSVERHALTENS.141
7.2 SCHICHTBESCHREIBUNG OHNE EINSCHRAENKUNG DES UMGEBUNGSVERHALTENS .
143
7.3 BEWERTUNG DER FORMALISIERUNG.147
INHALTSVERZEICHNIS
3
8 BETRACHTUNG VON MEHREREN VERBINDUNGEN 149
8.1 INFORMELLE BESCHREIBUNG EINES NETZWERKS VON VERBINDUNGEN.149
8.2 ADRESSIDENTIFIZIERUNG DER DIENSTELEMENTE .153
8.3 FORMALISIERUNG DER BESCHREIBUNG VON MEHREREN VERBINDUNGEN .154
8.4 BEWERTUNG DER FORMALISIERUNG.159
9 ZUSAMMENFASSUNG UND AUSBLICK 161
9.1 ZUSAMMENFASSUNG UND EINORDNUNG DER WICHTIGSTEN ERGEBNISSE.161
9.2 ZUKUENFTIGE AKTIVITAETEN.163
LITERATURVERZEICHNIS 165 |
| any_adam_object | 1 |
| author | Facchi, Christian |
| author_facet | Facchi, Christian |
| author_role | aut |
| author_sort | Facchi, Christian |
| author_variant | c f cf |
| building | Verbundindex |
| bvnumber | BV010345113 |
| classification_rvk | ST 200 ST 201 |
| classification_tum | DAT 335d DAT 252d |
| ctrlnum | (OCoLC)75617527 (DE-599)BVBBV010345113 |
| discipline | Informatik |
| format | 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">BV010345113</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20071008</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950818s1995 gw m||| 00||| gerod</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">945249403</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)75617527</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010345113</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">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-12</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 200</subfield><subfield code="0">(DE-625)143611:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 201</subfield><subfield code="0">(DE-625)143612:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">7,41</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 335d</subfield><subfield code="2">stub</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">Facchi, Christian</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Methodik zur formalen Spezifikation des ISO-OSI-Schichtenmodells</subfield><subfield code="c">Christian Facchi</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">172 S.</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="500" ind1=" " ind2=" "><subfield code="a">München, Techn. Univ., Diss., 1995</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">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Beschreibungstechnik</subfield><subfield code="0">(DE-588)4351949-0</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">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2="1"><subfield code="a">Formale Beschreibungstechnik</subfield><subfield code="0">(DE-588)4351949-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2="1"><subfield code="a">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</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=006886055&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="n">oe</subfield></datafield><datafield tag="942" ind1="1" ind2="1"><subfield code="e">22/bsb</subfield><subfield code="g">4965</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006886055</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV010345113 |
| illustrated | Not Illustrated |
| indexdate | 2024-10-09T16:15:47Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006886055 |
| oclc_num | 75617527 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-12 |
| owner_facet | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-12 |
| physical | 172 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| record_format | marc |
| spelling | Facchi, Christian Verfasser aut Methodik zur formalen Spezifikation des ISO-OSI-Schichtenmodells Christian Facchi 1995 172 S. txt rdacontent n rdamedia nc rdacarrier München, Techn. Univ., Diss., 1995 OSI-Modell (DE-588)4201284-3 gnd rswk-swf Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf Spezifikation (DE-588)4139161-5 gnd rswk-swf Formale Beschreibungstechnik (DE-588)4351949-0 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Formale Spezifikationstechnik (DE-588)4299725-2 s OSI-Modell (DE-588)4201284-3 s DE-604 Formale Beschreibungstechnik (DE-588)4351949-0 s Spezifikation (DE-588)4139161-5 s 1\p DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006886055&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Facchi, Christian Methodik zur formalen Spezifikation des ISO-OSI-Schichtenmodells OSI-Modell (DE-588)4201284-3 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Spezifikation (DE-588)4139161-5 gnd Formale Beschreibungstechnik (DE-588)4351949-0 gnd |
| subject_GND | (DE-588)4201284-3 (DE-588)4299725-2 (DE-588)4139161-5 (DE-588)4351949-0 (DE-588)4113937-9 |
| title | Methodik zur formalen Spezifikation des ISO-OSI-Schichtenmodells |
| title_auth | Methodik zur formalen Spezifikation des ISO-OSI-Schichtenmodells |
| title_exact_search | Methodik zur formalen Spezifikation des ISO-OSI-Schichtenmodells |
| title_full | Methodik zur formalen Spezifikation des ISO-OSI-Schichtenmodells Christian Facchi |
| title_fullStr | Methodik zur formalen Spezifikation des ISO-OSI-Schichtenmodells Christian Facchi |
| title_full_unstemmed | Methodik zur formalen Spezifikation des ISO-OSI-Schichtenmodells Christian Facchi |
| title_short | Methodik zur formalen Spezifikation des ISO-OSI-Schichtenmodells |
| title_sort | methodik zur formalen spezifikation des iso osi schichtenmodells |
| topic | OSI-Modell (DE-588)4201284-3 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Spezifikation (DE-588)4139161-5 gnd Formale Beschreibungstechnik (DE-588)4351949-0 gnd |
| topic_facet | OSI-Modell Formale Spezifikationstechnik Spezifikation Formale Beschreibungstechnik Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006886055&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT facchichristian methodikzurformalenspezifikationdesisoosischichtenmodells |