Object-oriented framework for modelling and ... - ResearchGate

tions (2) and (3) induce little modifications of the Time and Cell classes. This phase represents the last
abstraction level of a PIM.
6.1 The pure event scheduling approach
For neighbour-to-neighbour propagation, a generic rule can be implemented in the Cell space class to
control the evolution of the calculation domain (corresponding to the set of active cells). To control the
domain evolution, propagation states have been added to the cells (testing for the cells at the edge of the
propagation, non testing for the cells whose state is not tested at each state transition and quiescent for
the inactive cells in quiescent state).
A neighbour-to-neighbour propagation example is sketched in Figure 11 for a cardinal neighbor-
hood. In our algorithm, only the bordering cells test their neighborhood, this allows to reduce the num-
ber of testing cells. The test depends on the cells’ state. If the tested cell fulfils the requested condition,
the cell becomes an active cell and new tested neighboring cells are added to the set of active cells.
?
?
?
? ? ? ?
?
?
t t+h
?
t+2h
Propagation states
non testing testing
quiescent
Figure 11: Evolution of the calculation domain
?
24