Download e-book for iPad: Algebraic Specification of Communication Protocols by S. Mauw, G. J. Veltink

By S. Mauw, G. J. Veltink

ISBN-10: 0511721625

ISBN-13: 9780511721625

ISBN-10: 0521088127

ISBN-13: 9780521088121

ISBN-10: 0521418836

ISBN-13: 9780521418836

Smooth computing device networks now circle the realm, however the transmission of knowledge between them will depend on the various diverse protocols that outline the habit of the sender and receiver. it truly is transparent accordingly, that the actual description of those protocols is critical if harmonious communique is to be maintained. during this ebook the authors use the formal specification language PSF to supply an unambiguous description of numerous communique protocols of various degrees of complexity, starting from the alternating bit protocol to the token ring protocol. newcomers, in addition to execs within the box of verbal exchange protocols, will make the most of either the tools of specification defined, and the protocols mentioned during this booklet.

Show description

Read or Download Algebraic Specification of Communication Protocols PDF

Similar programming languages books

Download e-book for kindle: Computers & art by Stuart Mealing

Pcs and Art offers insightful views at the use of the pc as a device for artists. The techniques taken differ from its old, philosophical and functional implications to using desktop expertise in paintings perform. The individuals contain an paintings critic, an educator, a practicing artist and a researcher.

Download e-book for iPad: C# 3.0: A Beginner's Guide (Beginner's Guide (Osborne by Herbert Schildt

Crucial Skills--Made effortless! permit grasp programmer and bestselling writer Herb Schildt educate you the basics of C#, Microsoft's most advantageous programming language for the . web Framework. you are going to start via studying to create, bring together, and run a C# software. Then it really is directly to facts varieties, operators, keep watch over statements, equipment, periods, and items.

Additional info for Algebraic Specification of Communication Protocols

Example text

Process module System begin exports begin atoms sender-to-channel : MESSAGE channel-to-receiver : MESSAGE processes System, System1 end imports Sender { S e n d e r - P a r a m e t e r bound by [ DATA - > MESSAGE ] t o Messages renamed b y [ input -> sender-input, output -> sender-output Channel { Channel-Parameter bound by [ DATA -> MESSAGE, error -> message-error ] to Messages renamed by [ input -> channel-input, output -> channel-output Receiver { Receiver-Parameter bound by [ DATA -> MESSAGE, valid-data -> valid ] to Messages renamed by [ input -> receiver-input, output -> receiver-output sets of atoms H = { sender-output(m), channel-input(m), channel-output(m), receiver-input(m) | m in MESSAGE } I = { sender-to-channel(m), channel-to-receiver(m) | m in MESSAGE } communications sender-output(m) | channel-input(m) = sender-to-channel (m) for m in MESSAGE PSF: Syntax and Semantics 33 channel-output(m) | receiver-input(m) for m i n MESSAGE definitions System = encaps(H, Sender System1 = h i d e ( I , System) | | Channel = channel-to-receiver(m) | | Receiver) end System In the example we can see that the binding of a parameter is achieved by importing a module A, that contains a parameter and binding it to a module B.

4 Importing Modules & Renaming Objects Now we will show how the three modules we have defined in the previous sections can be combined by means of imports, into one module called System. process module begin System exports begin atoms sender-to-channel, channel-to-receiver, processes System, System1 end imports Sender { renamed by [ input -> sender-input, error-transmission PSF: Syntax and Semantics 23 output -> sender-output Channel { renamed by [ input -> channel-input, output -> channel-output, error -> channel-error Receiver { renamed by [ input -> receiver-input, output -> receiver-output, error -> receiver-error sets of atoms H = { sender-output, channel-input, channel-output, receiver-input, channel-error, receiver-error } I = { sender-to-channel, channel-to-receiver, error-transmission } communications sender-output | channel-input = sender-to-channel channel-output | receiver-input = channel-to-receiver channel-error | receiver-error = error-transmission definitions System = encaps(H, Sender || Channel || Receiver) System1 = hide(I, System) end System In the example above, the exported objects from the module Sender are made available to System by importing Sender.

The entries in the parameters section are named parameter blocks. The name of the parameter block in the example is Sender-Parameter. Each block can contain sorts, functions, sets, atoms and processes. The entities that are introduced in the parameters section, are treated in the rest of the module as if they were normal entities. Not all processes can be parameterized in such a simple way as described above. The Sender does not depend on the data it is transporting. On the contrary, a process that would sort items does depend on the data it is sorting, because it has to know the order of two data items.

Download PDF sample

Algebraic Specification of Communication Protocols by S. Mauw, G. J. Veltink

by Christopher

Rated 4.44 of 5 – based on 11 votes