Index

ALGORITHMS

Fire a Transition

2.3.1

Fire a Transition (Alternate)

2.3.2

Flatten Importation

2.3.3

Model Compound Statements with Simple Statements

5.5.2

Order Transitions by Priorities

5.1

Rule Checker

7.3

Simulate Synchronous Sending with Asynchronous Sending

2.5

DESCRIPTORS

STATECHART

4.2.2

STATECHART

[DS]

4.2.3

STATECHART

[FS]

4.2.3

STATECHART

[CS]

4.2.3

STATECHART

[HS]

4.2.3

STATECHART

[HS*]

4.2.3

STATECHART

[ITF]

4.2.3

STATECHART

[OTF]

4.2.3

STATECHART

[RTO]

4.2.3

TRANSITION

4.2.5

TRANSITION

S

4.2.5

TRANSITION

N

4.2.5

TRANSITION

E

4.2.5

TRANSITION

T

4.2.5

TRANSITION

C

4.2.5

TRANSITION

O

4.2.5

TRANSITION

Priority Numbers

4.2.6

TRANSITION

[HS]

4.2.7

ENTER

4.2.8

EXIT

4.2.8

ENTER

N

4.2.8

EXIT

S

4.2.8

ENTER

O

4.2.8

EXIT

O

4.2.8

ENTER

C

4.2.8

EXIT

C

4.2.8

IMPORTATION

4.2.9

PORT

4.2.10

PORT

name

4.2.10

PORT

type

4.2.10

PORT

buffer

4.2.10

COMPONENT

4.2.11

COMPONENT

id

4.2.11

COMPONENT

name

4.2.11

COMPONENT

type

4.2.11

CONNECTIONS

4.2.11

MACRO

4.3.1

STATECHART

Importation Parameters

4.3.1.4

OPTIONS

4.3.3

OPTIONS

ModelName

4.3.3

OPTIONS

Harel

4.3.3

OPTIONS

InnerTransitionFirst

4.3.3

INITIALIZER

4.3.4

FINALIZER

4.3.4

INTERACTOR

4.3.4

SNAPSHOT

4.3.5

BEFORESNAPSHOT

4.3.5

AFTERSNAPSHOT

4.3.5

RESTORE

4.3.5

DESCRIPTION

4.3.6

MATHEMATICAL SYMBOLS

Importation $\Delta$

Overview

2.2.1

Ports $P$

Type $PT$

2.2.1

MATHEMATICAL SYMBOLS

Children Function $C$

2.2.1

Connections $L$

Overview

2.2.1

Connections $L$

2.2.7

Connections $L$

Local Port $PN_1$

2.2.7

Connections $L$

Server Port $PN_2$

2.2.7

Connections $L$

Server Model $M$

2.2.7

Importation $\Delta$

2.2.6

Ports $P$

2.2.1

Ports $P$

Name $PN$

2.2.1

State Set $S$

Overview

2.2.1

State Set $S$

2.2.2

State Set $S$

GUID $SN$

2.2.2

State Set $S$

Default State $DS$

2.2.2

State Set $S$

Orthogonal Component $CS$

2.2.2

State Set $S$

History $HS$

2.2.2

State Set $S$

Transition Priority $TP$

2.2.2

State Set $S$

Enter Actions $EN$

2.2.2

State Set $S$

Exit Actions $EX$

2.2.2

Transition $T$

Overview

2.2.1

Transition $T$

2.2.3

Transition $T$

Source State $SRC$

2.2.3

Transition $T$

Event $E$

2.2.3

Transition $T$

Guard $G$

2.2.3

Transition $T$

Destination State $DES$

2.2.3

Transition $T$

Parameters $\gamma$

2.2.3

Transition $T$

Output Actions $\lambda$

2.2.3

Transition $T$

Transition to History $HS_T$

2.2.3

Transition $T$

Priority $Prio$

2.2.3

Variables $V$

Overview

2.2.1

Variables $V$

2.2.4