A tool for reasoning about software models

Author

Bailin, Sidney C. ; Henderson, Scott

Author_Institution

CTA Inc., Rockville, MD, USA

fYear

1993

fDate

14-17 Jun 1993

Firstpage

7

Lastpage

14

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/CMPASS.1993.288862

Filename

288862