Modeling telecom networks and systems architecture: conceptual tools and formal methods
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2001
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XXV, 450 S. graph. Darst. |
| ISBN: | 3540675655 |
Internformat
MARC
| LEADER | 00000nam a22000008c 4500 | ||
|---|---|---|---|
| 001 | BV013617188 | ||
| 003 | DE-604 | ||
| 005 | 20020409 | ||
| 007 | t | ||
| 008 | 010226s2001 gw d||| |||| 00||| eng d | ||
| 016 | 7 | |a 960856447 |2 DE-101 | |
| 020 | |a 3540675655 |9 3-540-67565-5 | ||
| 035 | |a (OCoLC)46364671 | ||
| 035 | |a (DE-599)BVBBV013617188 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-20 |a DE-634 | ||
| 050 | 0 | |a TK5102.5 | |
| 082 | 0 | |a 621.382/1 |2 21 | |
| 084 | |a ZN 6220 |0 (DE-625)157529: |2 rvk | ||
| 100 | 1 | |a Muth, Thomas |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Modeling telecom networks and systems architecture |b conceptual tools and formal methods |c Thomas Muth |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2001 | |
| 300 | |a XXV, 450 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Mathematisches Modell | |
| 650 | 4 | |a Computer networks |x Mathematical models | |
| 650 | 4 | |a Telecommunication systems |x Mathematical models | |
| 650 | 0 | 7 | |a Telekommunikationsnetz |0 (DE-588)4133586-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Objektorientierung |0 (DE-588)4346172-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Konzeptionelle Modellierung |0 (DE-588)4123555-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Telekommunikationsnetz |0 (DE-588)4133586-7 |D s |
| 689 | 0 | 1 | |a Konzeptionelle Modellierung |0 (DE-588)4123555-1 |D s |
| 689 | 0 | 2 | |a Objektorientierung |0 (DE-588)4346172-4 |D s |
| 689 | 0 | 3 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009303825&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009303825 | ||
Datensatz im Suchindex
| _version_ | 1804128426298179584 |
|---|---|
| adam_text | THOMAS MUTH MODELING TELECOM NETWORKS AND SYSTEMS ARCHITECTURE
CONCEPTUAL TOOLS AND FORMAL METHODS WITH 358 FIGURES SPRINGER CONTENTS 1
INTRODUCTION TO SYSTEMS MODELLING 1.1 WHY ANOTHER MODELLING LANGUAGE? 2
1.2 WHY MODELLING SYSTEMS IS IMPORTANT 7 1.3 SYSTEM ABSTRACTIONS 9 1.4
PROCESSING SYSTEMS 13 1.5 SYSTEM MODELS 17 1.5.1 THE STRUCTURE OF SYSTEM
MODELS 18 1.5.2 FRAGMENTING SYSNET MODELS 20 1.5.3 FRAGMENTING
IMPLEMENTED SYSTEM MODELS 21 1.5.4 HOW IMPLEMENTED AND APPLIED SYSTEM
MODELS ARE RELATED 23 1.6 REQUIREMENTS ON A MODELLING LANGUAGE FOR
SYSTEMS MODELLING. . . 26 1.6.1 SEMANTIC DISTANCE 27 1.6.2 SYNTACTICAL
STYLE 28 1.6.3 MODEL STRUCTURE REPRESENTATION 30 1.6.4 EXPRESSIVE VALUE
31 1.6.5 COMPLETENESS 34 1.7 SUMMARY 35 2 FOUNDATIONS OF SYSNET
MODELLING 2.1 INTRODUCTION 37 2.2 FOCUS ON TELECOM SYSTEMS AND NETWORKS
38 2.2.1 THE LOGICAL NETWORK VIEW ON TELECOM SYSTEMS 39 2.2.2
COMMUNICATION SERVICE PROVIDER 45 2.2.3 PHYSICAL NETWORKS AND PHYSICAL
NODES 47 2.2.4 THE PHYSICAL NETWORK VIEW ON TELECOM SYSTEMS 48 2.2.5
SYSNET MODELS 53 XVI CONTENTS 2.3 ARCHITECTURAL PRINCIPLES 55 2.3.1
ABSTRACTION HIERARCHY 55 2.3.2 THE DUALISM BETWEEN INTERFACE AND UNIT 56
2.3.3 INTERFACE REFINEMENT 58 2.3.4 SUBSTRUCTURES 61 2.3.5 INTERFACE
TRANSFORMATION 68 2.3.6 FUNCTIONAL SPACE 69 2.3.7 INTEGRATION HIERARCHY
81 2.3.8 CONCEPTS SUMMARY 93 2.4 IMPLEMENTATION INDEPENDENT MODELS 96
2.5 VIEWS AND VISUALIZATION MODES 97 2.6 PRINCIPLES OF GRAPHICAL
NOTATIONS IN AML 99 2.7 SUMMARY 100 3 LOGICAL NETWORK MODELLING 3.1
INTRODUCTION 103 3.2 THE COMMUNICATION SERVICE PROVIDER 105 3.2.1
INTRODUCTION 105 3.2.2 THE OSI SERVICE PROVIDER 112 3.2.3 THECSPINAML
117 3.2.4 SUMMARY OF NETWORK SERVICE INTERFACE NOTATIONS 125 3.2.5
SERVICE ACCESS POINT OPERATIONS 129 3.3 NETWORK SERVICE INTERFACE
SCENARIOS 134 3.3.1 CIRCUIT SWITCHED SERVICES »...-..... 134 3.3.2
PACKET SWITCHED SERVICES 137 - 3.4 MODELLING TELECOM RESOURCE SYSTEMS
143 3.4.1 INTRODUCTION 143 3.4.2 RESOURCES IN CIRCUIT SWITCHED NETWORKS
145 3.4.3 RESOURCES IN PACKET SWITCHED NETWORKS, INTRODUCTION 166 3.4.4
RESOURCES IN X.25 NETWORKS 167 3.4.5 RESOURCES IN ATM NETWORKS 171 3.4.6
RESOURCES IN IP NETWORKS 180 3.5 LOGICAL NETWORK STRUCTURES 193 3.5.1
INTRODUCTION * 193 3.5.2 UNITS IN RESOURCE SYSTEM MODELLING, SUMMARY 193
3.5.3 UNITS IN PROCESS CONTROL SYSTEM MODELLING, SUMMARY .... 199 3.5.4
LOGICAL NETWORK STRUCTURES 199 3.5.5 NOTATIONS FOR LOGICAL NETWORKS 211
3.6 SUMMARY 217 4 PHYSICAL NETWORK MODELLING 4.1 INTRODUCTION 219
CONTENTS XVII 4.2 PROPERTIES OF PHYSICAL NETWORKS 220 4.3 PHYSICAL
NETWORK STRUCTURES 224 4.3.1 PHYSICAL SUBSTRUCTURES 224 4.3.2 PHYSICAL
NETWORK LEVELS AND VARIANTS 228 4.4 GENERAL PACKET RADIO SERVICE, A CASE
STUDY 230 4.4.1 INTRODUCTION 230 4.4.2 GPRS PHYSICAL NETWORK LEVEL 0 231
4.4.3 GPRS PHYSICAL NETWORK LEVEL 2 234 4.4.4 THE GPRS STANDARD 239 4.5
IMPLEMENTING NETWORK SERVICE INTERFACES 241 4.5.1 THE NETWORK SERVICE
INTERFACE TRANSFORM 241 4.5.2 IMPLEMENTING SERVICE ACCESS POINTS 245 4.6
SUMMARY 251 5 PROTOCOL NETWORK MODELLING 5.1 INTRODUCTION 253 5.2 AN
EXAMPLE: THE GSM PROCESS CONTROL SYSTEM 256 5.2.1 THE LOGICAL NETWORK
256 5.2.2 GSM PROTOCOL NETWORKS 259 5.2.3 SUMMARY 266 5.3 DISCRIMINATION
267 5.3.1 INTRODUCTION 267 5.3.2 DISCRIMINATION LEVELS 268 5.3.3
DISCRIMINATION QUALIFIERS 269 5.3.4 CONNECTION AND ASSOCIATION HANDLING
272 5.4 MESSAGE HANDLING 277 5.4.1 INTRODUCTION 277 5.4.2 OPERATION
HANDLING 280 5.4.3 FORMAT HANDLING 283 5.4.4 ENCODING 286 5.4.5 ADAPTION
HANDLING 291 5.5 THE EIA553 CASE STUDY 292 5.5.1 INTRODUCTION . 292
5.5.2 THE STRUCTURE OF EIA553 294 5.5.3 THE INTEGRATOR PROTOCOL 296
5.5.4 THE BROADCAST DATA-HANDLING PROTOCOL 297 5.6 RELAYING IN PROTOCOL
NETWORKS 301 5.6.1 INTRODUCTION 301 5.6.2 RELAYING CHAINS 302 5.6.3
PROTOCOL CONVERSION 307 XVIII CONTENTS 5.7 PROTOCOL SPECIFICATION
METHODS 311 5.7.1 INTRODUCTION 311 5.7.2 ABSTRACT PROTOCOL DESIGN 313
5.7.3 THE UNIVERSAL MESSAGE FORMAT 314 5.7.4 THE INTELLIGENT MESSAGE
GENERATOR 316 5.7.5 PRIVATE DATA TYPES 318 5.8 SUMMARY 319 6 PROCESS
CONTROL SYSTEM MODELLING 6.1 INTRODUCTION 323 6.2 A SERVICE NETWORK
MODELLING CASE 327 6.2.1 INTRODUCTION 327 6.2.2 SERVICE RESOURCE
MODELLING 328 6.2.3 OPERATIONS 337 6.2.4 SERVICE BEHAVIOUR 339 6.2.5
OBJECT RESOURCE MODEL 346 6.2.6 OBJECT BEHAVIOUR ,. 349 6.2.7
CENTRALIZED AND DECENTRALIZED CONTROL 355 6.3 SUMMARY 362 7 CONCEPTS AND
NOTATIONS FOR PROCESS CONTROL SYSTEMS MODELLING 7.1 INTRODUCTION
^....... 365 7.2 CONCEPTS AND NOTATIONS IN SERVICE NETWORKS 366 7.2.1
PRIMITIVE STRUCTURAL CONCEPTS 366 7.2.2 SPECIALIZED PORTS AND SERVICE
OBJECTS 369 7.2.3 COMPLEX RELATIONS AND OBJECTS 369 7.2.4 SUBSTRUCTURE
RELATIONS 371 7.2.5 PROPERTIES 374 7.3 RESOURCE MODEL NOTATION 375 7.3.1
INTRODUCTION 375 7.3.2 THE RESOURCE MODEL GRAPH 376 7.3.3 RULES . 378
7.3.4 PROPERTY SPECIFICATION 379 7.3.5 STATE VECTOR 380 7.3.6 STATE
MODEL SYNTAX 380 7.4 ELEMENTS OF INTERACTIONS 380 7.4.1 INTRODUCTION 380
7.4.2 COMMUNICATION EVENT AND ABSTRACT SERVICE PRIMITIVE 381 7.4.3
OPERATION AND ACTIVITY 387 7.4.4 OPERATION CLASS 388 7.4.5 OPERATION
PROPERTIES 392 CONTENTS XIX 7.5 BEHAVIOUR DESCRIPTIONS 397 7.5.1
INTRODUCTION 397 7.5.2 PORT STATE 401 7.5.3 OBJECT STATE 410 7.6 THE
GENERAL STATE MACHINE MODEL 411 7.7 CONCEPTS AND NOTATIONS IN ABSTRACT
NETWORKS 421 7.7.1 INTRODUCTION 421 7.7.2 INTEGRATION MECHANISMS 424
7.7.3 ABSTRACT PROTOCOL BEHAVIOUR 427 APPENDIX 1: LIST OF STANDARDS 429
APPENDIX 2: NAMING AND DATA TYPING IN AML 433 REFERENCES 441 INDEX 443
|
| any_adam_object | 1 |
| author | Muth, Thomas |
| author_facet | Muth, Thomas |
| author_role | aut |
| author_sort | Muth, Thomas |
| author_variant | t m tm |
| building | Verbundindex |
| bvnumber | BV013617188 |
| callnumber-first | T - Technology |
| callnumber-label | TK5102 |
| callnumber-raw | TK5102.5 |
| callnumber-search | TK5102.5 |
| callnumber-sort | TK 45102.5 |
| callnumber-subject | TK - Electrical and Nuclear Engineering |
| classification_rvk | ZN 6220 |
| ctrlnum | (OCoLC)46364671 (DE-599)BVBBV013617188 |
| dewey-full | 621.382/1 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.382/1 |
| dewey-search | 621.382/1 |
| dewey-sort | 3621.382 11 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Elektrotechnik / Elektronik / Nachrichtentechnik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01877nam a22004698c 4500</leader><controlfield tag="001">BV013617188</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20020409 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">010226s2001 gw d||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">960856447</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540675655</subfield><subfield code="9">3-540-67565-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)46364671</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013617188</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">eng</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-20</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TK5102.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.382/1</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZN 6220</subfield><subfield code="0">(DE-625)157529:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Muth, Thomas</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modeling telecom networks and systems architecture</subfield><subfield code="b">conceptual tools and formal methods</subfield><subfield code="c">Thomas Muth</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXV, 450 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="650" ind1=" " ind2="4"><subfield code="a">Mathematisches Modell</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer networks</subfield><subfield code="x">Mathematical models</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Telecommunication systems</subfield><subfield code="x">Mathematical models</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Telekommunikationsnetz</subfield><subfield code="0">(DE-588)4133586-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Objektorientierung</subfield><subfield code="0">(DE-588)4346172-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Konzeptionelle Modellierung</subfield><subfield code="0">(DE-588)4123555-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Telekommunikationsnetz</subfield><subfield code="0">(DE-588)4133586-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Konzeptionelle Modellierung</subfield><subfield code="0">(DE-588)4123555-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Objektorientierung</subfield><subfield code="0">(DE-588)4346172-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</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=009303825&sequence=000001&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-009303825</subfield></datafield></record></collection> |
| id | DE-604.BV013617188 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:49:03Z |
| institution | BVB |
| isbn | 3540675655 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009303825 |
| oclc_num | 46364671 |
| open_access_boolean | |
| owner | DE-20 DE-634 |
| owner_facet | DE-20 DE-634 |
| physical | XXV, 450 S. graph. Darst. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer |
| record_format | marc |
| spelling | Muth, Thomas Verfasser aut Modeling telecom networks and systems architecture conceptual tools and formal methods Thomas Muth Berlin [u.a.] Springer 2001 XXV, 450 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Mathematisches Modell Computer networks Mathematical models Telecommunication systems Mathematical models Telekommunikationsnetz (DE-588)4133586-7 gnd rswk-swf Objektorientierung (DE-588)4346172-4 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Konzeptionelle Modellierung (DE-588)4123555-1 gnd rswk-swf Telekommunikationsnetz (DE-588)4133586-7 s Konzeptionelle Modellierung (DE-588)4123555-1 s Objektorientierung (DE-588)4346172-4 s Formale Methode (DE-588)4333722-3 s DE-604 HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009303825&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Muth, Thomas Modeling telecom networks and systems architecture conceptual tools and formal methods Mathematisches Modell Computer networks Mathematical models Telecommunication systems Mathematical models Telekommunikationsnetz (DE-588)4133586-7 gnd Objektorientierung (DE-588)4346172-4 gnd Formale Methode (DE-588)4333722-3 gnd Konzeptionelle Modellierung (DE-588)4123555-1 gnd |
| subject_GND | (DE-588)4133586-7 (DE-588)4346172-4 (DE-588)4333722-3 (DE-588)4123555-1 |
| title | Modeling telecom networks and systems architecture conceptual tools and formal methods |
| title_auth | Modeling telecom networks and systems architecture conceptual tools and formal methods |
| title_exact_search | Modeling telecom networks and systems architecture conceptual tools and formal methods |
| title_full | Modeling telecom networks and systems architecture conceptual tools and formal methods Thomas Muth |
| title_fullStr | Modeling telecom networks and systems architecture conceptual tools and formal methods Thomas Muth |
| title_full_unstemmed | Modeling telecom networks and systems architecture conceptual tools and formal methods Thomas Muth |
| title_short | Modeling telecom networks and systems architecture |
| title_sort | modeling telecom networks and systems architecture conceptual tools and formal methods |
| title_sub | conceptual tools and formal methods |
| topic | Mathematisches Modell Computer networks Mathematical models Telecommunication systems Mathematical models Telekommunikationsnetz (DE-588)4133586-7 gnd Objektorientierung (DE-588)4346172-4 gnd Formale Methode (DE-588)4333722-3 gnd Konzeptionelle Modellierung (DE-588)4123555-1 gnd |
| topic_facet | Mathematisches Modell Computer networks Mathematical models Telecommunication systems Mathematical models Telekommunikationsnetz Objektorientierung Formale Methode Konzeptionelle Modellierung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009303825&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT muththomas modelingtelecomnetworksandsystemsarchitectureconceptualtoolsandformalmethods |