榎木浩,若林学,上田佳寛,原田良雄
STR(State Transition Rule)記述仕様書
Abstract:本稿は，通信サービスの動作記述のために開発されたSTR(StateTransition Rule)の記述方
法について概説する．STRは，ATR通信システム研究所において，平成元年春より研究が開始された仕様記述言語であり，主に通信ソフトウェアの研究に用いられる．
ソフトウェア開発では，まずソフトウェアで実現すべきことを仕様として記述する．ソフトウェアで実現すべき機能を事前に記述することにより，早期段階での設計上の問題点を明らかにできる．
現在，仕様記述言語として用いられているもののほとんどは，手順的な記述，即ち時系列的な処理の流れを記述するものである．