Functional Specification of Distributed Systems

Authors

Gruia-Catalin Roman, Washington University in St. Louis

Document Type

Technical Report

Publication Date

1982-02-01

Filename

WUCS-82-8.pdf

Technical Report Number

WUCS-82-8

Abstract

A formal Distributed Systems Design Language (DSDL) is described. In DSDL, systems are described as nets of communicating processes. A net is defined by its processes, by the logical communications links between processes, and by the communications protocols. Each process in the net has its own local data, procedures that specify primitive operations over the data, and possesses the ability to exchange messages with other processes in the net. Some of these processes are used to model the system environment. The links identify the logical connections between processes. The way in which an individual link behaves in stipulated by the communication protocol associated with the link. DSDL is introduced by means of a highly simplified annotated example representative of the nature of the language.

Comments

Permanent URL: http://dx.doi.org/10.7936/K7BG2M9D

Recommended Citation

Roman, Gruia-Catalin, "Functional Specification of Distributed Systems" Report Number: WUCS-82-8 (1982). All Computer Science and Engineering Research.
https://openscholarship.wustl.edu/cse_research/898