Title :
A tool for reasoning about software models
Author :
Bailin, Sidney C. ; Henderson, Scott
Author_Institution :
CTA Inc., Rockville, MD, USA
Abstract :
The authors describe a tool for supporting formal reasoning about software systems via their specification diagrams. The formal interconnection analysis tool (FIAT) is meant to help bridge the technology gap between the broad software engineering community and the community of researchers and practitioners of formal methods. An environment was developed for describing and reasoning about software by means of three mechanisms: a graphical interconnection language; a tabular component behavior specification language; and a repository of existing component definitions. The mechanisms are described. The verification process-the kinds of queries that the tool can process and the algorithm for processing the queries-is outlined. Some plans to extend the capabilities of FIAT are discussed
Keywords :
diagrams; formal specification; query processing; software engineering; software tools; specification languages; FIAT; formal interconnection analysis tool; formal methods; graphical interconnection language; queries; reasoning; software engineering; software models; software systems; specification diagrams; tabular component behavior specification language; verification process; Bridges; Computer languages; Formal languages; Formal specifications; LAN interconnection; Programming profession; Software design; Software engineering; Software systems; Software tools;
Conference_Titel :
Computer Assurance, 1993. COMPASS '93, Practical Paths to Assurance. Proceedings of the Eighth Annual Conference on
Conference_Location :
Gaithersburg, MD
Print_ISBN :
0-7803-1251-1
DOI :
10.1109/CMPASS.1993.288862
