Cargando…
Communicating systems with UML 2 : modeling and analysis of network protocols /
This book gives a practical approach to modeling and analyzing communication protocols using UML 2. Network protocols are always presented with a point of view focusing on partial mechanisms and starting models. This book aims at giving the basis needed for anybody to model and validate their own pr...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
London : Hoboken, NJ :
ISTE ; Wiley,
2011.
|
| Temas: | |
| Acceso en línea: | Texto completo (Requiere registro previo con correo institucional) |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | OR_ocn828424574 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 130225s2011 enka ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d DG1 |d IDEBK |d E7B |d OCLCF |d UMI |d DEBBG |d YDXCP |d OCLCQ |d COO |d OCLCQ |d LOA |d OCLCQ |d CNNOR |d DG1 |d MOR |d LIP |d PIFBY |d OCLCQ |d U3W |d MERER |d CUY |d OCLCQ |d STF |d WRM |d ICG |d INT |d CEF |d OCLCQ |d UAB |d A6Q |d OCLCQ |d CNCEN |d HS0 |d OCLCQ |d OCLCO |d LUU |d OCLCQ |d OCLCO | ||
| 019 | |a 875001743 |a 960200542 |a 961604030 |a 988521784 |a 992076741 |a 1037782089 |a 1038696828 |a 1083554926 | ||
| 020 | |a 9781118602119 |q (electronic bk.) | ||
| 020 | |a 1118602110 |q (electronic bk.) | ||
| 020 | |a 9781118602201 |q (electronic bk.) | ||
| 020 | |a 111860220X |q (electronic bk.) | ||
| 020 | |a 9781118602171 | ||
| 020 | |a 111860217X | ||
| 020 | |z 9781848212992 | ||
| 020 | |z 1848212992 | ||
| 029 | 1 | |a AU@ |b 000059330040 | |
| 029 | 1 | |a CHBIS |b 010026705 | |
| 029 | 1 | |a CHNEW |b 000941316 | |
| 029 | 1 | |a CHVBK |b 48021591X | |
| 029 | 1 | |a DEBBG |b BV041907970 | |
| 029 | 1 | |a DEBBG |b BV042032036 | |
| 029 | 1 | |a DEBBG |b BV043395501 | |
| 029 | 1 | |a DEBBG |b BV044172895 | |
| 029 | 1 | |a DEBSZ |b 400441128 | |
| 029 | 1 | |a DEBSZ |b 414175034 | |
| 029 | 1 | |a NZ1 |b 15915482 | |
| 035 | |a (OCoLC)828424574 |z (OCoLC)875001743 |z (OCoLC)960200542 |z (OCoLC)961604030 |z (OCoLC)988521784 |z (OCoLC)992076741 |z (OCoLC)1037782089 |z (OCoLC)1038696828 |z (OCoLC)1083554926 | ||
| 037 | |a CL0500000408 |b Safari Books Online | ||
| 050 | 4 | |a TK5105.55 |b .G37 2011eb | |
| 072 | 7 | |a COM |x 020000 |2 bisacsh | |
| 072 | 7 | |a COM |x 043060 |2 bisacsh | |
| 082 | 0 | 4 | |a 004.6 |2 23 |
| 084 | |a TEC041000 |2 bisacsh | ||
| 049 | |a UAMI | ||
| 100 | 1 | |a Garduno Barrera, David. | |
| 245 | 1 | 0 | |a Communicating systems with UML 2 : |b modeling and analysis of network protocols / |c David Garduno Barrera, Michel Diaz. |
| 260 | |a London : |b ISTE ; |a Hoboken, NJ : |b Wiley, |c 2011. | ||
| 300 | |a 1 online resource (xii, 262 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 520 | |a This book gives a practical approach to modeling and analyzing communication protocols using UML 2. Network protocols are always presented with a point of view focusing on partial mechanisms and starting models. This book aims at giving the basis needed for anybody to model and validate their own protocols. It follows a practical approach and gives many examples for the description and analysis of well known basic network mechanisms for protocols. The book firstly shows how to describe and validate the main protocol issues (such as synchronization problems, client-server interactions, layer organization and behavior, etc.) in an easy and understandable way. To do so, the book considers and presents the main traditional network examples (e.g. unidirectional flows, full-duplex com-munication, error recovering, alternating bit). Finally, it presents the outputs resulting from a few simulations of these UML models. Other books usually only focus either on teaching UML or on analyzing network protocols, however this book will allow readers to model network protocols using a new perspective and integrating these two views, so facilitating their comprehension and development. Any university student studying in the field of computing science, or those working in telecommunications, embedded systems or networking will find this book a very useful addition. | ||
| 505 | 0 | |a Cover; Title Page; Copyright Page; Table of Contents; Preface; Chapter 1. Why Use UML to Model Network Protocols?; 1.1. Modeling network protocols; 1.1.1. The complexity of communication protocols; 1.1.2. Traditional modeling; 1.1.2.1. Basic models and formal description techniques; 1.1.2.2. Automata and state machine models; 1.1.2.3. Petri Net models; 1.1.2.4. Formal and semi-formal languages; 1.1.2.5. Towards a new modeling language; 1.1.3. Traditional validation; 1.1.4. Need for a unified language for description, validation and simulation; 1.2. UML as a common language; 1.2.1. Overview | |
| 505 | 8 | |a 1.2.2. The beginning1.2.3. Brief review; 1.2.3.1. Class diagram; 1.2.3.2. Package diagram; 1.2.3.3. Object diagram; 1.2.3.4. Component diagram; 1.2.3.5. Composite structure diagram; 1.2.3.6. Deployment diagram; 1.2.3.7. Sequence diagram; 1.2.3.8. Profile diagram; 1.2.3.9. Activity diagram; 1.2.3.10. Communication diagram; 1.2.3.11. Interaction overview diagram; 1.2.3.12. Timing diagram; 1.2.3.13. Use case diagram; 1.2.3.14. State machine diagram; 1.2.4. UML for network protocols; 1.2.5. Some general UML tools; 1.3. Chapter summary; 1.4. Bibliography; Chapter 2. Simple Transmission | |
| 505 | 8 | |a 2.1. Introduction2.2. Echo; 2.2.1. Requirement specification; 2.2.2. Analysis; 2.2.2.1. Sequence diagram; 2.2.2.2. Concerned classes; 2.2.2.3. Signals list definition; 2.2.3. Architecture design; 2.2.4. Detailed design: class behavior; 2.2.4.1. Client class; 2.2.4.2. Server class; 2.2.5. Echo: validation and simulation; 2.2.5.1. Simulating the model; 2.2.5.2. Model validation; 2.3. Unidirectional: simple data sending; 2.3.1. Requirement specification; 2.3.2. Analysis; 2.3.2.1. Sequence diagram; 2.3.2.2. Signals list definition; 2.3.3. Architecture design; 2.3.4. Detailed design | |
| 505 | 8 | |a 2.3.4.1. First variation: protocol notation (transition oriented)2.3.4.2. Second variation: behavior notation (state oriented); 2.3.5. Validation and simulation; 2.3.5.1. Simulating the model; 2.3.5.2. Model validation; 2.4. Full duplex: simple data sending; 2.4.1. Specification; 2.4.2. Analysis; 2.4.2.1. Sequence diagram; 2.4.2.2. Concerned classes; 2.4.3. Architecture design; 2.4.4. Validation and simulation; 2.4.4.1. Simulating the model; 2.4.4.2. Model validation; 2.4.5. Different ways of doing the same thing; 2.4.5.1. A single machine; 2.4.5.2. Interruption | |
| 505 | 8 | |a 2.4.5.3. Composite states with concurrent regions2.4.5.4. Parallel threads; 2.5. Chapter summary; 2.6. Bibliography; Chapter 3. Simple Chat Application; 3.1. Introduction; 3.2. Requirements; 3.3. Analysis; 3.3.1. Sequence diagrams; 3.3.1.1. Splitting the system up; 3.3.1.2. Open session; 3.3.1.3. Timeout; 3.3.1.4. Refuse; 3.3.1.5. Accept; 3.3.1.6. Close; 3.3.1.7. Send data; 3.3.2. Concerned classes; 3.3.3. Signal list definition; 3.4. Architecture design; 3.5. Detailed design; 3.5.1. Open session; 3.5.2. Timeout; 3.5.3. Refusing the session; 3.5.4. Accepting session; 3.5.5. Closing session | |
| 590 | |a O'Reilly |b O'Reilly Online Learning: Academic/Public Library Edition | ||
| 650 | 0 | |a Computer network protocols. | |
| 650 | 0 | |a Telecommunication systems. | |
| 650 | 0 | |a UML (Computer science) | |
| 650 | 6 | |a Protocoles de réseaux d'ordinateurs. | |
| 650 | 6 | |a Systèmes de télécommunications. | |
| 650 | 6 | |a UML (Informatique) | |
| 650 | 7 | |a telecommunication systems. |2 aat | |
| 650 | 7 | |a TECHNOLOGY & ENGINEERING |x Telecommunications. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Data Transmission Systems |x General. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Networking |x Vendor Specific. |2 bisacsh | |
| 650 | 7 | |a Computer network protocols |2 fast | |
| 650 | 7 | |a Telecommunication systems |2 fast | |
| 650 | 7 | |a UML (Computer science) |2 fast | |
| 700 | 1 | |a Diaz, Michel, |d 1945- | |
| 776 | 0 | 8 | |i Print version: |a Garduno Barrera, David. |t Communicating systems with UML 2. |d London : ISTE ; Hoboken, NJ : Wiley, 2011 |z 9781848212992 |w (DLC) 2011014706 |w (OCoLC)726822532 |
| 856 | 4 | 0 | |u https://learning.oreilly.com/library/view/~/9781118602171/?ar |z Texto completo (Requiere registro previo con correo institucional) |
| 938 | |a ebrary |b EBRY |n ebr10660617 | ||
| 938 | |a EBSCOhost |b EBSC |n 536703 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis24807251 | ||
| 938 | |a YBP Library Services |b YANK |n 10225636 | ||
| 938 | |a YBP Library Services |b YANK |n 9985033 | ||
| 938 | |a YBP Library Services |b YANK |n 10197087 | ||
| 994 | |a 92 |b IZTAP | ||