英文原文来自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：http://www.omg.org/spec/UML/2.5
以上就是今天的文章，欢迎点赞，关注并推荐给您的朋友！
阅读更多更新文章，请扫描下面二维码，关注微信公众号【面向对象思考】
