A modeling system based on dynamic constraints | Synapse