DISTRIBUTED SYSTEM DESIGN USING MASCOT AND M-VERDI

Authors
  1. Higginson, M.M.
  2. Andrews, J.D.
Corporate Authors
Andyne Computing Ltd, Kingston ONT (CAN);Chief of Research and Development, Ottawa ONT (CAN) Director of Research and Development Communications and Space
Abstract
A Mascot-based design method was developed for real-time distributed computer systems. Mascot, suitably extended, provides a framework for describing, in graphical terms, the separation and dynamic properties of distributed systems. The language used for procedural specifications was m-Verdi. Describes studies done into the feasibility of implementation based on designs developed using the method and on the feasibility of prototyping and simulating designs using the method. Report includes a survey of the literature on formal specifications of distributed systems.
Date of publication
15 Jun 1988
Number of Pages
153
DSTKIM No
88-04196
CANDIS No
57401
Format(s):
Hardcopy;Originator's fiche received by DSIS

Permanent link

Document 1 of 1

Date modified: