Technical Report Number
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.
Roman, Gruia-Catalin, "Functional Specification of Distributed Systems" Report Number: WUCS-82-8 (1982). All Computer Science and Engineering Research.