这几天要研究一下ADL CSP
AcmeStudio is an architectural design environment that has been developed at Carnegie Mellon University. It provides a graphical interface that allows you to draw architectures in various styles, and to manipulate and analyze those designs. The terminology used in AcmeStudio is the same as the Acme architecture description language, and in fact AcmeStudio can read and write Acme descriptions.
C.A.R. Hoare’s Communicating Sequential Processes (CSP) is a model-language
hybrid for describing concurrent and distributed computation. A CSP program is
a static set of explicit processes. Pairs of processes communicate by naming each
other in input and output statements. Communication is synchronous with uni-
directional information
ow. A process that executes a communication primitive
(input or output) blocks until the process with which it is trying to communicate
executes the corresponding primitive. Guarded commands are used to introduce
indeterminacy.
CSP is a language fragment; it extends an imperative kernel with guarded
and parallel commands. Hoare’s primary concerns in the design of CSP have been
with issues of program correctness and operating systems description. CSP shows
its strong operating systems orientation by prohibiting dynamic process creation,
determining the interprocess communication structure at system creation, and
excluding recursion
