Skip to main content

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 ++