Pošljite SMS: The object constraint language