Ambient-oriented CCA Modeling in Agriculture
Todorka Atanasova Glushkova, Stanimir Nedyalkov Stoyanov, Konstantin Rusev, Irina Krasteva, Nevena Moraliyska · 2021 International Conference Automatics and Informatics (ICAI) · 2021
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.