SMS: The object constraint language