In the declarative programming approach of property models, a dataflow constraint system manages the behavior of a user interface. The dataflow constraint system captures the user-interface logic as a set of variables and ...