14.3.4 表示法

扩展状态机带有«extended»关键字（参见图14.39和图14.40）。类似的，为了指示继承的区域或某个状态是扩展的，也可以在该元素的名称上添加«extended»关键字。状态机中的被继承元素，区域或状态使用虚线或浅色线条来画（例如，图14.39）。最后，如果一个状态是叶子状态（即isLeaf=true），它的名称之后可以添加«final»关键字。

14.3.5 示例

作为状态机特化的一个例子，图14.38中的ATM状态机的状态“VerifyCard”、“OutofService”和“VerifyTransition”被指示为final，这意味着它们在ATM的特化中不能被重定义。其它所有状态都是可以被重定义的。转变verifyTransaction-releaseCard也被指示为final，即它的effect行为和目标状态不能被重定义。

图14.38 A general StateMachine

图14.39中，通过增加了一个状态和转变来扩展了组合状态从而实现了一个特化的ATM（它是图14.38中ATM状态机所属类的一个特化类的状态机），从而用户可以输入希望的金额。此外，增加了一个转变从一个继承的状态执行一个新引入的状态。

图14.39 An extended StateMachine

图14.40展示了向特化状态机增加转变的例子。

图14.40 Adding Transitions