F-cell disk LHKF F-cell circle LHKF B-cell rectangle DEQS B-cell polyline DEQS Dimensionality Cell 1...
-
Upload
anthony-lee -
Category
Documents
-
view
222 -
download
3
Transcript of F-cell disk LHKF F-cell circle LHKF B-cell rectangle DEQS B-cell polyline DEQS Dimensionality Cell 1...
F-cell
diskLHKF
F-cell
circleLHKF
B-cell
rectangleDEQS
B-cell
polylineDEQS
Dimensionality
Cell 1
Point-set
Dimensionality
Cell 2
Point-set
Dimensionality
Cell N
Point-set
Cell 1
IC Framework
Cells
Attributes
IC Instance 1
IC Instance 2
IC Instance N
…
…
Active IC InstanceCurrent event
Generatedevents
Cell B Cell A
Cell C Attr S
Dependency relations
Curr
ent
event
IC Instance K
Genera
ted
events
Relations
Cell A
Cell B
Cell C
…
(from generatedevents list)
Current event
Attr R
Attr S
…
Cell
Reaction X
Reaction Y
…
IC Model
Cells
Attributes
IC Instance 1
IC Instance 2
IC Instance N
…
…
Active IC Instance
Cell B Cell A
Cell C Attr S
IC Instance K
Relations
Cell A
Cell B
…
Attr R
Attr S
…
Shape
Parameters
…
IC Instances
Parameters
Animations
…
Dependencies
Timespan
IC Model
Cells
Attributes
IC Instance 1
IC Instance 2
…
…
Active IC Instance
Cell B
Cell A
Cell C
Attr S
IC Instance K
Relations
Cell A
Cell B
…
Attr R
Attr S
…
State V
…
IC Instances
Parameters
Animations
…
State U
Boundary
Containment
Dependency
Template IC
Template IC
Template IC
IC Instance N
Template IC
…
…
Shape
Parameters
…
Timespan
IC Cell
S0 S1
δEi
Sm. . .
δEj δEk
Sm. . . δEw
δEv
Ei
Ej
Ev
. . .. . .
xE~
xE~
zE~
yE~
IC Instance K
SP SR
ST. . .
Ei
Ex
Ey
Ew
. . .
IC Instance K
SP SR
ST. . .
Ei
Ex
Ey
Ew
. . .
tMIbt MI
TtNIbt
NITt
t
IC Instance M IC Instance NEw . . .
IC Model
IC Instance REQ
RIbtSI
Tt
IC Instance N
SI0 SI
R
SIT
. . .
Ew
. . .
E1
EK
EQ
. . .
Eu
. . .
xE~
zE~
yE~
zE~
Ek
tMIbt NK
TtNK
btNK
dt
t
IC Instance M IC Instance NEw . . .
IC Model
Ev IC Instance REQ
RKbt
SKdt
E1
EK
EQ
. . .
IC Model
Cells
Attributes
IC Instance 1
IC Instance 2
…
…
Active IC Instance
IC Instance K
Cell A
Cell B
IC Instance N
…
Current event
Generatedevents
…
Si Sj
reaction to an event
…
D
E
S
Q
LF
KH
D
E
S
Q
LF
KH
t1K
bt 2Kbt
K1(0)
K1
D
E
S
Q
LF
KH
K2
D
E
S
Q
LF
KH
K3
3Kbt
D
E
S
Q
LF
KH
K3
3Kdt
t
)( 2 tt Kb
)0(
)0( )( 3 tt Kd
IC Framework IC Instance K
Event W
Cell R
Event W
Event X
Event X Cell S
Cell V
…
Event XEvent X
IC Model
IC Instance K
Request validationthrough predicate
Predicate result
…
IC Instance N
Request validationthrough predicate
Predicate result
…
Global time = t
IC Instance 1
Request validationthrough predicate
Predicate result
IC Model
Global time = t+dt
IC Instance M
Active Instance
IC Instance K
Active Instance