• the number of reliable libraries in the community
like Boost, MKL or Armadillo
• the philosophy of "abstractions that do not impose
space or time overheads" (Stroustrup, 2012)
• its performance compared to other existing lan-
guages (Hundt, 2011)
Our current work is to formalize the ideas that
have been developed in section 2 and section 3 by
defining the abstract syntax tree and inference rules.
Genericity of the library is an important goal, es-
pecially the ability to analyze any model that can be
formulated by equation 1.
We use templates because of its capacity of em-
ulating structural sub-typing and by experience this
kind of sub-typing is more convenient to our activity
than nominal sub-typing with the original inheritance
mechanism of object-oriented programming. More-
over this orientation could allow us to use structures
or tuples in conjunction with Vexcl or Thrust libraries
in an easy way through tag dispatching technique.
6.2 Workflow
This framework was built with constant exchanges
between the modellers, the mathematicians develop-
ing the methods, and software engineers. It helped us
to understand the domain of course but also the way
we were working on this domain. Most of the time a
given model is associated to a given modeller and the
transmission and integration in terms of code is quite
complex if it does not follow a strict interface. There-
fore we have defined a terminology and tool for man-
aging this workflow. The tool is developed in python
and is inspired by management tool frequently avail-
able with web framework like Rails or Symfony. The
platform itself cannot be seen without its managing
tool in order to establish a way of communication dur-
ing the development of models and methods.
6.3 Conclusions
The above formalism has been designed with a
bottom-up approach and is used in our team for the
implementation of our tools. It unifies our thinking
about modelling, simulation and analysis.
We did not linked yet our work to existing for-
malism like DEVS, stochastic petri nets, P-DEVS, pi-
calculus. We expect to find a way for the support
of concurrency models for biological systems like
plant-soil interaction by looking at DEVS/P-DEVS
and DESS. (Zeigler et al., 1995)
In the long term we believe that that a DSL can be
derived from our EDSL for delivering a GUI tool to
end-users.
REFERENCES
Baey, C., Didier, A., Li, S., Lemaire, S., Maupas, F., and
Cournède, P.-H. (2012). Evaluation of the Predictive
Capacity of Five Plant Growth Models for Sugar Beet.
In Kang, M., Dumont, Y., and Guo, Y., editors, Plant
Growth Modeling, Simulation, Visualization and Ap-
plications - PMA12, pages 30–37, Shanghai, China.
IEEE.
Brisson, N., Gary, C., Justes, E., Roche, R., Mary, B.,
Ripoche, D., Zimmer, D., Sierra, J., Bertuzzi, P.,
Burger, P., Bussiére, F., Cabidoche, Y., Cellier, P.,
Debaeke, P., Gaudillére, J., Hènault, C., Maraux, F.,
Seguin, B., and Sinoquet, H. (2003). An overview of
the crop model STICS. European Journal of Agron-
omy, 18:309–332.
Campillo, F. and Rossi, V. (2009). Convolution Particle Fil-
ter for Parameter Estimation in General State-Space
Models. IEEE Transactions in Aerospace and Elec-
tronics., 45(3):1063–1072.
Carson, E. and Cobelli, C. (2001). Modelling Methodology
for Physiology and Medicine. Academic Press, San
Diego (US).
Chen, Y., Bayol, B., Loi, C., Trevezas, S., and Cournède, P.-
H. (2012). Filtrage par noyaux de convolution itératif.
In Actes des 44émes Journèes de Statistique JDS2012,
Bruxelles 21-25 Mai 2012.
Chen, Y. and Cournède, P.-H.(2012). Assessment of param-
eter uncertainty in plant growth model identification.
In Kang, M., Dumont, Y., and Guo, Y., editors, Plant
growth Modeling, simulation, visualization and their
Applications (PMA12). IEEE Computer Society (Los
Alamitos, California).
Chen, Y., Trevezas, S., and Cournède, P.-H. (2013). Itera-
tive convolution particle filtering for nonlinear param-
eter estimation and data assimilation with application
to crop yield prediction. In Society for Industrial and
Applied Mathematics (SIAM): Control & its Applica-
tions,San Diego, USA.
Cournède, P.-H., Letort, V., Mathieu, A., Kang, M.-Z.,
Lemaire, S., Trevezas, S., Houllier, F., and de Reffye,
P. (2011). Some parameter estimation issues in
functional-structural plant modelling. Mathematical
Modelling of Natural Phenomena, 6(2):133–159.
de Reffye, P., Heuvelink, E., Barthélémy, D., and Cournède,
P.-H. (2008). Plant growth models. In Jorgensen, S.
and Fath, B., editors, Ecological Models. Vol. 4 of En-
cyclopedia of Ecology (5 volumes), pages 2824–2837.
Elsevier, Oxford.
Hundt, R. (2011). Loop recognition in c++/java/go/scala.
In Proceedings of Scala Days 2011.
Julier, S., Uhlmann, J., and Durrant-Whyte, H. (2000). A
new method for the nonlinear transformation of means
and covariances in filters and estimators. IEEE Trans-
actions on Automatic Control, 45(3):477–482.
Kocis, L. and Whiten, W. J. (1997). Computational inves-
tigations of low-discrepancy sequences. ACM Trans.
Math. Softw., 23(2):266–294.
Matsumoto, M. and Nishimura, T. (1998). Mersenne
twister: a 623-dimensionally equidistributed uni-
form pseudo-random number generator. ACM Trans.
Model. Comput. Simul., 8(1):3–30.
TowardsanEDSLtoEnhanceGoodModellingPracticeforNon-linearStochasticDiscreteDynamicalModels-
ApplicationtoPlantGrowthModels
137