Multiple view analysis of designs
Boumediene Belkhouche, Cuauhtémoc Lemus Olalde · 1996
During design formulation, designs are subjected to an evaluation and verification process, the goal of which is the detection of design errors. The analysis of different designs or "views" using different design notations has been proposed to achieve this goal. The formal support for the use of multiple views at the design stage with the purpose to detect design discrepancies has been provided by the static analysis technique called abstract interpretation, as the analysis environment. Each view is formalized, independently analyzed, that is, each formalized view is checked for validity (it does not contain any cycles, the balancing rule is enforced, and does not contain any undefined entities). The multiple view analysis framework, relying on the abstract interpretation basis, compares two abstract views, and identifies discrepancies between them. The type of design discrepancies identified were omission of information, incompatible information, and inconsistencies between views. Key...