Group Communication Server: A Scenario-Based Design Exercise

D. Amyot

Abstract

This report proposes an approach for the design and validation of
distributed systems using scenarios (UCMs) and formal methods (LOTOS).
The case study is one of a generic Group Communication Server (GCS).