Title :
On deriving distributed programs from formal specifications of functional requirements and architectural constraints
Author :
Roman, G.-C. ; Wilcox, C.D.
Author_Institution :
Dept. of Comput. Sci., Washington Univ., St. Louis, MO
Abstract :
A method for formal derivation of distributed programs is presented. The approach uses programwide assertions to formulate safety and progress properties of computations. Assertions are used to state functional requirements of the program as well as structural and behavioral constraints imposed by the choice of underlying architecture. The significance of this latter feature is that it offers a single, unified formal framework for integrating functional requirements and architectural constraints
Keywords :
distributed processing; formal specification; architectural constraints; behavioral constraints; distributed programs; formal derivation; formal specifications; functional requirements; safety; structural constraints; Application software; Computational modeling; Computer architecture; Computer science; Constraint theory; Design methodology; Drives; Formal specifications; Hardware; Logic;
Conference_Titel :
Distributed Computing Systems, 1992., Proceedings of the 12th International Conference on
Conference_Location :
Yokohama
Print_ISBN :
0-8186-2865-0
DOI :
10.1109/ICDCS.1992.235004
