Formal System Specification In Oose Definition