Stav dette: The object constraint language