U-OWL requirements and design specifications - Alessandro Tiso and Gianna Reggio