@article{weko_13921_1, author = "高見,一正 and 新津,善弘", title = "通信サービスにおけるメッセージシーケンス図記述からルール記述への仕様変換法", journal = "情報処理学会論文誌", year = "1995", volume = "36", number = "5", pages = "1081--1090", month = "may" }