??????????

??????????????????????????????????????????????????????????????????????????????????????????????????????????????????
????????????????????????????????????????????<ID,Role,Beha,Msgs,Cons,Non-Func>??????ID????????????????Role????????????????????????????Role=<ID,Action,Event,LConstraions>??????ID??Role????????Action??Role??????????????????????????????????????????????Event??Role????????????????LConstrains??Role??????????????Role????????????????????????????????????????????????????????????????????????????????????????????
Beha????????????????????
Msgs????????????Role??????????????????????
Cons????????????????????????????????????????????????????????????????????????????????????????????????????????Cons??init,pre-cond,post-cond??,init,pre-cond??post-cond????????????????????????????????????????????
Non-Func??????????????????????????????????????????????????????
????????????????????????????coupler??
??????????????????????????????????????????????????????????????????????????????????????????????????????1/2????????????????????????????????????????????????????????????????????????????????????????????????????????