Generation and execution of discrete update models.