rule translat local misc oper sequenc diagram 