Verification and translation of distributed computing system software design

Thesis/Dissertation · Thu Jan 01 00:00:00 EST 1987

OSTI ID:6168292

Chen, J N

A methodology for generating a distributed computing system application program for the design specification based on modified Petri nets is presented. There are four major stages in this methodology: (1) to build a structured graphics specification model, (2) to verify abstract data type and detect deadlock of the model, (3) the define communicate among individual processes within the model, and (4) to translate symbolic representation into a program of a specified high-level target language. In this dissertation, Ada is used as the specified high-level target language. The structured graphics promote intelligibility because hierarchical decomposition functional modules is encouraged and the behavior of each process can be easily extracted from the net as a separate view of the system. The formal method described in this dissertation uses symbolic formal method presentation to represent the design specification of distributed computing systems. This symbolic representation is then translated into an equivalent Ada program structure, especially with the features of concurrency and synchronization. Artificial intelligence techniques are employed to verify and to detect deadlock properties in a distributed computing system environment. In the aspect of verification, the axioms of abstract data types are translated into PROLOG clauses and some inquires are tested to prove correctness of abstract data types.

• Research Organization: Northwestern Univ., Evanston, IL (USA)
• OSTI ID: 6168292
• Resource Relation: Other Information: Thesis (Ph. D)
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
45 MILITARY TECHNOLOGY, WEAPONRY, AND NATIONAL DEFENSE
ARTIFICIAL INTELLIGENCE
COMPUTER GRAPHICS
DISTRIBUTED DATA PROCESSING
ADA
ALGORITHMS
PROLOG
DATA PROCESSING
MATHEMATICAL LOGIC
PROCESSING
PROGRAMMING LANGUAGES
990210* - Supercomputers- (1987-1989)
990500 - Civilian Defense- (-1987)