Accession Number : ADA115010

Title :   Concurrent System Description Language.

Descriptive Note : Final technical rept. 11 Sep 80-11 Sep 81,

Corporate Author : HONEYWELL INC BLOOMINGTON MN CORPORATE COMPUTER SCIENCES CENTER

Personal Author(s) : Wood,William T ; Berg,Helmut K ; Yu,Stone H ; Paulsen,William R

PDF Url : ADA115010

Report Date : Feb 1982

Pagination or Media Count : 235

Abstract : This report describes an effort to develop a concurrent system description language (CSDL). The development of the notation is based on studies of approaches to modeling, designing, decomposing, describing, analyzing, and deriving simulations of concurrent processing systems. The devised notation is based on a computational model which represents systems as a collection of communicating concurrent activities. CSDL takes an architectural approach viewing concurrency as a relationship among activities, rather than a concurrent programming approach viewing concurrency as a control construct. The model does not distinguish between hardware and software realizations. The notation integrates statements about the performance of concurrent processing systems. The basic principles of CSDL include data abstraction and refinement, hierarchies of abstract machines and their decomposition, representation of system requirements and design solutions for all system components.

Descriptors :   *Multiprocessors, *Programming languages, Asynchronous systems, Global, Communications networks, Centralized, Decentralization, Coupling(Interaction), Computer architecture, Data processing, Fault tolerant computing, Reliability, Computer program verification, Requirements, Specifications, Computerized simulation

Subject Categories : Computer Programming and Software
      Computer Hardware

Distribution Statement : APPROVED FOR PUBLIC RELEASE