GrapeMilDeWS: A formally designed integrated pest management decision process against grapevine powdery and downy mildews

Decision Support Systems in Agriculture, Food and the Environment: Trends, Applications and Advances

Volumn , Issue , 2010, Pages 246-269

  Léger, Bertrand ^a   Naud, Olivier ^a   Bellon Maurel, Véronique ^a   Clerjeau, Michel ^b   Delière, Laurent ^b   Cartolaro, Philippe ^b   Delbac, Lionel ^b  

^a UMR ITAP   (France)

^b BORDEAUX SCIENCES AGRO   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84898189496     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.4018/978-1-61520-881-4.ch012     Document Type: Chapter

References (63)

1. Alur, R., & Dill, D. L. (1994). A Theory of Timed Automata. Theoretical Computer Science, 126(2), 183-235.
2. Ascough, J. C. II, Hanson, J. D., Shaffer, M. J., McMaster, G. S., & Deer-Ascough, L. A. (1997). Great Plains Framework for Agricultural Resource Management (GPFARM): A decision support system for whole farm/ranch strategic planning (Vol. 2). Paper - American Society of Agricultural Engineers.
3. ASK, B. M. I. (2000). Enquête sur les exploitations viticoles et leurs pratiques phyto-sanitaires. Onivin-Info., 78.
4. Attonaty, J.-M., Chatelin, M.-H., & Garcia, F. (1999). Interactive simulation modeling in farm decision-making. Computers and Electronics in Agriculture, 22(2-3), 157-170.
5. Attonaty, J. M., Chatelin, M. H., Poussin, J. C., & Soler, L. G. (1994). OTELO: un simulateur a base de connaissance pour raisonner equipement et organisation du travail. In Le conseil en agroequipement et en organisation du travail. Outils et premières experiences (Vol. 66, pp. 37-49): APCA-Assemblee Permanente des Chambres d'Agriculture (FRA).
6. Aubry, C., Loyce, C., Meynard, J. M., Chatelin, M. H., Rellier, J. P., & Verjux, N. (1997). Outils et méthodes pour la conception et l'évaluation d'itinéraires techniques. Paper presented at the Colloque du cinquantenaire de l'INRA.
7. Baresi, L., Orso, A., & Pezzé, M. (1997). Introducing formal methods in industrial practice. Paper presented at the 20th international conference on software engineering.
8. Boller, E. F., Avilla, J., Gendrier, J. P., Jörg, E., & Malavolta, C. (1998). Integrated plant protection in the context of a sustainable agriculture. IOBC/WPRS Bulletin, 21(1).
9. Booth, T. L. (1967). Sequential machines and automata theory. New York: Wiley.
10. Castillo, I., & Smith, J. S. (2002). Formal modeling methodologies for control of manufacturing cells: Survey and comparison. Journal of Manufacturing Systems, 21, 40-57.
11. Chatelin, M. H., Aubry, C., Poussin, J. C., Meynard, J. M., Masse, J., & Verjux, N. (2005). DeciBle, a software package for wheat crop management simulation. Agricultural Systems, 83(1), 77-99.
12. Cohen, I. R. (2007). Real and artificial immune systems: computing the state of the body. Nature Reviews. Immunology, 7(7), 569-574.
13. Coléno, F., & Duru, M. (2005). L'apport de la gestion de production aux sciences agronomiques. Le cas des ressources fourragères. Nature Sciences Sociétés, 13, 247-257.
14. Cros, M. J., Duru, M., Garcia, F., & MartinClouaire, R. (2004). Simulating management strategies: the rotational grazing example. Agricultural Systems, 80(1), 23-42.
15. Cruz-Lemus, J., Genero, M., Manso, M., & Piattini, M. (2005). Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams. In Model Driven Engineering Languages and Systems (Vol. 3713, pp. 113-125). Berlin, Germany: Springer verlag.
16. Damm, W., Josko, B., Votintseva, A., & Pnueli, A. (2003). A formal semantics for a UML kernel language (No. part 1 of the deliverable D1.1.2). grenoble: Project IST-2001-33522 OMEGA.
17. Day, W., Audsley, E., & Frost, A. R. (2008). An engineering approach to modelling, decision support and control for sustainable systems. Philosophical Transactions of the Royal Society B-Biological Sciences, 363(1491), 527-541.
18. Debaeke, P., Munier-Jolain, N., Bertrand, M., Guichard, L., Nolot, J., Faloya, V., et al. (2008). Iterative design and evaluation of rule-based cropping systems: methodology and case studies. A review. Agronomy for Sustainable Development, 50(preprint).
19. Delière, L., Cartolaro, P., Naud, O., Léger, B., Goutouly, J. P., Davidou, L., et al. (2008). Conception et évaluation de Mildium, un processus opérationnel de décision pour une gestion fongicide coordonnée à apport réduit. PHYTOMA - La Défense des Végétaux, 621, 20-24.
20. Dent, D. (1995). Integrated Pest Management. Chapman & Hall.
21. Feldman, R. M., & Curry, G. L. (1982). Operations research for agricultural pest management (pp. 601-618). Operations Research Society of America.
22. Fountas, S., Wulfsohn, D., Blackmore, B. S., Jacobsen, H. L., & Pedersen, S. M. (2006). A model of decision-making and information flows for information-intensive agriculture. Agricultural Systems, 87(2), 192-210.
23. Girard, N., & Hubert, B. (1999). Modelling expert knowledge with knowledge-based systems to design decision aids: the example of a knowledgebased model on grazing management. Agricultural Systems, 59(2), 123-144.
24. Glinz, M. (2002). Statecharts For Requirements Specification - As Simple As Possible, As Rich As Needed. Paper presented at the ICSE International Workshop on Scenarios and State Machines: Models, Algorithms and Tools. Retrieved from http://www.cs.tut.fi/~tsysta/ICSE/Program.html
25. Graf, S., Ober, I., & Ober, I. (2003, Oct.). Timed annotations in UML. Paper presented at the Workshop on Specification and Validation of UML models for Real Time and Embedded Systems (SVERTS 2003), a satellite event of UML 2003, San Francisco.
26. Harel, D. (1987). Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3), 231-274.
27. Harel, D. (1988). On visual formalisms. Communications of the ACM, 31(5), 514-530.
28. Harel, D. (2004). A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multicellular Animal. In Verification, Model Checking, and Abstract Interpretation (pp. 323-324). Berlin, Heidelberg: Springer.
29. Harel, D., & Gery, E. (1996). Executable object modeling with statecharts. In Proceedings of the 18th international conference on Software engineering (pp. 246-257). Berlin, Germany: IEEE Computer Society.
30. Harel, D., & Kugler, H. (2004). The RHAPSODY semantics of statecharts (or, on the executable core of the UML) - (Preliminary version). In Integration of Software Specification Techniques for Applications in Engineering (Vol. 3147, pp. 325-354). Springer-Verlag.
31. Kam, N. A., Harel, D., Kugler, H., Marelly, R., Pnueli, A., Hubbard, E. J. A., et al. (2003). Formal Modeling of C. elegans Development: A Scenario-Based Approach. In Proceedings of the First International Workshop on Computational Methods in Systems Biology (Vol. 2602, pp. 4-20): Springer-Verlag.
32. Katoen, J. (2004). Principles of model checking. Enschede, The Netherlands: University of Twente.
33. Kesten, Y., & Pnueli, A. (1992). Timed and hybrid statecharts and their textual representation. Formal Techniques in Real-Time and Fault-Tolerant Systems, 591-619.
34. Kogan, M. (1998). Integrated pest management: Historical perspectives and contemporary developments. Annual Review of Entomology, 43, 243-270.
35. Léger, B. (2008). Recueil et Formalisation de procédés experts pour conduire une protection intégrée du vignoble. (Unpublished PhD Thesis), Supagro Montpellier (France).
36. Léger, B., & Naud, O. (2009). Experimenting statecharts for multiple experts knowledge elicitation in agriculture. Expert Systems with Applications, 36, 11296-11303.
37. Lorenz, D. H., Eichhorn, K. W., Bleiholder, H., Klose, R., Meier, U., & Weber, E. (1995). Phenological growth stages of the grapevine (Vitis vinifera L. spp. vinifera) - codes and descriptions according to the extended BBCH scale. Australian Journal of Grape and Wine Research, 1(2), 100-103.
38. Maggiolo-Schettini, A., Peron, A., & Tini, S. (2003). A comparison of Statecharts step semantics. Theoretical Computer Science, 290(1), 465-498.
39. Mahaman, B. D., Passam, H. C., Sideridis, A. B., & Yialouris, C. P. (2003). DIARES-IPM: a diagnostic advisory rule-based expert system for integrated pest management in Solanaceous crop systems. Agricultural Systems, 76(3), 1119-1135.
40. Maler, O., Manna, Z., & Pnueli, A. (1991). From timed to hybrid systems. Paper presented at the REX Workshop, Mook, NL.
41. Martin-Clouaire, R., & Rellier, J. P. (2003). Modélisation et simulation de la conduite d'un système de production agricole. Paper presented at the 4 ème Conférence de Modélisation et Simulation-Organisation et Conduite d'Activité dans l'Industrie et les Services (MOSIM'03).
42. Martin-Clouaire, R., & Rellier, J. P. (2009). Modelling and simulating work practices in agriculture. International Journal of Metadata. Semantics and Ontologies, 4(1), 42-53.
43. Nash, E., Dreger, F., Schwarz, J., Bill, R., & Werner, A. (2009). Development of a model of data-flows for precision agriculture based on a collaborative research project. Computers and Electronics in Agriculture, 66(1), 25-37.
44. OMG. (2007). Unified Modelling Languages 2.0. Retrieved from www.uml.org
45. Penczek, W., & Pólrola, A. (2006). Advances in Verification of Time Petri Nets and Timed Automata, a temporal logic approach (Vol. 20). New York: Springer.
46. Pnueli, A. (1977). The Temporal Logic of Programs. Paper presented at the FOCS.
47. Rellier, J. P., Martin-Clouaire, R., Navarrete, M., Jeannequin, B., Gary, C., & Montbroussous, B. (1998). Modelling and simulating decision making for greenhouse tomato production: the conserto project. In Marcelis, L. F. M. (Ed.), Acta Hort (Vol. 456, pp. 485-492). ISHS.
48. Rozinat, A., & van der Aalst, W. M. P. (2008). Conformance checking of processes based on monitoring real behavior. Information Systems, 33(1), 64-95.
49. Sebillote, M. (1987). Du champ cultive aux pratiques des agriculteurs. Reflexions sur l'agronomie actuelle. C. R. Académie d'Agriculture Française, 73(8), 69-81.
50. Sebillote, M., & Soler, L.-G. (1988). Le concept de modèle général et la compréhension du comportement de l'agriculteur. C. R. Académie d'Agriculture Française, 74, 59-70.
51. Sebillotte, M. (1978). Itinéraires techniques et évolution de la pensée agronomique. Comptes rendus de l'Académie d'agriculture de France, 11, 906-914.
52. Segarra, J., Jeger, M., & van den Bosch, F. (2001). Epidemic Dynamics and Patterns of Plant Diseases. Phytopathology, 91(10), 1001-1010.
53. Shoemaker, C. A. (1984). The optimal timing of multiple applications of residual pesticides: deterministic and stochastic analyses. In Conway, G. R. (Ed.), Pest and pathogen control: strategic, tactical and policy models (pp. 290-309). Chich-ester, UK: John Wiley & Sons.
54. SRPV-Aquitaine. (2007, July). Avertissements Agricoles. Retrieved Oct, 2007, from http://www.srpv-aquitaine.com/_publique/default_publique.asp
55. Steinberger, G., Rothmund, M., & Auernhammer, H. (2009). Mobile farm equipment as a data source in an agricultural service architecture. Computers and Electronics in Agriculture, 65(2), 238-246.
56. ten Teije, A., Marcos, M., Balser, M., van Croonenborg, J., Duelli, C., & van Harmelen, F. (2006). Improving medical protocols by formal methods. Artificial Intelligence in Medicine, 36(3), 193-209.
57. van der Aalst, W., & van Hee, K. (2002). Workflow Management: Models, Methods, and Systems. Cambridge, MA: MIT Press.
58. von der Beeck, M. (1994). A comparison of statecharts variants. Paper presented at the Formal Techniques in Real Time and Fault Tolerant Systems.
59. Webb, K., & White, T. (2005). UML as a cell and biochemistry modeling language. Bio Systems, 80, 283-302.
60. Wolfert, J., Matocha, D., Verloop, C. M., & Beulens, A. J. M. (2009). Business Process Modeling of the Pesticide Life Cycle: a service-oriented approach. Paper presented at the Joint International Agricultural Conference. Retrieved from http://de.scientificcommons.org/50724910
61. Yovine, S. (1993). Méthodes et outils pour la vérification symbolique de systèmes temporisés. (Unpublished PhD Thesis), Institut National Polytechnique de Grenoble, Grenoble (France).
62. Zadoks, J. (1989). EPIPRE, a computer-based decision support system for pest and disease control in wheat: Its development and implementation in Europe. Plant Disease Epidemiology, 2, 3-29.
63. Zheng, W. J. J. (2006). Engineering approaches toward biological information integration at the systems level. Current Bioinformatics, 1(1), 85-93.