|
|
|
|
| LEADER |
00000cam a2200000Mi 4500 |
| 001 |
ocn880902491 |
| 003 |
OCoLC |
| 005 |
20240623213015.0 |
| 006 |
m o d |
| 007 |
cr |n|---||||| |
| 008 |
140505s2013 xx o 000 0 eng |
| 040 |
|
|
|a AU@
|b eng
|e pn
|c AU@
|d EBLCP
|d YDXCP
|d DEBSZ
|d OCLCQ
|d ZCU
|d MERUC
|d OCLCQ
|d DKC
|d OCLCQ
|d HS0
|d OCLCO
|d OCLCF
|d OCLCO
|d OCLCQ
|d OCLCO
|d OCLCL
|
| 019 |
|
|
|a 828298920
|
| 020 |
|
|
|a 9781118602171
|
| 020 |
|
|
|a 111860217X
|
| 035 |
|
|
|a (OCoLC)880902491
|z (OCoLC)828298920
|
| 050 |
|
4 |
|a TK5105.55 .G37 2011
|
| 049 |
|
|
|a HCDD
|
| 100 |
1 |
|
|a Barrera, David Garduno.
|
| 245 |
1 |
0 |
|a Communicating Systems with UML 2 :
|b Modeling and Analysis of Network Protocols.
|
| 260 |
|
|
|a Hoboken :
|b Wiley,
|c 2013.
|
| 300 |
|
|
|a 1 online resource (276 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a ISTE
|
| 588 |
0 |
|
|a Print version record.
|
| 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.
|
| 505 |
8 |
|
|a 3.5.6. Sending data.
|
| 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 org.
|
| 650 |
|
0 |
|a Computer network protocols.
|
| 650 |
|
0 |
|a Telecommunication systems.
|
| 650 |
|
0 |
|a UML (Computer science)
|
| 650 |
|
7 |
|a telecommunication systems.
|2 aat
|
| 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.
|
| 758 |
|
|
|i has work:
|a Communicating systems with UML 2 (Text)
|1 https://id.oclc.org/worldcat/entity/E39PCH3xRdVh8yJwBhw64VygTd
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
| 776 |
0 |
8 |
|i Print version:
|a Barrera, David Garduno.
|t Communicating Systems with UML 2 : Modeling and Analysis of Network Protocols.
|d Hoboken : Wiley, ©2013
|z 9781848212992
|
| 830 |
|
0 |
|a ISTE.
|
| 856 |
4 |
0 |
|u https://ebookcentral.proquest.com/lib/holycrosscollege-ebooks/detail.action?docID=1124669
|y Click for online access
|
| 903 |
|
|
|a EBC-AC
|
| 994 |
|
|
|a 92
|b HCD
|