「状態遷移図」の版間の差分
削除された内容 追加された内容
編集の要約なし |
英語版の最新版までの一部の更新を翻訳してマージ |
||
29行目:
== UML 状態遷移図 ==
[[画像:UML_state_diagram.png|right|thumb|200px|UML状態遷移図の例]]
[[統一モデリング言語|UML]]の状態遷移図はコンピュータプログラムからビジネスプロセスまで様々な事象を記述できるよう標準化されたものである。以下のような要素を使って図を作成できる。
* 塗りつぶされた円が START（開始）を意味する。必須ではない。
38 ⟶ 39行目:
== その他の拡張 ==
興味深い拡張として、矢印線が複数の状態から複数の状態へと接続することを許すものがある。これはシステムが同時並行する複数の状態を許す場合に意味があり、各状態はひとつの条件か過渡的な状態を表していて、それらが複合して全体の状態を表す。これを形式化したものが[[ペトリネット]]である。
もう1つの拡張として、フローチャートとハレルの状態遷移図を統合したものがある。この拡張はイベント駆動型とワークフロー駆動型の両方のソフトウェアの開発をサポートする。
== 参考文献 ==
* [http://www.agilemodeling.com/artifacts/stateMachineDiagram.htm Introduction to UML 2 State Machine Diagrams] by Scott W. Ambler
* [http://www.agilemodeling.com/style/stateChartDiagram.htm UML 2 State Machine Diagram Guidelines] by Scott W. Ambler
* ''Modelling and verification using UML statecharts'', Drusinsky, D., [[エルゼビア]], [[2006年]], [http://www.elsevier.com/wps/find/bookdescription.cws_home/707940/description#description]
* Michael Sipser (2006), ''Introduction to the Theory of Computation, Second Edition'', Thomson Course Technology, Boston. ISBN-13: 978-0-534-95097-2, ISBN-10: 0-534-95097-3.
* [[ジョン・ホップクロフト|John Hopcroft]] and Jeffrey Ullman (2002) ''Introduction to Automata Theory, Languages, and Computation'', Addison-Wesley Publishing Company, Reading Mass, ISBN 0-201-02988-X.
* Taylor Booth (2002) ''Sequential Machines and Automata Theory'', John Wiley and Sons, New York. Library of Congress Catalog Card Number: 67-25924.
* [http://books.elsevier.com/1578201101 Practical Statecharts in C/C++] by Miro Samek
== 外部リンク ==
*[http://www.wisdom.weizmann.ac.il/~dharel/ David Harel's home page]
* [http://www.wisdom.weizmann.ac.il/~dharel/SCANNED.PAPERS/Statecharts.pdf D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231--274, June 2002.]
* [http://www.intelliwizard.com IntelliWizard - UML StateWizard] - 状態遷移図からのソフトウェア作成を支援するオープンソースのソフトウェア
[[Category:グラフ理論|しようたいせんいす]]
| |||