2007-06-18から1日間の記事一覧
イベント依存グラフ(EDG)について、FSMより導くのは何だかなーとおもっていたら Alureの論文Inference of Message Sequence Chart を読んで合点がいった。 EDGはAlure風に定式化すればよい MSCはFSMとEDGを両方規定している、ことにすれば当面解決 つまりEDG…
イベント依存グラフ(EDG)について、FSMより導くのは何だかなーとおもっていたら Alureの論文Inference of Message Sequence Chart を読んで合点がいった。 EDGはAlure風に定式化すればよい MSCはFSMとEDGを両方規定している、ことにすれば当面解決 つまりEDG…