中田さんのprotocol synthesis

東野研の中田さんの
Protocol Synthesis from Context-Free Processes using Event Structures(1998)を読む。

• LOTOS風にservice specを記述し、これから eventIDなるものを生成し
• eventIDは正規言語(regular expression)であることを示し
• さらにこれから symbilic event structureなる依存関係を導出し
• これからFSMとしてのprotokolを合成する

ということだ。Bochmann先生とは関係あるらしい。