Ambient-oriented CCA Modeling in Agriculture

Due to its complexity, Cyber-Physical and Social Systems (CPSS) processes require prior modeling and verification. When developing a system for intelligent agriculture, it is necessary to consider the spatial aspects of intelligent IoTs. For this purpose, we use ambient-oriented CCA (Calculus of Context-aware Ambients) modeling, for the implementation of which we have created a special tool – a visual CCA editor, through which we model and verify the basic scenarios in the smart agriculture system.