Sustainable precision agriculture from a process algebraic perspective: a smart vineyard

The adoption of precision agriculture has been enabled by the arrival of the new ICT technologies included in the wider context of the Internet of Things. We advocate that formal software engineering models and methodologies can provide support to the design of networks for precision agriculture. We propose here the process algebraic framework as a formal support for understanding the possible data-flows for decision-making, once identified from where data are to be gathered. In particular, we exploit IoT-LySa, a recently introduced process calculus, through which we model a possible agriculture scenario. We consider grape cultivation, with particular attention to a careful usage of water. The static analysis developed for IoT-LySa can be used for predicting the interactions among nodes, how data spread from sensors to the network, and how they are manipulated, so helping in water preservation.