A decidable constraint diagram reasoning system
STAPLETON, GEM, HOWSE, JOHN and TAYLOR, JOHN (2005) A decidable constraint diagram reasoning system Journal of Logic and Computation, 15 (6). pp. 975-1008. ISSN 0955-792X
Full text not available from this repository.
Official URL: http://logcom.oxfordjournals.org/content/15/6/975....
Constraint diagrams are a visual notation designed for use by software engineers to formally specify information systems. In this paper we formalize a fragment of the constraint diagram language. A set of reasoning rules are defined and we prove that this set is both sound and complete. Given constraint diagrams D_1 and D_2 such that D_2 is a semantic consequence of D_1, to prove completeness we construct a proof of D_2 from D_1. A decision procedure can be extracted from this proof construction process and it follows that the system is decidable
Repository Staff Only: item control page