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

By S. Mauw, G. J. Veltink

Smooth laptop networks now circle the realm, however the transmission of data between them relies on the numerous various protocols that outline the habit of the sender and receiver. it's transparent accordingly, that the exact description of those protocols is necessary if harmonious verbal exchange is to be maintained. during this publication the authors use the formal specification language PSF to supply an unambiguous description of a number of verbal exchange protocols of various degrees of complexity, starting from the alternating bit protocol to the token ring protocol. novices, in addition to pros within the box of verbal exchange protocols, will make the most of either the tools of specification defined, and the protocols mentioned during this ebook.

Show description

Read or Download Algebraic Specification of Communication Protocols PDF

Similar programming languages books

Attribute Grammars: Definitions, Systems and Bibliography

Characteristic Grammars have become some of the most primary formalisms of contemporary laptop technological know-how. given that 1968 whilst Knuth brought the fundamental innovations, they've been the topic of a really great amount of literature, proving the significance of the realm and the wide variety of its functions. the purpose of the booklet is to place on the disposal of researchers and scholars, but additionally of engineers drawn to functions, an important definitions and effects identified up to now during this younger area.

ActionScript Developer's Guide to PureMVC

Achieve hands-on adventure with PureMVC, the preferred open resource framework for constructing maintainable purposes with a Model-View-Controller structure. during this concise advisor, PureMVC author Cliff corridor teaches the basics of PureMVC improvement by means of strolling you thru the development of a whole non-trivial Adobe AIR program.

Conquering Complexity

Software program has lengthy been perceived as advanced, no less than inside of software program Engineering circles. we have now been dwelling in a recognized nation of problem because the first NATO software program Engineering convention in 1968. many times we've been confirmed not able to engineer trustworthy software program as easily/cheaply as we imagined.

CodeIgniter for Rapid PHP Application Development: Improve your PHP coding productivity with the free compact open-source MVC CodeIgniter framework!

CodeIgniter (CI) is a robust open-source Hypertext Preprocessor framework with a really small footprint, outfitted for personal home page coders who desire a basic and chic toolkit to create full-featured net functions. CodeIgniter is an MVC framework, comparable in many ways to the Rails framework for Ruby, and is designed to permit, no longer crush.

Extra info for Algebraic Specification of Communication Protocols

Example text

Mulder implemented the compiler driver and library manager. E. Polak. GJ. Veltink contributed to the parser and implemented the transition system generator and initial algebra generator. 7 SUMMARY PSF is a formal specification language suitable for specifying the behaviour of concurrent systems. PSF integrates the process algebra ACP and the algebraic specification language ASF into one language. PSF specifications consist of two kind of modules: data modules, which describe data types, and process modules, which describe process behaviour.

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. In such cases, the module that defines the sorting process 30 Algebraic Specifications in PSF still can be parameterized, but the ordering function must also be part of the parameter. The following specification of the Channel also shows such a dependency. The channel can transport a datum correctly or the datum can get garbled. In the latter case the channel has to output a special error element of type DATA, This error element is therefore part of the parameter of Channel, process module Channel begin parameters Channel-Parameter begin sorts DATA functions error : -> DATA end Channel-Parameter exports begin atoms i n p u t : DATA o u t p u t : DATA processes Channel end processes Choice : DATA variables d : - > DATA definitions Channel = sum(d i n DATA, input(d) .

There is one constant function zero, and all other natural numbers are constructed by applying the successor function s one or more times to zero. There are three infix operators in this signature: _+_ , _-_ and _*_. They represent addition, subtraction and multiplication. The two underscores '__' indicate the place of their arguments. sorts NATURAL functions zero s eq gte gt lte It inc dec mod div NATURAL NATURAL NATURAL NATURAL NATURAL NATURAL NATURAL NATURAL NATURAL NATURAL NATURAL NATURAL NATURAL Initial Algebra: Example Term: # # # # # NATURAL NATURAL NATURAL NATURAL NATURAL # # # # # NATURAL NATURAL NATURAL NATURAL NATURAL -> -> -> -> -> -> -> -> -> -> -> -> -> -> NATURAL NATURAL BOOLEAN BOOLEAN BOOLEAN BOOLEAN BOOLEAN NATURAL NATURAL NATURAL NATURAL NATURAL NATURAL NATURAL zero, s ( z e r o ) , s ( s ( z e r o ) ) , s (s (s (zero) )) , ...

Download PDF sample

Rated 4.81 of 5 – based on 10 votes