Protocol Design and Implementation Using Formal Methods | Zendy

Marten van Sinderen | Zendy; Luís Ferreira Pires | Zendy; Chris A. Vissers | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Protocol Design and Implementation Using Formal Methods

Author(s) -

Marten van Sinderen,

Luís Ferreira Pires,

Chris A. Vissers

Publication year - 1992

Publication title -

the computer journal

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.319

H-Index - 64

eISSN - 1460-2067

pISSN - 0010-4620

DOI - 10.1093/comjnl/35.5.478

Subject(s) - correctness , computer science , protocol (science) , formal methods , protocol design , transformational leadership , software engineering , design methods , programming language , communications protocol , operating system , engineering , medicine , mechanical engineering , alternative medicine , public relations , pathology , political science

This paper reports on a number of formal methods that support correct protocol design and implementation. These methods are placed in the framework of a design methodology for distributed systems that was studied and developed within the ESPRIT II Lotosphere project (2304). The paper focuses on design methods for synthesizing protocols by successive application of correctness-preserving LOTOS transformations. This transformational approach is described in some detail and is illustrated with a protocol design example. The paper concludes with some suggestions for relating design methods to milestones in the protocol design and implementation processes

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research