Presentation is loading. Please wait.

Presentation is loading. Please wait.

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.

Similar presentations


Presentation on theme: "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."— Presentation transcript:

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 Cell N Point-set Cell 1

2 IC Framework Cells Attributes IC Instance 1 IC Instance 2 IC Instance N … … Active IC Instance Current event Generated events Cell BCell A Cell CAttr S Dependency relations Current event IC Instance K Generated events Relations Cell A Cell B Cell C … (from generated events list) Current event Attr R Attr S … Cell Reaction X Reaction Y …

3 IC Model Cells Attributes IC Instance 1 IC Instance 2 IC Instance N … … Active IC Instance Cell BCell A Cell CAttr S IC Instance K Relations Cell A Cell B … Attr R Attr S … Shape Parameters … IC Instances Parameters Animations … Dependencies Timespan

4 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 IC Instance N Template IC … … Shape Parameters … Timespan

5 IC Cell S0S0 S1S1 δ Ei SmSm... δ Ej δ Ek SmSm... δ Ew δ Ev EiEi EjEj EvEv...

6 IC Instance K SPSP SRSR STST... EiEi ExEx EyEy EwEw

7 IC Instance K SPSP SRSR STST... EiEi ExEx EyEy EwEw

8 t IC Instance MIC Instance N EwEw... IC Model IC Instance R EQEQ IC Instance N SI0SI0 SIRSIR SITSIT... EwEw E1E1 EKEK EQEQ EuEu EkEk

9 t IC Instance MIC Instance N EwEw... IC Model EvEv IC Instance R EQEQ E1E1 EKEK EQEQ...

10 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 Generated events … SiSi SjSj reaction to an event …

11 D E S Q L F K H D E S Q L F K H t K 1 (0) K1K1 D E S Q L F K H K2K2 D E S Q L F K H K3K3 D E S Q L F K H K3K3

12 IC Framework IC Instance K Event W Cell R Event W Event X Cell S Cell V … Event X

13 IC Model IC Instance K Request validation through predicate Predicate result … IC Instance N Request validation through predicate Predicate result … Global time = t IC Instance 1 Request validation through predicate Predicate result IC Model Global time = t+dt IC Instance M Active Instance IC Instance K Active Instance


Download ppt "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."

Similar presentations


Ads by Google