組込み機器では複数の制御対象を同時並行して操作しなければならないことがあります。それぞれの制御対象は状態を持ち、所定の位置まで移動して停止したり、タイムアウトも処理することがあります。そこでは、正常系も異常系も区別はなく、あらゆる状態で、あらゆるイベントに対してどうするのかすべて決まっていなければ、実装に落とすことはできません。
そのような制御をおこなうために必要なソフトウェア仕様書は、状態マシン図で表現します。状態マシン図はUMLが決まるより前から使われていた、ソフトウェア仕様を定義する記法です。ソフトウェア仕様を表現するにはたくさんの見方が必要ですが、状態マシン図はそのひとつで、動的な振る舞いを表現するものです。
今回のセミナーでは状態マシン図に焦点をあてて、その読み方、書き方、そして他人が書いた状態マシン図をレビューする方法をとりあげます。さらに、モデルとソフトウェアの関係を把握し、モデルから実装に変換する方法も学びます。
「ソフトウェアに変換可能な仕様書が書けるようになろう」がサブテーマです。
いっしょに勉強してゆきましょう。事前課題もありますので、ぜひ回答を携えてご参加ください。
