skip to content
Communicating Systems with UML 2 : Modeling and Analysis of Network Protocols. Preview this item
ClosePreview this item
Checking...

Communicating Systems with UML 2 : Modeling and Analysis of Network Protocols.

Author: David Garduno Barrera; Michel Diaz
Publisher: Hoboken : Wiley, 2013.
Series: ISTE.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Barrera, David Garduno.
Communicating Systems with UML 2 : Modeling and Analysis of Network Protocols.
Hoboken : Wiley, ©2013
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: David Garduno Barrera; Michel Diaz
ISBN: 9781118602171 111860217X
OCLC Number: 880902491
Description: 1 online resource (276 pages).
Contents: 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. 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. 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. 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. 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. 3.5.6. Sending data.
Series Title: ISTE.

Abstract:

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.

Reviews

Editorial reviews

Publisher Synopsis

"Students and engineers in computer science and related fields may find the material of interest." (Book News, 1 October 2011)

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/880902491> # Communicating Systems with UML 2 : Modeling and Analysis of Network Protocols.
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "880902491" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1209444586#Place/hoboken> ; # Hoboken
    schema:about <http://experiment.worldcat.org/entity/work/data/1209444586#Topic/technology_&_engineering_telecommunications> ; # TECHNOLOGY & ENGINEERING--Telecommunications
    schema:about <http://dewey.info/class/004.6/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1209444586#Topic/telecommunication_systems> ; # Telecommunication systems
    schema:about <http://experiment.worldcat.org/entity/work/data/1209444586#Topic/uml_computer_science> ; # UML (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/1209444586#Topic/computer_network_protocols> ; # Computer network protocols
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1209444586#Person/diaz_michel> ; # Michel Diaz
    schema:creator <http://experiment.worldcat.org/entity/work/data/1209444586#Person/barrera_david_garduno> ; # David Garduno Barrera
    schema:datePublished "2013" ;
    schema:description "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."@en ;
    schema:description "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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1209444586> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1209444586#Series/iste> ; # ISTE.
    schema:isSimilarTo <http://worldcat.org/entity/work/data/1209444586#CreativeWork/communicating_systems_with_uml_2_modeling_and_analysis_of_network_protocols> ;
    schema:name "Communicating Systems with UML 2 : Modeling and Analysis of Network Protocols."@en ;
    schema:productID "880902491" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/880902491#PublicationEvent/hoboken_wiley_2013> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1209444586#Agent/wiley> ; # Wiley
    schema:url <http://grail.eblib.com.au/patron/FullRecord.aspx?p=1124669> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=1124669> ;
    schema:workExample <http://worldcat.org/isbn/9781118602171> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/880902491> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1209444586#Person/barrera_david_garduno> # David Garduno Barrera
    a schema:Person ;
    schema:familyName "Barrera" ;
    schema:givenName "David Garduno" ;
    schema:name "David Garduno Barrera" ;
    .

<http://experiment.worldcat.org/entity/work/data/1209444586#Person/diaz_michel> # Michel Diaz
    a schema:Person ;
    schema:familyName "Diaz" ;
    schema:givenName "Michel" ;
    schema:name "Michel Diaz" ;
    .

<http://experiment.worldcat.org/entity/work/data/1209444586#Series/iste> # ISTE.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/880902491> ; # Communicating Systems with UML 2 : Modeling and Analysis of Network Protocols.
    schema:name "ISTE." ;
    schema:name "ISTE" ;
    .

<http://experiment.worldcat.org/entity/work/data/1209444586#Topic/computer_network_protocols> # Computer network protocols
    a schema:Intangible ;
    schema:name "Computer network protocols"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1209444586#Topic/technology_&_engineering_telecommunications> # TECHNOLOGY & ENGINEERING--Telecommunications
    a schema:Intangible ;
    schema:name "TECHNOLOGY & ENGINEERING--Telecommunications"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1209444586#Topic/telecommunication_systems> # Telecommunication systems
    a schema:Intangible ;
    schema:name "Telecommunication systems"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1209444586#Topic/uml_computer_science> # UML (Computer science)
    a schema:Intangible ;
    schema:name "UML (Computer science)"@en ;
    .

<http://worldcat.org/entity/work/data/1209444586#CreativeWork/communicating_systems_with_uml_2_modeling_and_analysis_of_network_protocols>
    a schema:CreativeWork ;
    rdfs:label "Communicating Systems with UML 2 : Modeling and Analysis of Network Protocols." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/880902491> ; # Communicating Systems with UML 2 : Modeling and Analysis of Network Protocols.
    .

<http://worldcat.org/isbn/9781118602171>
    a schema:ProductModel ;
    schema:isbn "111860217X" ;
    schema:isbn "9781118602171" ;
    .

<http://www.worldcat.org/title/-/oclc/880902491>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/880902491> ; # Communicating Systems with UML 2 : Modeling and Analysis of Network Protocols.
    schema:dateModified "2016-11-04" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.