In this thesis, a method of constructing a system model for concurrent software system from the Data Flow Diagrams is discussed. Design features such as portions of the diagram which can be processed in parallel and access to shared resources which should be synchronizd are identified exploiting the inherent parallelism of the diagram. A complete system model is to be derived from the initial model through a feedback analysis. Thesis design capabilities are implemented into an experimental design support system. A symbolic evaluator to assure proper termination of the system and to detect deadlock states is also included in the system.
