Eine formale Modellierung von Verbindungsstrukturen in Kommunikationssystemen:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
2003
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | München, Techn. Univ., Diss., 2003 |
| Beschreibung: | 131 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV017435667 | ||
| 003 | DE-604 | ||
| 005 | 20030918 | ||
| 007 | t| | ||
| 008 | 030825s2003 xx d||| m||| 00||| ger d | ||
| 016 | 7 | |a 968704824 |2 DE-101 | |
| 035 | |a (OCoLC)645499793 | ||
| 035 | |a (DE-599)BVBBV017435667 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-91G |a DE-12 | ||
| 084 | |a ELT 620d |2 stub | ||
| 084 | |a DAT 355d |2 stub | ||
| 100 | 1 | |a Schmidt, Alexander B. |d 1969- |e Verfasser |0 (DE-588)128516968 |4 aut | |
| 245 | 1 | 0 | |a Eine formale Modellierung von Verbindungsstrukturen in Kommunikationssystemen |c Alexander B. Schmidt |
| 264 | 1 | |c 2003 | |
| 300 | |a 131 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a München, Techn. Univ., Diss., 2003 | ||
| 650 | 0 | 7 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modellierung |0 (DE-588)4170297-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verbindungsstruktur |0 (DE-588)4316956-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Telekommunikationsdienst |0 (DE-588)4244904-2 |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 Telekommunikationsdienst |0 (DE-588)4244904-2 |D s |
| 689 | 0 | 1 | |a Verbindungsstruktur |0 (DE-588)4316956-9 |D s |
| 689 | 0 | 2 | |a Modellierung |0 (DE-588)4170297-9 |D s |
| 689 | 0 | 3 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Telekommunikationsdienst |0 (DE-588)4244904-2 |D s |
| 689 | 1 | 1 | |a Verbindungsstruktur |0 (DE-588)4316956-9 |D s |
| 689 | 1 | 2 | |a Formale Beschreibungstechnik |0 (DE-588)4351949-0 |D s |
| 689 | 1 | |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=010506080&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-010506080 | |
Datensatz im Suchindex
| _version_ | 1816445152650067968 |
|---|---|
| adam_text |
INHALTSVERZEICHNIS
1 EINLEITUNG
1
2 VORGEHENSWEISE
5
3 DIENSTE, ARCHITEKTUREN UND FORMALISMEN DER
TELEKOMMUNIKATION 7
3.1 TELEFONIE. 7
3.1.1 ANALOGE TELEFON- UND ERSTE DATENNETZE. 7
3.1.2 ISDN . 8
3.1.3 DAS INTELLIGENTE NETZ. 9
3.1.4 MOBILFUNKNETZE. 10
3.1.5 SCHNITTSTELLEN ZUR NETZINFRASTRUKTUR . 11
3.2 ARCHITEKTUREN FUER MULTIMEDIADIENSTE. 12
3.2.1 BREITBAND-ISDN. 12
3.2.2 DIE TIN-ARCHITEKTUR. 13
3.2.3 MULTIMEDIADIENSTE UEBER IP-NETZE. 15
3.2.4 T.120: MULTIMEDIA CONFERENCING. 16
3.3 FORMALE METHODEN IN KOMMUNIKATIONSSYSTEMEN . 17
3.3.1 FORMALE SPEZIFIKATIONEN. 18
3.3.2 ABSTRAKTE MODELLE FUER KOMMUNIKATIONSSYSTEME. 19
3.3.3 ABSTRAKTE VERBINDUNGSSTRUKTUREN IN TINA. 20
4 DIENSTE IN VERTEILTEN SYSTEMEN 22
4.1 GELAEUFIGE INTERPRETATIONEN VON YYDIENST". 22
4.1.1 DIENSTE DER TELEKOMMUNIKATION. 22
4.1.2 DIENSTE IN RECHNERNETZEN. 25
4.1.3 DIE BESONDERHEIT DER DIENSTE DES INTERNET. 26
4.1.4 EIGENSCHAFTEN DER INTERPRETATIONEN VON YYDIENST". 28
4.2 EINE ALTERNATIVE DEUTUNG DES BEGRIFFS YYDIENST". 29
4.2.1 HERLEITUNG UND DEFINITION. 30
4.2.2 EIGENSCHAFTEN. 31
4.2.3 EINBETTUNG BESTEHENDER DIENSTE . 32
5 DEKOMPOSITION UND ABSTRAKTION VON KOMMUNIKATIONSDIENSTEN 33
5.1 KLASSIFIZIERUNG UEBERTRAGENER DATEN. 33
5.1.1 KATEGORIEN VON SIGNALISIERUNGSDATEN. 34
5.1.2 AEQUIVALENZ DURCH DEKOMPOSITION. 35
5.2 KLASSIFIZIERUNG DER VERARBEITUNG VON DATEN. 36
BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/968704824
5.3 ZUSAMMENFASSUNG DER KLASSIFIZIERUNGEN. 38
5.4 VEREINFACHUNG DURCH ABSTRAKTION. 39
6 RELATIONALE BESCHREIBUNG VON VERBINDUNGSSTRUKTUREN 41
6.1 EIGENSCHAFTEN DES MODELLS. 41
6.2 EINBETTUNG IN EINE GESAMTARCHITEKTUR. 43
6.3 BESCHREIBUNG DURCH RELATIONALE STRUKTUREN. 46
6.4 VERBINDUNGEN ALS HYPERGRAPHEN . 49
6.4.1 DARSTELLUNG UND EIGENSCHAFTEN. 50
6.4.2 BESCHREIBUNGSVARIANTEN UND WOHLGEFORMTHEIT. 52
6.5 BESCHREIBUNG GROSSER SYSTEME. 55
6.5.1 EIGENSCHAFTEN VON SESSIONS . 55
6.5.2 SESSIONS ALS TEILSTRUKTUREN. 56
6.5.3 STRUKTURIERUNG IN MEHRERE SESSIONS. 58
6.5.4 WEITERE EIGENSCHAFTEN VON SESSIONS. 60
6.6 BEISPIELE SPEZIELLER TEILMENGEN UND EIGENSCHAFTEN VON
VERBINDUNGSGRAPHEN . 61
6.7 TRANSFORMATIONEN VON VERBINDUNGSGRAPHEN. 63
6.7.1 RELATIONEN AUF DEN TRAEGERMENGEN . 63
6.7.2 HOMOMORPHISMEN. 64
6.7.3 STRUKTURERHALTUNG IM SINNE VON KOMMUNIKATION. 66
6.7.4 EXKURS: AUSDRUCKSSTARKE ABSTRAKTER RELATIONENALGEBREN. 71
7 DYNAMISCHE VERBINDUNGS- UND SESSIONSTRUKTUREN 72
7.1 AUFBAU UND INSTANTIIERUNG VON STANDARDTRANSITIONEN. 72
7.2 ABBILDUNGEN ZUR MODIFIKATION DER VERBINDUNGSSTRUKTUR . 74
7.2.1 AUF- UND ABBAU VON VERBINDUNGEN. 75
7.2.2 VERSCHIEBEN VON VERBINDUNGEN. 77
7.2.3 DUPLIZIEREN VON KANAELEN. 79
7.2.4 ZUSAMMENFASSEN VON KANAELEN. 80
7.2.5 AUFSPALTEN VON KANAELEN. 81
7.3 KORREKTUR MODIFIZIERTER VERBINDUNGSSTRUKTUREN. 86
7.4 ABBILDUNGEN ZUR MODIFIKATIONEN DER SESSIONSTRUKTUR. 87
7.4.1 ERZEUGEN VON SESSIONS. 89
7.4.2 LOESCHEN VON SESSIONS. 89
7.4.3 VEREINIGUNG VON SESSIONS . 90
7.4.4 AUFTEILEN VON SESSIONS. 91
7.4.5 ERWEITERN VON SESSIONS. 91
7.4.6 REDUKTION VON SESSIONS. 92
8 BERECHTIGUNGEN 93
8.1 AUSWAHL DIENSTUNABHAENGIGER BERECHTIGUNGEN . 93
8.2 MODELLIERUNG VON BERECHTIGUNGEN. 94
8.2.1 DARSTELLUNG UND EIGENSCHAFTEN. 94
8.2.2 EINBETTUNG ALS VORBEDINGUNG. 96
8.2.3 BEISPIELKONSTELLATIONEN. 97
8.3 GRUNDMUSTER VON BERECHTIGUNGEN. 99
8.3.1 HAEUFIG VORKOMMENDE BERECHTIGUNGEN. 99
8.3.2 HAEUFIG VORKOMMENDE BEDINGUNGEN UND TEILMENGEN. 101
9 DYNAMISCHE BERECHTIGUNGEN 103
9.1 ALLGEMEINE BERECHTIGUNGSANPASSUNG IN TRANSITIONEN DER
VERBINDUNGSSTRUKTUR 103
9.2 SPEZIELLE BERECHTIGUNGSANPASSUNGEN IN TRANSITIONEN . 105
9.2.1 GRUNDLAGE DER SPEZIELLEN BERECHTIGUNGSANPASSUNGEN. 105
9.2.2 SPEZIELLE BERECHTIGUNGSANPASSUNGEN IN TRANSITIONEN DER
VERBINDUNGS
STRUKTUR . 107
9.2.3 SPEZIELLE BERECHTIGUNGSANPASSUNGEN IN TRANSITIONEN DER
SESSIONSTRUKTUR 112
10 SPEZIFIKATION VON DIENSTEN 114
10.1 ZUSAMMENFASSUNG DER BAUSTEINE. 114
10.1.1 RELATIONALE BESCHREIBUNG DES SYSTEMS. 114
10.1.2 DYNAMISCHE STRUKTUREN. 116
10.2 ANWENDUNG ZUR SPEZIFIKATION. 118
10.2.1 ERWEITERUNG DER TRANSITIONEN. 118
10.2.2 NOTATION. 119
10.3 BEISPIEL: UNIDIREKTIONALER HYPERKANAL MIT ADMINISTRATOR-ENDPUNKT.
120
10.3.1 BESCHREIBUNG DES ZUSTANDSUEBERGANGSSYSTEMS. 121
10.3.2 SPEZIFIKATION DER TRANSITIONEN. 122
11 AUSBLICK 127
LITERATUR
128 |
| any_adam_object | 1 |
| author | Schmidt, Alexander B. 1969- |
| author_GND | (DE-588)128516968 |
| author_facet | Schmidt, Alexander B. 1969- |
| author_role | aut |
| author_sort | Schmidt, Alexander B. 1969- |
| author_variant | a b s ab abs |
| building | Verbundindex |
| bvnumber | BV017435667 |
| classification_tum | ELT 620d DAT 355d |
| ctrlnum | (OCoLC)645499793 (DE-599)BVBBV017435667 |
| discipline | Informatik Elektrotechnik |
| 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">BV017435667</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20030918</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">030825s2003 xx d||| m||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">968704824</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)645499793</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017435667</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</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-91G</subfield><subfield code="a">DE-12</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ELT 620d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 355d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schmidt, Alexander B.</subfield><subfield code="d">1969-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)128516968</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Eine formale Modellierung von Verbindungsstrukturen in Kommunikationssystemen</subfield><subfield code="c">Alexander B. Schmidt</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">131 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="500" ind1=" " ind2=" "><subfield code="a">München, Techn. Univ., Diss., 2003</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">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verbindungsstruktur</subfield><subfield code="0">(DE-588)4316956-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Telekommunikationsdienst</subfield><subfield code="0">(DE-588)4244904-2</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">Telekommunikationsdienst</subfield><subfield code="0">(DE-588)4244904-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Verbindungsstruktur</subfield><subfield code="0">(DE-588)4316956-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Telekommunikationsdienst</subfield><subfield code="0">(DE-588)4244904-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Verbindungsstruktur</subfield><subfield code="0">(DE-588)4316956-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><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="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=010506080&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-010506080</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV017435667 |
| illustrated | Illustrated |
| indexdate | 2024-11-22T17:38:06Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010506080 |
| oclc_num | 645499793 |
| 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 | 131 S. graph. Darst. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| record_format | marc |
| spelling | Schmidt, Alexander B. 1969- Verfasser (DE-588)128516968 aut Eine formale Modellierung von Verbindungsstrukturen in Kommunikationssystemen Alexander B. Schmidt 2003 131 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier München, Techn. Univ., Diss., 2003 Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf Modellierung (DE-588)4170297-9 gnd rswk-swf Verbindungsstruktur (DE-588)4316956-9 gnd rswk-swf Telekommunikationsdienst (DE-588)4244904-2 gnd rswk-swf Formale Beschreibungstechnik (DE-588)4351949-0 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Telekommunikationsdienst (DE-588)4244904-2 s Verbindungsstruktur (DE-588)4316956-9 s Modellierung (DE-588)4170297-9 s Formale Spezifikationstechnik (DE-588)4299725-2 s DE-604 Formale Beschreibungstechnik (DE-588)4351949-0 s DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010506080&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Schmidt, Alexander B. 1969- Eine formale Modellierung von Verbindungsstrukturen in Kommunikationssystemen Formale Spezifikationstechnik (DE-588)4299725-2 gnd Modellierung (DE-588)4170297-9 gnd Verbindungsstruktur (DE-588)4316956-9 gnd Telekommunikationsdienst (DE-588)4244904-2 gnd Formale Beschreibungstechnik (DE-588)4351949-0 gnd |
| subject_GND | (DE-588)4299725-2 (DE-588)4170297-9 (DE-588)4316956-9 (DE-588)4244904-2 (DE-588)4351949-0 (DE-588)4113937-9 |
| title | Eine formale Modellierung von Verbindungsstrukturen in Kommunikationssystemen |
| title_auth | Eine formale Modellierung von Verbindungsstrukturen in Kommunikationssystemen |
| title_exact_search | Eine formale Modellierung von Verbindungsstrukturen in Kommunikationssystemen |
| title_full | Eine formale Modellierung von Verbindungsstrukturen in Kommunikationssystemen Alexander B. Schmidt |
| title_fullStr | Eine formale Modellierung von Verbindungsstrukturen in Kommunikationssystemen Alexander B. Schmidt |
| title_full_unstemmed | Eine formale Modellierung von Verbindungsstrukturen in Kommunikationssystemen Alexander B. Schmidt |
| title_short | Eine formale Modellierung von Verbindungsstrukturen in Kommunikationssystemen |
| title_sort | eine formale modellierung von verbindungsstrukturen in kommunikationssystemen |
| topic | Formale Spezifikationstechnik (DE-588)4299725-2 gnd Modellierung (DE-588)4170297-9 gnd Verbindungsstruktur (DE-588)4316956-9 gnd Telekommunikationsdienst (DE-588)4244904-2 gnd Formale Beschreibungstechnik (DE-588)4351949-0 gnd |
| topic_facet | Formale Spezifikationstechnik Modellierung Verbindungsstruktur Telekommunikationsdienst Formale Beschreibungstechnik Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010506080&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT schmidtalexanderb eineformalemodellierungvonverbindungsstruktureninkommunikationssystemen |