![Page 1: F-cell disk LHKF F-cell circle LHKF B-cell rectangle DEQS B-cell polyline DEQS Dimensionality Cell 1 Point-set Dimensionality Cell 2 Point-set Dimensionality](https://reader033.vdocuments.net/reader033/viewer/2022051400/55142d3f550346d8488b5dda/html5/thumbnails/1.jpg)
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
![Page 2: F-cell disk LHKF F-cell circle LHKF B-cell rectangle DEQS B-cell polyline DEQS Dimensionality Cell 1 Point-set Dimensionality Cell 2 Point-set Dimensionality](https://reader033.vdocuments.net/reader033/viewer/2022051400/55142d3f550346d8488b5dda/html5/thumbnails/2.jpg)
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
…
![Page 3: F-cell disk LHKF F-cell circle LHKF B-cell rectangle DEQS B-cell polyline DEQS Dimensionality Cell 1 Point-set Dimensionality Cell 2 Point-set Dimensionality](https://reader033.vdocuments.net/reader033/viewer/2022051400/55142d3f550346d8488b5dda/html5/thumbnails/3.jpg)
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
![Page 4: F-cell disk LHKF F-cell circle LHKF B-cell rectangle DEQS B-cell polyline DEQS Dimensionality Cell 1 Point-set Dimensionality Cell 2 Point-set Dimensionality](https://reader033.vdocuments.net/reader033/viewer/2022051400/55142d3f550346d8488b5dda/html5/thumbnails/4.jpg)
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
![Page 5: F-cell disk LHKF F-cell circle LHKF B-cell rectangle DEQS B-cell polyline DEQS Dimensionality Cell 1 Point-set Dimensionality Cell 2 Point-set Dimensionality](https://reader033.vdocuments.net/reader033/viewer/2022051400/55142d3f550346d8488b5dda/html5/thumbnails/5.jpg)
IC Cell
S0 S1
δEi
Sm. . .
δEj δEk
Sm. . . δEw
δEv
Ei
Ej
Ev
. . .. . .
xE~
xE~
zE~
yE~
![Page 6: F-cell disk LHKF F-cell circle LHKF B-cell rectangle DEQS B-cell polyline DEQS Dimensionality Cell 1 Point-set Dimensionality Cell 2 Point-set Dimensionality](https://reader033.vdocuments.net/reader033/viewer/2022051400/55142d3f550346d8488b5dda/html5/thumbnails/6.jpg)
IC Instance K
SP SR
ST. . .
Ei
Ex
Ey
Ew
. . .
![Page 7: F-cell disk LHKF F-cell circle LHKF B-cell rectangle DEQS B-cell polyline DEQS Dimensionality Cell 1 Point-set Dimensionality Cell 2 Point-set Dimensionality](https://reader033.vdocuments.net/reader033/viewer/2022051400/55142d3f550346d8488b5dda/html5/thumbnails/7.jpg)
IC Instance K
SP SR
ST. . .
Ei
Ex
Ey
Ew
. . .
![Page 8: F-cell disk LHKF F-cell circle LHKF B-cell rectangle DEQS B-cell polyline DEQS Dimensionality Cell 1 Point-set Dimensionality Cell 2 Point-set Dimensionality](https://reader033.vdocuments.net/reader033/viewer/2022051400/55142d3f550346d8488b5dda/html5/thumbnails/8.jpg)
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
![Page 9: F-cell disk LHKF F-cell circle LHKF B-cell rectangle DEQS B-cell polyline DEQS Dimensionality Cell 1 Point-set Dimensionality Cell 2 Point-set Dimensionality](https://reader033.vdocuments.net/reader033/viewer/2022051400/55142d3f550346d8488b5dda/html5/thumbnails/9.jpg)
tMIbt NK
TtNK
btNK
dt
t
IC Instance M IC Instance NEw . . .
IC Model
Ev IC Instance REQ
RKbt
SKdt
E1
EK
EQ
. . .
![Page 10: F-cell disk LHKF F-cell circle LHKF B-cell rectangle DEQS B-cell polyline DEQS Dimensionality Cell 1 Point-set Dimensionality Cell 2 Point-set Dimensionality](https://reader033.vdocuments.net/reader033/viewer/2022051400/55142d3f550346d8488b5dda/html5/thumbnails/10.jpg)
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
…
![Page 11: F-cell disk LHKF F-cell circle LHKF B-cell rectangle DEQS B-cell polyline DEQS Dimensionality Cell 1 Point-set Dimensionality Cell 2 Point-set Dimensionality](https://reader033.vdocuments.net/reader033/viewer/2022051400/55142d3f550346d8488b5dda/html5/thumbnails/11.jpg)
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
![Page 12: F-cell disk LHKF F-cell circle LHKF B-cell rectangle DEQS B-cell polyline DEQS Dimensionality Cell 1 Point-set Dimensionality Cell 2 Point-set Dimensionality](https://reader033.vdocuments.net/reader033/viewer/2022051400/55142d3f550346d8488b5dda/html5/thumbnails/12.jpg)
IC Framework IC Instance K
Event W
Cell R
Event W
Event X
Event X Cell S
Cell V
…
Event XEvent X
![Page 13: F-cell disk LHKF F-cell circle LHKF B-cell rectangle DEQS B-cell polyline DEQS Dimensionality Cell 1 Point-set Dimensionality Cell 2 Point-set Dimensionality](https://reader033.vdocuments.net/reader033/viewer/2022051400/55142d3f550346d8488b5dda/html5/thumbnails/13.jpg)
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