（翻譯）14.1 Summary

英文原文來自UML2.5，作者提供中文翻譯。

The StateMachines package defines a set of concepts that can be used for modeling discrete event-driven Behaviors using a finite state-machine formalism. In addition to expressing the Behavior of parts of a system (e.g., the Behavior of Classifier instances), state machines can also be used to express the valid interaction sequences, called protocols, for parts of a system. These two kinds of StateMachines are referred to as behavior state machines and protocol state machines respectively.

狀態機包定義了一組概念，通過這些概念可以以有限狀態機體系對離散事件驅動行為進行建模。除了可以表達系統的某些部分的行為（例如，類目實例的行為）以外，狀態機也可用於表達有效的交互序列，即系統中所謂協議的部分。這兩種狀態機分別成為行為狀態機和協議狀態機。

The specific form of finite state automata used in UML is based on an object-oriented variant of David Harel』s statecharts formalism. (However, readers who are familiar with that formalism should note that there is a small number

of semantic differences that distinguish the UML version from the original.)

UML中使用的有限狀態自動機的特定形式是基於David Harel狀態圖體系的一個面向對象版變體。（然而，熟悉那個體系的讀者應該可以注意到UML版本和原始版本有少量的語義上的不同。）

閱讀更多更新文章，請關注【面向對象思考】微信公眾號！

參考資料：

《OMG Unified Modeling Language TM (OMG UML) Version 2.5》

URL：About the Unified Modeling Language Specification Version 2.5