An Example of LOTOS Specification: the Matrix Switch Problem

Hubert Garavel and Carlos Rodríguez

Rapport SPECTRE, C22, Laboratoire de Génie Informatique - Institut IMAG, Grenoble, June 1990

Abstract:

In this paper we give a possible methodology for specifying in LOTOS. We illustrate our approach with an example proposed at the FORTE'88 Conference: the matrix switch problem. Starting with an informal specification, we explain how to construct a corresponding LOTOS description.

12 pages

PDF

PostScript