A formal semantics for RSML- e