Arcadia Papers: ABSTRACT
"Automatic Generation of Inequality Systems for Constrained Expression
Analysis",
by George S. Avrunin Ugo Buy and James Corbett in Technical Report 90-032,
Department of Computer Science, University of Massachusetts at Amherst, 1990.
Abstract
This report describes a prototype tool for automating the generation of
systems of inequalities, and for aiding in the interpretation of the
solutions of such systems, in the analysis of constrained expressions.
The constrained expression approach to the analysis of concurrent and
distributed software systems is described in [4,5]; more detailed
descriptions of the use of inequalities in such analysis are given in
[2,5,6]. This prototype implements a piece of a toolset supporting automated
analysis of distributed system designs written in the CEDL design language
[11], which is based on Ada. The structure of the toolset and its
application are described briefly in the next section and in more detail
in [4]. Detailed discussions of the other components of the toolset are
given in [1,7,9,12]. This document describes version 2.0 of the prototype,
whose implementation has been completed recently.
The Arcadia Project
<arcadia-www@ics.uci.edu>
Last modified: Thu Jan 26 13:36:30 1995