やさしい仕様記述による通信プログラム自動生成系の開発