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

Item Type:Journal article
Uncontrolled Keywords:Visual logic; formal methods; diagrammatic reasoning
Subjects:G000 Computing and Mathematical Sciences > G400 Computing
DOI (a stable link to the resource):10.1093/logcom/exi041
Faculties:Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
ID Code:50
Deposited By:Converis
Deposited On:10 May 2007
Last Modified:16 Apr 2013 04:01

Repository Staff Only: item control page