State-levels:Clustering A B y(P】 B B B R 8 8 Clustering >(P) B 8 Tian Zhang Nanjing University 11
Tian Zhang @ Nanjing University 11 State-levels: Clustering Clustering
State-levels:Refinement D 3 B X(P) 8 8 一一 a Refinement >(P) B 8 Tian Zhang Nanjing University 12
Tian Zhang @ Nanjing University 12 State-levels: Refinement Refinement
History states History states (H)is one of the most interesting and frequent ways of entering a group of states. the simplest 'enter-by-history'is entering the state most recently visited alorm 1 alarm 1 equivalence Continuation- arrow notation on Tian Zhang Nanjing University 13
Tian Zhang @ Nanjing University 13 History states History states (H) is one of the most interesting and frequent ways of entering a group of states. the simplest ‘enter-by-history’ is entering the state most recently visited equivalence Continuationarrow notation
Deep history 在Harel Statecharts中有一种历史状态(H)不但表示所在 层次的历史状态，而且表示子状态的历史 o Harel Statehrt由t沙右Deep Historyi这个术语 表示直接进入到G或 专门定义了 无法表示G和F的历 F中的历史状态，即 史情况 A或B,C,D或E K G G d Tian Zhang Nanjing University 14
Tian Zhang @ Nanjing University 14 Deep history 在Harel Statecharts中有一种历史状态(H*)不但表示所在 层次的历史状态，而且表示子状态的历史 Harel Statecharts中并没有Deep History这个术语，但在UML2.0中 专门定义了该术语 无法表示G和F的历 史情况 表示直接进入到G或 F中的历史状态，即 A或B，C, D或E
Orthogonality XOR (exclusive or)decomposition represents Refinement or Clustering XOR means one and only one state in the superstate is the current state AND decomposition represents Concurrency AND means all of AND components are current state Note that AND must be specialized but not XOR Tian Zhang Nanjing University 15
Tian Zhang @ Nanjing University 15 Orthogonality XOR (exclusive or) decomposition represents Refinement or Clustering XOR means one and only one state in the superstate is the current state AND decomposition represents Concurrency AND means all of AND components are current state Note that AND must be specialized but not XOR