Paper Info
Title
Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components
Abstract
Amalia is a generator framework for constructing analyzers for operationally defined formal notations. These generated analyzers are components that are designed for customization and integration into a larger environment. The customizability and efficiency of Amalia analyzers owe to a computational structure called an inference graph. This paper describes this structure, how inference graphs enable Amalia to generate analyzers for operational specifications, and how we build in assurance. On another level, this paper illustrates how to balance the need for assurance, which typically implies a formal proof obligation, against other design concerns, whose solutions leverage design techniques that are not (yet) accompanied by mature proof methods. We require Amalia-generated designs to be transparent with respect to the formal semantic models upon which they are based. Inference graphs are complex structures that incorporate many design optimizations. While not formally verifiable, their fidelity with respect to a formal operational semantics can be discharged by inspection.
Year
DOI
Venue
2003
10.1109/TSE.2003.1178052
IEEE Trans. Software Eng.
Keywords
Field
DocType
computational structure,solutions leverage design technique,design concern,formal operational semantics,inference graph,correct analysis components,amalia-generated design,amalia analyzer,formal notation,formal proof obligation,inference graphs,design optimizations,formal semantic model,graphs,operational semantics,design optimization,software engineering,complex structure,indexing terms,formal semantics
Graph,Operational semantics,Notation,Fidelity,Programming language,Software engineering,Computer science,Inference,Theoretical computer science,Verifiable secret sharing,Formal proof,Personalization
Journal
Volume
Issue
ISSN
29
2
0098-5589
Citations 
PageRank 
References 
8
0.52
22
Authors
2
Name
Order
Citations
PageRank
Laura K. Dillon149770.70
Kurt Stirewalt231230.24