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

By S. Mauw, G. J. Veltink

Sleek desktop networks now circle the realm, however the transmission of knowledge between them will depend on the numerous diverse protocols that outline the habit of the sender and receiver. it truly is transparent consequently, that the exact description of those protocols is necessary if harmonious conversation is to be maintained. during this publication the authors use the formal specification language PSF to supply an unambiguous description of a number of conversation 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 conversation protocols, will reap the benefits of either the tools of specification defined, and the protocols mentioned during this publication.

Show description

Read Online or Download Algebraic Specification of Communication Protocols PDF

Similar programming languages books

The optimal implementation of functional programming languages

All conventional implementation recommendations for practical languages fail to prevent dead repetition of labor. they don't seem to be "optimal" of their implementation of sharing, frequently inflicting a catastrophic, exponential explosion in relief time. optimum aid is an leading edge graph relief approach for sensible expressions, brought by way of Lamping in 1990, that solves the sharing challenge.

LDAP Directories Explained: An Introduction and Analysis

Offers technical managers and people new to listing prone with a basic advent to LDAP. This concise advisor examines how the expertise works and offers an outline of the main profitable listing items in a simple to reference layout. Softcover.

CMMI for Acquisition: Guidelines for Improving the Acquisition of Products and Services(SEI Series in Software Engineering)

CMMI® for Acquisition (CMMI-ACQ) describes most sensible practices for the profitable acquisition of goods and providers. supplying a pragmatic framework for making improvements to acquisition methods, CMMI-ACQ addresses the becoming pattern in enterprise and executive for corporations to buy or outsource required services in its place to in-house improvement or source allocation.

Fortran for Scientists and Engineers

Fortran for Scientists and Engineers teaches simutaneously either the basics of the Fortran language and a programming type that ends up in stable, maintainable courses. furthermore, it serves as a reference for pros operating within the undefined. between its strengths are its concise, transparent motives of Fortran Syntax and Programming tactics, the inclusion of a wealth of examples and workouts to assist scholars seize tricky ideas, and its factors approximately the way to comprehend code written for older models of Fortran.

Extra resources for Algebraic Specification of Communication Protocols

Sample text

However, the second expression offers the possibility of performing a skip first, and only then choosing between the expressions input or error. In the second case, the outside world would be able to influence the choice, in the way described above. 16 Abstraction The abstraction operator, in the PSF specification written as lnide(l,x), is closely related to the encapsulation operator. The abstraction operator renames atomic actions, contained in its set argument I, into skip. 9 1 T x —> V A ael hided,*) sktp a 1 hided,*) ^ V Action relations for the abstraction operator The main usage of the abstraction operator is connected with the process of communication.

Although the process is still active, it will never be able to get out of this cycle. The main drawbacks of transition systems for use as a specifications language are that it is more difficult to write and to understand a specification in the transition system format and that such specifications tend to be very large. The modelling of parallel execution of two processes leads to an enormous increase of the number of states especially. The reason is that in general, to model the parallel composition of processes x and y, we have to take the cartesian product of the states of x and y to form a tuple that encodes these new composite states.

The approach of implementing an environment, by using clearly defined intermediate languages, serves several purposes. The main reason is that it results in a layered design, in which human users can inspect specifications on a high level through PSF and in which the tools have access to the specifications through a low level representation tailored to their needs. This means in particular that the process of parsing and type checking of PSF is of no concern to the tools which will use a very simple parser to read the intermediate language.

Download PDF sample

Rated 4.50 of 5 – based on 21 votes