Home research People General Info Seminars Resources Intranet

John Freeman, Jaakko Järvi, Jacob Smith, Mat Marcus, Sean Parent, "Properties of Constraint Systems of Property Models," Technical Report, TR09-001, Parasol Laboratory, Department of Computer Science, Texas A&M University, Jul 2009.
Technical Report(pdf, abstract)

This report describes some properties of a certain class of multi-way dataflow constraint systems with hierarchies. This class arises in the implementation of property models, an approach that enables a high level of reuse in programming user interfaces. We prove that any solution of a constraint system in this class is unique, define a class of changes in a constraint hierarchy that are guaranteed to keep the solution of the constraint system unchanged, and determine the extent to which other changes in a constraint hierarchy affect the solution of the constraint system.