Tablewise, a decision table tool

Decision tables are widely used for specifying finite functions, such as finite state transitions. We have developed a tool, Tablewise, that tests decision tables for consistency and completeness, displaying possible inputs for which no output or more than one output is specified. Tablewise also supports a novel form of structural analysis that localizes flaws that cause decision tables to be inconsistent or incomplete. Tablewise can generate Ada code implementing the function defined by a decision table and can generate English-language documentation describing that function. Tablewise uses algorithms based on variants of binary decision diagrams.

[1]  William McCune,et al.  OTTER 3.0 Reference Manual and Guide , 1994 .

[2]  Andrew W. Appel,et al.  Standard ML of New Jersey , 1991, PLILP.

[3]  R. Rudell.  Dynamic variable ordering for ordered binary decision diagrams , 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).

[4]  Nancy G. Leveson,et al.  Requirements Specification for Process-Control Systems , 1994, IEEE Trans. Software Eng..

[5]  Tom DeMarco,et al.  Structured Analysis and System Specification , 1978 .

[6]  David Lorge Parnas,et al.  Tabular Representation of Relations , 1992 .

[7]  Harold J. Steudel,et al.  A Decision-Table-Based Processor for Checking Completeness and Consistency in Rule-Based Expert Systems , 1987, Int. J. Man Mach. Stud..

[8]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[9]  R. I. Bahar,et al.  Algebraic decision diagrams and their applications , 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).

[10]  Edmund M. Clarke,et al.  Compositional model checking , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[11]  John K. Ousterhout,et al.  Tcl and the Tk Toolkit , 1994 .

[12]  T. T. Soong,et al.  Book Reviews : System Dynamics: K. Ogata Prentice-Hall, Englewood Cliffs, New Jersey, 1978 , 1980 .

[13]  Natarajan Shankar.  A Tutorial on Specification and Verification Using PVS , 1993 .

[14]  L. Sherry,et al.  A structured approach to requirements specification for software-based systems using operational procedures , 1994, AIAA/IEEE Digital Avionics Systems Conference. 13th DASC.