TOWARDS AN M-EVES-BASED FORMAL METHOD FOR M-VERDI/ADA PROCESS NETWORKS (VERSION 1.0)

Authors
  1. 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
Discusses a developing formal method for a fixed network of process implemented partly in Ada (ARM83) and partly in m-Verdi (Cra87, Saa87). Interprocess communication is based on the remote procedure call model, with processes being organized into clients and servers with respect to any given remotely callable procedure.
Keywords
FORMAL METHODS;PROCESS NETWORKS;M-VERDI;REMOTE PROCEDURE CALL MODEL
Date of publication
01 Sep 1992
Number of Pages
22
DSTKIM No
94-00246
CANDIS No
128598
Format(s):
Hardcopy;Originator's fiche received by DSIS

Permanent link

Document 1 of 1

Date modified: