Protocol engineering:
Gespeichert in:
| Vorheriger Titel: | Protocol engineering Prinzip, Beschreibung und Entwicklung von Kommunikationsprotollen / Hartmut König. - 2003 |
|---|---|
| Beteilige Person: | |
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2012
|
| Ausgabe: | Revised english transl. |
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025430175&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Umfang: | XV, 525 S. Ill., graph. Darst. |
| ISBN: | 9783642291449 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV040602448 | ||
| 003 | DE-604 | ||
| 005 | 20171117 | ||
| 007 | t| | ||
| 008 | 121130s2012 xx ad|| |||| 00||| eng d | ||
| 015 | |a 12N22 |2 dnb | ||
| 016 | 7 | |a 1022399624 |2 DE-101 | |
| 020 | |a 9783642291449 |c Gb. : EUR 53.45 (DE) |9 978-3-642-29144-9 | ||
| 035 | |a (OCoLC)874206549 | ||
| 035 | |a (DE-599)DNB1022399624 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-634 |a DE-83 | ||
| 082 | 0 | |a 004.62 |2 22/ger | |
| 084 | |a ST 200 |0 (DE-625)143611: |2 rvk | ||
| 084 | |a ST 206 |0 (DE-625)143614: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a König, Hartmut |d 1950- |e Verfasser |0 (DE-588)12858825X |4 aut | |
| 245 | 1 | 0 | |a Protocol engineering |c Hartmut König |
| 250 | |a Revised english transl. | ||
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2012 | |
| 300 | |a XV, 525 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Kommunikationsprotokoll |0 (DE-588)4128252-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |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 Requirements engineering |0 (DE-588)4213997-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systementwicklung |0 (DE-588)4126945-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spezifikationstechnik |0 (DE-588)4299724-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Beschreibungstechnik |0 (DE-588)4351949-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Kommunikationsprotokoll |0 (DE-588)4128252-8 |D s |
| 689 | 0 | 1 | |a Formale Beschreibungstechnik |0 (DE-588)4351949-0 |D s |
| 689 | 0 | 2 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 3 | |a Requirements engineering |0 (DE-588)4213997-1 |D s |
| 689 | 0 | 4 | |a Spezifikationstechnik |0 (DE-588)4299724-0 |D s |
| 689 | 0 | 5 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | 6 | |a Implementierung |g Informatik |0 (DE-588)4026663-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Kommunikationsprotokoll |0 (DE-588)4128252-8 |D s |
| 689 | 1 | 1 | |a Systementwicklung |0 (DE-588)4126945-7 |D s |
| 689 | 1 | 2 | |a Formale Beschreibungstechnik |0 (DE-588)4351949-0 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 780 | 0 | 0 | |i Dt. Orig.-Ausg. u.d.T. |a Protocol engineering |t Prinzip, Beschreibung und Entwicklung von Kommunikationsprotollen / Hartmut König. - 2003 |
| 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=025430175&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 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025430175 | |
Datensatz im Suchindex
| _version_ | 1819307295543132160 |
|---|---|
| adam_text | IMAGE 1
CONTENTS
PART I PRINCIPLES O F COMMUNICATION PROTOCOLS 3
1 SERVICES 5
1.1 PRINCIPLES 5
1.2 DESCRIPTION 12
1.3 EXAMPLE 22
2 PROTOCOLS 29
2.1 PRINCIPLES 29
2.2 DESCRIPTION 33
2.3 EXAMPLE 43
3 LAYERS 53
3.1 PRINCIPLES 53
3.2 DESCRIPTION 57
3.3 EXAMPLE 60
4 LAYERED ARCHITECTURES 65
4.1 PRINCIPLES 65
4.2 DESCRIPTION 67
4.3 EXAMPLES 68
5 PROTOCOL FUNCTIONS 77
5.1 ERROR CONTROL 77
5.2 SYNCHRONIZATION 83
5.3 CONNECTION MANAGEMENT 85
5.4 SOFT STATES 93
5.5 PDU CODING/DECODING 94
5.6 ADJUSTMENTS O F PDU SIZE 95
5.7 USE O F SEQUENCE NUMBERS 96
5.8 FLOW CONTROL 98
6 CASE STUDY: THE INTERNET PROTOCOL STACK 107
6.1 IP LAYER 107
6.2 TRANSPORT LAYER 114
6.3 APPLICATIONS AND HIGH-LEVEL PROTOCOLS 126
X I I I
HTTP://D-NB.INFO/1022399624
IMAGE 2
XIV CONTENTS
PART II DESCRIPTION O F COMMUNICATION PROTOCOLS
7 FORMAL DESCRIPTION METHODS 7.1 SERVICE AND PROTOCOL SPECIFICATIONS 7.2
NEED FOR FORMAL DESCRIPTIONS 7.3 CLASSIFICATION O F FORMAL DESCRIPTION
METHODS 7.4 FINITE STATE MACHINES 7.5 EXTENDED FINITE STATE MACHINES 7.6
PETRI NETS
7.7 PROCESS CALCULI 7.8 TEMPORAL LOGICS 7.9 HYBRID METHODS
8 FORMAL DESCRIPTION TECHNIQUES 8.1 EFSM-BASED DESCRIPTION - EXAMPLE:
SDL 8.2 COMMUNICATION-ORIENTED DESCRIPTION - EXAMPLE: MSC 8.3
ALGEBRAIC-BASED DESCRIPTION - EXAMPLE: LOTOS 8.4 DESCRIPTIVE
SPECIFICATION - EXAMPLE: CTLA 8.5 DATA FORMAT DESCRIPTION - EXAMPLE:
ASN.L 8.6 PROTOCOL DESCRIPTION WITH UML 2
PART III DEVELOPMENT O F COMMUNICATION PROTOCOLS
9 PROTOCOL DEVELOPMENT PROCESS 9.1 DEVELOPMENT PHASES 9.2 SINGULARITIES
O F PROTOCOL DEVELOPMENT
10 DESIGN
10.1 SYSTEMATIC PROTOCOL DESIGN 10.2 SPECIFICATION DEVELOPMENT
11 VERIFICATION
11.1 ABOUT PROTOCOL VERIFICATION 11.2 VERIFICATION TECHNIQUES 11.3
REACHABILITY ANALYSIS 11.4 PETRI NET ANALYSIS 11.5 ALGEBRAIC
VERIFICATION 11.6 DEDUCTIVE VERIFICATION
11.7 MODEL CHECKING
129
131 131 134
136 138 140 142
147 151 156
159 160 198 212 250 259
273
281
283 283 286
289 289 294
299 300 301 302 311 320 329 330
IMAGE 3
CONTENTS X V
12 PERFORMANCE EVALUATION 341
12.1 OBJECTIVES 341
12.2 SPECIFICATION O F NON-FUNCTIONAL ASPECTS 343
12.3 PERFORMANCE MODELING TECHNIQUES 345
12.4 TOOLS 346
13 IMPLEMENTATION 351
13.1 FROM PROTOCOL SPECIFICATION TO IMPLEMENTATION 351
13.2 IMPLEMENTATION MODELS 355
13.3 INTERFACE DESIGN 359
13.4 EXAMPLE 361
13.5 SPECIFIC IMPLEMENTATION ISSUES 370
13.6 AUTOMATED PROTOCOL IMPLEMENTATION 378
14 TESTING 385
14.1 TYPES O F PROTOCOL TESTS 385
14.2 CONFORMANCE TEST 388
14.3 DERIVATION O F TEST CASES 415
14.4 INTEROPERABILITY TEST 441
14.5 ACTIVE VS. PASSIVE TESTING 447
14.6 TTCN-2 449
14.7 TTCN-3 455
15 OUTLOOK 485
GLOSSARY 491
REFERENCES 503
ABBREVIATIONS 511
INDEX 515
|
| any_adam_object | 1 |
| author | König, Hartmut 1950- |
| author_GND | (DE-588)12858825X |
| author_facet | König, Hartmut 1950- |
| author_role | aut |
| author_sort | König, Hartmut 1950- |
| author_variant | h k hk |
| building | Verbundindex |
| bvnumber | BV040602448 |
| classification_rvk | ST 200 ST 206 |
| ctrlnum | (OCoLC)874206549 (DE-599)DNB1022399624 |
| dewey-full | 004.62 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.62 |
| dewey-search | 004.62 |
| dewey-sort | 14.62 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | Revised english transl. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02726nam a2200613 c 4500</leader><controlfield tag="001">BV040602448</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171117 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">121130s2012 xx ad|| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12N22</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1022399624</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642291449</subfield><subfield code="c">Gb. : EUR 53.45 (DE)</subfield><subfield code="9">978-3-642-29144-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)874206549</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1022399624</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.62</subfield><subfield code="2">22/ger</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 206</subfield><subfield code="0">(DE-625)143614:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">König, Hartmut</subfield><subfield code="d">1950-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)12858825X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Protocol engineering</subfield><subfield code="c">Hartmut König</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Revised english transl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 525 S.</subfield><subfield code="b">Ill., 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="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">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</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">Requirements engineering</subfield><subfield code="0">(DE-588)4213997-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299724-0</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="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">Formale Beschreibungstechnik</subfield><subfield code="0">(DE-588)4351949-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Requirements engineering</subfield><subfield code="0">(DE-588)4213997-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299724-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="6"><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=" "><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">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="780" ind1="0" ind2="0"><subfield code="i">Dt. Orig.-Ausg. u.d.T.</subfield><subfield code="a">Protocol engineering</subfield><subfield code="t">Prinzip, Beschreibung und Entwicklung von Kommunikationsprotollen / Hartmut König. - 2003</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=025430175&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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025430175</subfield></datafield></record></collection> |
| id | DE-604.BV040602448 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T16:18:23Z |
| institution | BVB |
| isbn | 9783642291449 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025430175 |
| oclc_num | 874206549 |
| open_access_boolean | |
| owner | DE-634 DE-83 |
| owner_facet | DE-634 DE-83 |
| physical | XV, 525 S. Ill., graph. Darst. |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Springer |
| record_format | marc |
| spellingShingle | König, Hartmut 1950- Protocol engineering Kommunikationsprotokoll (DE-588)4128252-8 gnd Verifikation (DE-588)4135577-5 gnd Implementierung Informatik (DE-588)4026663-1 gnd Requirements engineering (DE-588)4213997-1 gnd Softwareentwicklung (DE-588)4116522-6 gnd Systementwicklung (DE-588)4126945-7 gnd Spezifikationstechnik (DE-588)4299724-0 gnd Formale Beschreibungstechnik (DE-588)4351949-0 gnd |
| subject_GND | (DE-588)4128252-8 (DE-588)4135577-5 (DE-588)4026663-1 (DE-588)4213997-1 (DE-588)4116522-6 (DE-588)4126945-7 (DE-588)4299724-0 (DE-588)4351949-0 |
| title | Protocol engineering |
| title_auth | Protocol engineering |
| title_exact_search | Protocol engineering |
| title_full | Protocol engineering Hartmut König |
| title_fullStr | Protocol engineering Hartmut König |
| title_full_unstemmed | Protocol engineering Hartmut König |
| title_old | Protocol engineering Prinzip, Beschreibung und Entwicklung von Kommunikationsprotollen / Hartmut König. - 2003 |
| title_short | Protocol engineering |
| title_sort | protocol engineering |
| topic | Kommunikationsprotokoll (DE-588)4128252-8 gnd Verifikation (DE-588)4135577-5 gnd Implementierung Informatik (DE-588)4026663-1 gnd Requirements engineering (DE-588)4213997-1 gnd Softwareentwicklung (DE-588)4116522-6 gnd Systementwicklung (DE-588)4126945-7 gnd Spezifikationstechnik (DE-588)4299724-0 gnd Formale Beschreibungstechnik (DE-588)4351949-0 gnd |
| topic_facet | Kommunikationsprotokoll Verifikation Implementierung Informatik Requirements engineering Softwareentwicklung Systementwicklung Spezifikationstechnik Formale Beschreibungstechnik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025430175&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT konighartmut protocolengineering |