Skip to main content

Advertisement

Table 2 Example - Simulation - 1

From: Extending statecharts to model system interactions

# Events Configuration Output Action
1 init (B; B; B; B) - -
2 Phone-3/e1 (B; B; C; B) -
3 Phone-1/s1 (B; B; C; B) Phone-1.ct++
4 Phone-2/s1 (B; B; C; B) Phone-2.ct++
5 Phone-4/s1 (B; B; C; B) Phone-4.ct++
6 Phone-2/e3 (B; A; C; B) - -
7 Phone-2/e2 (B; B; C; B) -
8 Phone-1/s2 (B; B; C; B) - -
9 Phone-3/s2 (B; B; B; B) s3 -
10 Phone-4/e3 (B; B; B; A) - -
11 Phone-4/e4 (B; B; B; A) - &gc ++