next up previous contents
Next: Bibliography Up: DCHARTS, A FORMALISM FOR Previous: 11. ACKNOWLEDGMENT   Contents


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


Thomas Huining Feng 2004-04-28