DDL.1: a formal description of a constraint representation language for physical domains