モデルベース検証支援ツール「ZIPC Tester Ver.3.0」をリリース ～Model Based Development の Simulink のモデル検証を効率化～ キャッツ株式会社（本社:神奈川県横浜市、代表取締役社長:渡辺政彦、以下、キャッツ）は、2017 年 4 月 18 日よりモデルベース検証支援ツール ...

前回から、架空の宅配便会社「まいにち宅配便」が開発を進めている「配達予約システム」を例にとり、UMLを用いてシステムの仕様をモデリングする方法について説明しています。今回は、システム仕様の中で重要な要素の1つである「状態」の仕様を ...

クラス図は、考え得る動的な振る舞いを包括した構造をダイヤグラムとして表現しますが、それがいかなるケースで何が有効なのか、といった事柄に関しては説明しません。そこで、動的な振る舞いを表現するダイヤグラムとしてステートチャート図を導入 ...

実は、UML 2.0 ではステートチャート図は存在しません。「えっ！」と思われる方もいるかもしれませんが、まあ安心してください。まったくなくなるわけではなく、名前が変わるのです。新しい名称は、「ステートマシン図」（ないしは「状態マシン図」）です ...