On the architectural design of the formal specification of the session standards in LOTOS