Funktionelle Analyse von Kommunikationsprotokollen:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1990
|
| Schriftenreihe: | Informatik-Fachberichte
247 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Aufgrund des wachsenden Bedarfs an Kommunikationsprotokoll-Implementierungen zur Bildung von Rechnernetzen und modernen Telekommunikationssystemen wurden im letzten Jahrzehnt unterschiedlichste formale Beschreibungsverfahren für Kommunikationsdienste und Protokolle vorgestellt, so z.B. auch die von internationalen Normungsgremien unterstützten Spezifikationssprachen SDL, ESTELLE und LOTOS. Sie unterstützen die klare und kompakte Definition von Diensten und Protokollen, wie sie im Sinne der Normung als verbindliche Implementierungsvorgaben benötigt werden. Auf der Basis derartiger Spezifikationssprachen können nebenläufige und verteilte Systeme in ihrer Funktionalität und Struktur formal modelliert werden. Damit eröffnen sich Möglichkeiten zur formalen Auswertung hinsichtlich der Synthese von Implementierungen und der Überprüfung von Entwürfen. Das vorliegende Buch soll die Einführung formaler Spezifikationen und Analysemaßnahmen in die Praxis fördern. Hier bestehen zum Teil gegenwärtig noch erhebliche Ressentiments, die mit Hinweisen auf die Vielfalt der unterschiedlichen Methoden und den zur Anwendung erforderlichen großen Personalaufwand begründet werden. Schwerpunkte des Buchs liegen deshalb auf der Erklärung der verschiedenen Spezifikationskonzepte aus einer einheitlichen Sicht, auf der Darstellung von Möglichkeiten zur rechnergestützten automatisierten Durchführung von Analysemaßnahmen und auf der beispielhaften Verdeutlichung ihrer Anwendung. Zum letztgenannten Punkt wurde der Bereich der Telekommunikationsprotokolle gewählt. Der Inhalt des Buchs faßt Erfahrungen und Arbeitsergebnisse zusammen, die ich im Laufe meiner Tätigkeit als wissenschaftlicher Mitarbeiter und Hochschulassistent am Institut für Telematik der Universität Karlsruhe bei der Entwicklung komplexer verteilter Systeme und entwicklungsunterstützender Werkzeuge gewinnen konnte. Der Text wurde von der Fakultät für Informatik der Universität Karlsruhe im Jull 1989 als Habilitationsschrift anerkannt |
| Beschreibung: | 1 Online-Ressource (IX, 122S.) |
| ISBN: | 9783642842467 9783540528548 |
| ISSN: | 0343-3005 |
| DOI: | 10.1007/978-3-642-84246-7 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042433667 | ||
| 003 | DE-604 | ||
| 005 | 20160203 | ||
| 006 | a m||| 00||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1990 |||| o||u| ||||||ger d | ||
| 020 | |a 9783642842467 |c Online |9 978-3-642-84246-7 | ||
| 020 | |a 9783540528548 |c Print |9 978-3-540-52854-8 | ||
| 024 | 7 | |a 10.1007/978-3-642-84246-7 |2 doi | |
| 035 | |a (OCoLC)863855728 | ||
| 035 | |a (DE-599)BVBBV042433667 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-706 |a DE-860 |a DE-1046 |a DE-Aug4 | ||
| 082 | 0 | |a 004.6 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a TEC 000 |2 stub | ||
| 100 | 1 | |a Krumm, Heiko |d 1953- |e Verfasser |0 (DE-588)1049861523 |4 aut | |
| 245 | 1 | 0 | |a Funktionelle Analyse von Kommunikationsprotokollen |c von Heiko Krumm |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1990 | |
| 300 | |a 1 Online-Ressource (IX, 122S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Informatik-Fachberichte |v 247 |x 0343-3005 | |
| 500 | |a Aufgrund des wachsenden Bedarfs an Kommunikationsprotokoll-Implementierungen zur Bildung von Rechnernetzen und modernen Telekommunikationssystemen wurden im letzten Jahrzehnt unterschiedlichste formale Beschreibungsverfahren für Kommunikationsdienste und Protokolle vorgestellt, so z.B. auch die von internationalen Normungsgremien unterstützten Spezifikationssprachen SDL, ESTELLE und LOTOS. Sie unterstützen die klare und kompakte Definition von Diensten und Protokollen, wie sie im Sinne der Normung als verbindliche Implementierungsvorgaben benötigt werden. Auf der Basis derartiger Spezifikationssprachen können nebenläufige und verteilte Systeme in ihrer Funktionalität und Struktur formal modelliert werden. Damit eröffnen sich Möglichkeiten zur formalen Auswertung hinsichtlich der Synthese von Implementierungen und der Überprüfung von Entwürfen. Das vorliegende Buch soll die Einführung formaler Spezifikationen und Analysemaßnahmen in die Praxis fördern. | ||
| 500 | |a Hier bestehen zum Teil gegenwärtig noch erhebliche Ressentiments, die mit Hinweisen auf die Vielfalt der unterschiedlichen Methoden und den zur Anwendung erforderlichen großen Personalaufwand begründet werden. Schwerpunkte des Buchs liegen deshalb auf der Erklärung der verschiedenen Spezifikationskonzepte aus einer einheitlichen Sicht, auf der Darstellung von Möglichkeiten zur rechnergestützten automatisierten Durchführung von Analysemaßnahmen und auf der beispielhaften Verdeutlichung ihrer Anwendung. Zum letztgenannten Punkt wurde der Bereich der Telekommunikationsprotokolle gewählt. Der Inhalt des Buchs faßt Erfahrungen und Arbeitsergebnisse zusammen, die ich im Laufe meiner Tätigkeit als wissenschaftlicher Mitarbeiter und Hochschulassistent am Institut für Telematik der Universität Karlsruhe bei der Entwicklung komplexer verteilter Systeme und entwicklungsunterstützender Werkzeuge gewinnen konnte. | ||
| 500 | |a Der Text wurde von der Fakultät für Informatik der Universität Karlsruhe im Jull 1989 als Habilitationsschrift anerkannt | ||
| 502 | |a Karlsruhe, Univ., Habil., 1989 | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer Communication Networks | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Kommunikationsprotokoll |0 (DE-588)4128252-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Funktionsanalyse |0 (DE-588)4136332-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Analyse |0 (DE-588)4122795-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systemanalyse |0 (DE-588)4116673-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spezifikation |0 (DE-588)4139161-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Kommunikationsprotokoll |0 (DE-588)4128252-8 |D s |
| 689 | 0 | 1 | |a Systemanalyse |0 (DE-588)4116673-5 |D s |
| 689 | 0 | 2 | |a Spezifikation |0 (DE-588)4139161-5 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Kommunikationsprotokoll |0 (DE-588)4128252-8 |D s |
| 689 | 1 | 1 | |a Funktionsanalyse |0 (DE-588)4136332-2 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 689 | 2 | 0 | |a Kommunikationsprotokoll |0 (DE-588)4128252-8 |D s |
| 689 | 2 | 1 | |a Analyse |0 (DE-588)4122795-5 |D s |
| 689 | 2 | |8 3\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-84246-7 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 940 | 1 | |q ZDB-2-STI_1990/1999 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027868997 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153119202869248 |
|---|---|
| any_adam_object | |
| author | Krumm, Heiko 1953- |
| author_GND | (DE-588)1049861523 |
| author_facet | Krumm, Heiko 1953- |
| author_role | aut |
| author_sort | Krumm, Heiko 1953- |
| author_variant | h k hk |
| building | Verbundindex |
| bvnumber | BV042433667 |
| classification_tum | DAT 000 TEC 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863855728 (DE-599)BVBBV042433667 |
| dewey-full | 004.6 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.6 |
| dewey-search | 004.6 |
| dewey-sort | 14.6 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-642-84246-7 |
| format | Thesis Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04825nmm a2200745zcb4500</leader><controlfield tag="001">BV042433667</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160203 </controlfield><controlfield tag="006">a m||| 00||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1990 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642842467</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-84246-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540528548</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-540-52854-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-84246-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863855728</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042433667</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</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-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.6</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Krumm, Heiko</subfield><subfield code="d">1953-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1049861523</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Funktionelle Analyse von Kommunikationsprotokollen</subfield><subfield code="c">von Heiko Krumm</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (IX, 122S.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Informatik-Fachberichte</subfield><subfield code="v">247</subfield><subfield code="x">0343-3005</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Aufgrund des wachsenden Bedarfs an Kommunikationsprotokoll-Implementierungen zur Bildung von Rechnernetzen und modernen Telekommunikationssystemen wurden im letzten Jahrzehnt unterschiedlichste formale Beschreibungsverfahren für Kommunikationsdienste und Protokolle vorgestellt, so z.B. auch die von internationalen Normungsgremien unterstützten Spezifikationssprachen SDL, ESTELLE und LOTOS. Sie unterstützen die klare und kompakte Definition von Diensten und Protokollen, wie sie im Sinne der Normung als verbindliche Implementierungsvorgaben benötigt werden. Auf der Basis derartiger Spezifikationssprachen können nebenläufige und verteilte Systeme in ihrer Funktionalität und Struktur formal modelliert werden. Damit eröffnen sich Möglichkeiten zur formalen Auswertung hinsichtlich der Synthese von Implementierungen und der Überprüfung von Entwürfen. Das vorliegende Buch soll die Einführung formaler Spezifikationen und Analysemaßnahmen in die Praxis fördern.</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Hier bestehen zum Teil gegenwärtig noch erhebliche Ressentiments, die mit Hinweisen auf die Vielfalt der unterschiedlichen Methoden und den zur Anwendung erforderlichen großen Personalaufwand begründet werden. Schwerpunkte des Buchs liegen deshalb auf der Erklärung der verschiedenen Spezifikationskonzepte aus einer einheitlichen Sicht, auf der Darstellung von Möglichkeiten zur rechnergestützten automatisierten Durchführung von Analysemaßnahmen und auf der beispielhaften Verdeutlichung ihrer Anwendung. Zum letztgenannten Punkt wurde der Bereich der Telekommunikationsprotokolle gewählt. Der Inhalt des Buchs faßt Erfahrungen und Arbeitsergebnisse zusammen, die ich im Laufe meiner Tätigkeit als wissenschaftlicher Mitarbeiter und Hochschulassistent am Institut für Telematik der Universität Karlsruhe bei der Entwicklung komplexer verteilter Systeme und entwicklungsunterstützender Werkzeuge gewinnen konnte.</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Der Text wurde von der Fakultät für Informatik der Universität Karlsruhe im Jull 1989 als Habilitationsschrift anerkannt</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Karlsruhe, Univ., Habil., 1989</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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">Funktionsanalyse</subfield><subfield code="0">(DE-588)4136332-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Analyse</subfield><subfield code="0">(DE-588)4122795-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</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="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">Kommunikationsprotokoll</subfield><subfield code="0">(DE-588)4128252-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><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="1"><subfield code="a">Funktionsanalyse</subfield><subfield code="0">(DE-588)4136332-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Kommunikationsprotokoll</subfield><subfield code="0">(DE-588)4128252-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Analyse</subfield><subfield code="0">(DE-588)4122795-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-84246-7</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_1990/1999</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027868997</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="883" ind1="1" ind2=" "><subfield code="8">2\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="883" ind1="1" ind2=" "><subfield code="8">3\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></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV042433667 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:32Z |
| institution | BVB |
| isbn | 9783642842467 9783540528548 |
| issn | 0343-3005 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027868997 |
| oclc_num | 863855728 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| physical | 1 Online-Ressource (IX, 122S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_1990/1999 |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series2 | Informatik-Fachberichte |
| spelling | Krumm, Heiko 1953- Verfasser (DE-588)1049861523 aut Funktionelle Analyse von Kommunikationsprotokollen von Heiko Krumm Berlin, Heidelberg Springer Berlin Heidelberg 1990 1 Online-Ressource (IX, 122S.) txt rdacontent c rdamedia cr rdacarrier Informatik-Fachberichte 247 0343-3005 Aufgrund des wachsenden Bedarfs an Kommunikationsprotokoll-Implementierungen zur Bildung von Rechnernetzen und modernen Telekommunikationssystemen wurden im letzten Jahrzehnt unterschiedlichste formale Beschreibungsverfahren für Kommunikationsdienste und Protokolle vorgestellt, so z.B. auch die von internationalen Normungsgremien unterstützten Spezifikationssprachen SDL, ESTELLE und LOTOS. Sie unterstützen die klare und kompakte Definition von Diensten und Protokollen, wie sie im Sinne der Normung als verbindliche Implementierungsvorgaben benötigt werden. Auf der Basis derartiger Spezifikationssprachen können nebenläufige und verteilte Systeme in ihrer Funktionalität und Struktur formal modelliert werden. Damit eröffnen sich Möglichkeiten zur formalen Auswertung hinsichtlich der Synthese von Implementierungen und der Überprüfung von Entwürfen. Das vorliegende Buch soll die Einführung formaler Spezifikationen und Analysemaßnahmen in die Praxis fördern. Hier bestehen zum Teil gegenwärtig noch erhebliche Ressentiments, die mit Hinweisen auf die Vielfalt der unterschiedlichen Methoden und den zur Anwendung erforderlichen großen Personalaufwand begründet werden. Schwerpunkte des Buchs liegen deshalb auf der Erklärung der verschiedenen Spezifikationskonzepte aus einer einheitlichen Sicht, auf der Darstellung von Möglichkeiten zur rechnergestützten automatisierten Durchführung von Analysemaßnahmen und auf der beispielhaften Verdeutlichung ihrer Anwendung. Zum letztgenannten Punkt wurde der Bereich der Telekommunikationsprotokolle gewählt. Der Inhalt des Buchs faßt Erfahrungen und Arbeitsergebnisse zusammen, die ich im Laufe meiner Tätigkeit als wissenschaftlicher Mitarbeiter und Hochschulassistent am Institut für Telematik der Universität Karlsruhe bei der Entwicklung komplexer verteilter Systeme und entwicklungsunterstützender Werkzeuge gewinnen konnte. Der Text wurde von der Fakultät für Informatik der Universität Karlsruhe im Jull 1989 als Habilitationsschrift anerkannt Karlsruhe, Univ., Habil., 1989 Computer science Computer Communication Networks Logic design Computer Science Logics and Meanings of Programs Programming Techniques Informatik Kommunikationsprotokoll (DE-588)4128252-8 gnd rswk-swf Funktionsanalyse (DE-588)4136332-2 gnd rswk-swf Analyse (DE-588)4122795-5 gnd rswk-swf Systemanalyse (DE-588)4116673-5 gnd rswk-swf Spezifikation (DE-588)4139161-5 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Kommunikationsprotokoll (DE-588)4128252-8 s Systemanalyse (DE-588)4116673-5 s Spezifikation (DE-588)4139161-5 s 1\p DE-604 Funktionsanalyse (DE-588)4136332-2 s 2\p DE-604 Analyse (DE-588)4122795-5 s 3\p DE-604 https://doi.org/10.1007/978-3-642-84246-7 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Krumm, Heiko 1953- Funktionelle Analyse von Kommunikationsprotokollen Computer science Computer Communication Networks Logic design Computer Science Logics and Meanings of Programs Programming Techniques Informatik Kommunikationsprotokoll (DE-588)4128252-8 gnd Funktionsanalyse (DE-588)4136332-2 gnd Analyse (DE-588)4122795-5 gnd Systemanalyse (DE-588)4116673-5 gnd Spezifikation (DE-588)4139161-5 gnd |
| subject_GND | (DE-588)4128252-8 (DE-588)4136332-2 (DE-588)4122795-5 (DE-588)4116673-5 (DE-588)4139161-5 (DE-588)4113937-9 |
| title | Funktionelle Analyse von Kommunikationsprotokollen |
| title_auth | Funktionelle Analyse von Kommunikationsprotokollen |
| title_exact_search | Funktionelle Analyse von Kommunikationsprotokollen |
| title_full | Funktionelle Analyse von Kommunikationsprotokollen von Heiko Krumm |
| title_fullStr | Funktionelle Analyse von Kommunikationsprotokollen von Heiko Krumm |
| title_full_unstemmed | Funktionelle Analyse von Kommunikationsprotokollen von Heiko Krumm |
| title_short | Funktionelle Analyse von Kommunikationsprotokollen |
| title_sort | funktionelle analyse von kommunikationsprotokollen |
| topic | Computer science Computer Communication Networks Logic design Computer Science Logics and Meanings of Programs Programming Techniques Informatik Kommunikationsprotokoll (DE-588)4128252-8 gnd Funktionsanalyse (DE-588)4136332-2 gnd Analyse (DE-588)4122795-5 gnd Systemanalyse (DE-588)4116673-5 gnd Spezifikation (DE-588)4139161-5 gnd |
| topic_facet | Computer science Computer Communication Networks Logic design Computer Science Logics and Meanings of Programs Programming Techniques Informatik Kommunikationsprotokoll Funktionsanalyse Analyse Systemanalyse Spezifikation Hochschulschrift |
| url | https://doi.org/10.1007/978-3-642-84246-7 |
| work_keys_str_mv | AT krummheiko funktionelleanalysevonkommunikationsprotokollen |