Modellierung verteilter Systeme: Konzeption, formale Spezifikation und Verifikation mit Produktnetzen
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Braunschweig u.a.
Vieweg
1995
|
| Series: | Programm angewandte Informatik
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | VIII, 280 S. graph. Darst. |
| ISBN: | 3528054336 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010079793 | ||
| 003 | DE-604 | ||
| 005 | 19950728 | ||
| 007 | t | ||
| 008 | 950227s1995 gw d||| |||| 00||| ger d | ||
| 016 | 7 | |a 943612306 |2 DE-101 | |
| 020 | |a 3528054336 |9 3-528-05433-6 | ||
| 035 | |a (OCoLC)75593468 | ||
| 035 | |a (DE-599)BVBBV010079793 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-91G |a DE-20 |a DE-862 |a DE-706 |a DE-634 |a DE-83 |a DE-11 |a DE-525 | ||
| 084 | |a ST 200 |0 (DE-625)143611: |2 rvk | ||
| 084 | |a DAT 250f |2 stub | ||
| 100 | 1 | |a Ochsenschläger, Peter |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Modellierung verteilter Systeme |b Konzeption, formale Spezifikation und Verifikation mit Produktnetzen |c Peter Ochsenschläger ; Rainer Prinoth |
| 264 | 1 | |a Braunschweig u.a. |b Vieweg |c 1995 | |
| 300 | |a VIII, 280 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Programm angewandte Informatik | |
| 650 | 0 | 7 | |a Modellierung |0 (DE-588)4170297-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kommunikationsprotokoll |0 (DE-588)4128252-8 |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 Formale Spezifikationstechnik |0 (DE-588)4299725-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Telekooperation |0 (DE-588)4336442-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Produktnetz |0 (DE-588)4380518-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Produktnetz |0 (DE-588)4380518-8 |D s |
| 689 | 0 | 1 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 0 | 2 | |a Modellierung |0 (DE-588)4170297-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Telekooperation |0 (DE-588)4336442-1 |D s |
| 689 | 1 | 1 | |a Kommunikationsprotokoll |0 (DE-588)4128252-8 |D s |
| 689 | 1 | 2 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |D s |
| 689 | 1 | 3 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 1 | 4 | |a Produktnetz |0 (DE-588)4380518-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Prinoth, Rainer |e Verfasser |4 aut | |
| 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=006690502&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006690502 | ||
Record in the Search Index
| DE-BY-862_location | 2801 |
|---|---|
| DE-BY-FWS_call_number | 2801/1991:4842 |
| DE-BY-FWS_katkey | 140990 |
| DE-BY-FWS_media_number | 083100133670 |
| _version_ | 1824553496402198528 |
| adam_text | Inhaltsverzeichnis
1 Einleitung 1
2 Unbeschriftete Netze 7
2.1 Netze ohne Verbots und Abräumkanten 7
2.2 Netze mit Verbotskanten 16
2.3 Netze mit Abräumkanten 20
2.4 Graphische Darstellung von Netzen 25
2.5 Erreichbarkeitsgraphen 28
2.6 Netzstrukturen 35
3 Ein Modell zur Flußkontrolle 41
4 Auf und Abbau von Verbindungen 53
4.1 Protokollstrukturen 54
4.2 Kompositon des Protokolls aus Teilstrukturen 58
4.3 Analyse des Protokolls 6l
4.3.1 Erreichbarkeitsanalyse 61
4.3.2 Phasentrennung 64
4.4 Anbindung der Kooperationspartner an die
Protokollinstanzen 66
4.5 Kommunikation zwischen Dienstbenutzer und
Diensterbringer 67
4.5.1 Definition der Funktionen PUT und GET 68
4.5.2 Anwendung der Funktionen PUT und GET 72
5 Produktnetze 75
5.1 Beispiel 75
5.2 Mengen und Funktionen 78
5.2.1 Mengen 79
5.2.2 Funktionen 80
5.3 Markierungen 86
5.4 Beschriftung 89
VIH Inhaltsverzeichnis
5.5 Interpretationen 92
5.6 Schaltbedingung 94
5.7 Schaltregel 98
6 Beispiele 103
7 Ausdrucksstärke der Produktnetze 117
8 Das Alternating Bit Protokoll 123
8.1 Zu erbringender Dienst 123
8.2 Benutzter Dienst 127
8.3 Definition des Protokolls 131
9 Das ISDN D Kanalprotokoll 141
9.1 Lage des ISDN D Kanalprotokolls 141
9.2 Elemente des ISDN D Kanalprotokolls 146
9.3 Ein Produktnetzmodell 151
9 4 Anmerkungen zur Analyse 156
10 Zählermodell und Synchronisation 159
10.1 Formalisierung der Aufgabe 162
10.2 Endekriterien und Anmerkungen zur Analyse 167
10.3 Modifikation des Modells 169
10.4 Das unterlagerte Kommumkationsmedium 170
10.5 Spezifikation der Protokollinstanzen 176
11 Schaltfolgenhomomorphismen 187
12 Reduzierte Erreichbarkeitsgraphen 211
13 Deadlocksprachen 219
14 Die Produktnetzmaschine 231
15 Schlichte Homomorphismen 241
Literaturverzeichnis 269
Sachwortverzeichnis 279
|
| any_adam_object | 1 |
| author | Ochsenschläger, Peter Prinoth, Rainer |
| author_facet | Ochsenschläger, Peter Prinoth, Rainer |
| author_role | aut aut |
| author_sort | Ochsenschläger, Peter |
| author_variant | p o po r p rp |
| building | Verbundindex |
| bvnumber | BV010079793 |
| classification_rvk | ST 200 |
| classification_tum | DAT 250f |
| ctrlnum | (OCoLC)75593468 (DE-599)BVBBV010079793 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02304nam a2200541 c 4500</leader><controlfield tag="001">BV010079793</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950728 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950227s1995 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">943612306</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3528054336</subfield><subfield code="9">3-528-05433-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)75593468</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010079793</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-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-525</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">DAT 250f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ochsenschläger, Peter</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modellierung verteilter Systeme</subfield><subfield code="b">Konzeption, formale Spezifikation und Verifikation mit Produktnetzen</subfield><subfield code="c">Peter Ochsenschläger ; Rainer Prinoth</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Braunschweig u.a.</subfield><subfield code="b">Vieweg</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 280 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="0" ind2=" "><subfield code="a">Programm angewandte Informatik</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">Kommunikationsprotokoll</subfield><subfield code="0">(DE-588)4128252-8</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">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">Telekooperation</subfield><subfield code="0">(DE-588)4336442-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Produktnetz</subfield><subfield code="0">(DE-588)4380518-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Produktnetz</subfield><subfield code="0">(DE-588)4380518-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Telekooperation</subfield><subfield code="0">(DE-588)4336442-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Kommunikationsprotokoll</subfield><subfield code="0">(DE-588)4128252-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="4"><subfield code="a">Produktnetz</subfield><subfield code="0">(DE-588)4380518-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Prinoth, Rainer</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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=006690502&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-006690502</subfield></datafield></record></collection> |
| id | DE-604.BV010079793 |
| illustrated | Illustrated |
| indexdate | 2025-02-20T06:36:48Z |
| institution | BVB |
| isbn | 3528054336 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006690502 |
| oclc_num | 75593468 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-20 DE-862 DE-BY-FWS DE-706 DE-634 DE-83 DE-11 DE-525 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-20 DE-862 DE-BY-FWS DE-706 DE-634 DE-83 DE-11 DE-525 |
| physical | VIII, 280 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Vieweg |
| record_format | marc |
| series2 | Programm angewandte Informatik |
| spellingShingle | Ochsenschläger, Peter Prinoth, Rainer Modellierung verteilter Systeme Konzeption, formale Spezifikation und Verifikation mit Produktnetzen Modellierung (DE-588)4170297-9 gnd Kommunikationsprotokoll (DE-588)4128252-8 gnd Verteiltes System (DE-588)4238872-7 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Telekooperation (DE-588)4336442-1 gnd Produktnetz (DE-588)4380518-8 gnd Verifikation (DE-588)4135577-5 gnd |
| subject_GND | (DE-588)4170297-9 (DE-588)4128252-8 (DE-588)4238872-7 (DE-588)4299725-2 (DE-588)4336442-1 (DE-588)4380518-8 (DE-588)4135577-5 |
| title | Modellierung verteilter Systeme Konzeption, formale Spezifikation und Verifikation mit Produktnetzen |
| title_auth | Modellierung verteilter Systeme Konzeption, formale Spezifikation und Verifikation mit Produktnetzen |
| title_exact_search | Modellierung verteilter Systeme Konzeption, formale Spezifikation und Verifikation mit Produktnetzen |
| title_full | Modellierung verteilter Systeme Konzeption, formale Spezifikation und Verifikation mit Produktnetzen Peter Ochsenschläger ; Rainer Prinoth |
| title_fullStr | Modellierung verteilter Systeme Konzeption, formale Spezifikation und Verifikation mit Produktnetzen Peter Ochsenschläger ; Rainer Prinoth |
| title_full_unstemmed | Modellierung verteilter Systeme Konzeption, formale Spezifikation und Verifikation mit Produktnetzen Peter Ochsenschläger ; Rainer Prinoth |
| title_short | Modellierung verteilter Systeme |
| title_sort | modellierung verteilter systeme konzeption formale spezifikation und verifikation mit produktnetzen |
| title_sub | Konzeption, formale Spezifikation und Verifikation mit Produktnetzen |
| topic | Modellierung (DE-588)4170297-9 gnd Kommunikationsprotokoll (DE-588)4128252-8 gnd Verteiltes System (DE-588)4238872-7 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Telekooperation (DE-588)4336442-1 gnd Produktnetz (DE-588)4380518-8 gnd Verifikation (DE-588)4135577-5 gnd |
| topic_facet | Modellierung Kommunikationsprotokoll Verteiltes System Formale Spezifikationstechnik Telekooperation Produktnetz Verifikation |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006690502&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT ochsenschlagerpeter modellierungverteiltersystemekonzeptionformalespezifikationundverifikationmitproduktnetzen AT prinothrainer modellierungverteiltersystemekonzeptionformalespezifikationundverifikationmitproduktnetzen |
Indexes
THWS Schweinfurt Magazin
| Call Number: |
2801 1991:4842 |
|---|---|
| Copy 1 | bestellbar aus dem Magazin Available Place a Hold |