Home > Research > Publications & Outputs > Modular composition of redundancy management pr...

Links

View graph of relations

Modular composition of redundancy management protocols in distributed systems: An outlook on simplifying protocol level formal specification & verification

Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

Published
Publication date16/04/2001
Number of pages9
Pages255-263
<mark>Original language</mark>English
Event21st International Conference on Distributed Computing Systems - Washington, United States
Duration: 16/04/200119/04/2001

Conference

Conference21st International Conference on Distributed Computing Systems
Country/TerritoryUnited States
CityWashington
Period16/04/0119/04/01

Abstract

In recent years, formal methods (FMs) have been extensively used for verification and validation (V&V) of dependable distributed protocols. Over our studies in utilizing FMs for V&V, we have observed that a number of protocols providing for distributed and dependable services can often be formulated using a small set of basic functional primitives or their variations. Thus, from the formal viewpoint, the objective of this paper is to introduce techniques, utilizing concepts of category theory, that could effectively identify and reuse basic formal modules in order to simplify formal specification and verification for a spectrum of protocols.