A Multi-layered Bigraphical Modelling Approach for Context-Aware Systems

Ahmed Taki Eddine Dib, Ramdane Maamri
2021 Journal of King Saud University: Computer and Information Sciences  
There exist several approaches proposed for building Context-Aware Systems (CAS). However, due to the continually changing environment, the large number of interrelated components, complexity and diversity of application domains make the modelling of context-aware systems a particularly challenging task. To address the increasing complexity of the modelling: i) It is critical to take into account the importance of the environment (operational context); and ii) rely on software engineering
more » ... ts such as abstraction and modularity in order to reduce the level of complexity. Also, a context-aware system may require intelligence and autonomy. These naturally lead us to apply intelligent agent-based engineering. This work introduces a formal layered design approach that combines intelligent control of multi-agent systems and bigraph's rigor to model context-aware systems. Bigraphical reactive systems are particularly compelling for their capacity to specify, simultaneously, the physical and logical distribution of system components and their interconnections using two distinct structures; that is: place graph and link graph. While the behaviour and dynamic evolution are expressed using defined reaction rules, and as a last step, the bigraph specifications are coded in the Maude language to allow their execution and the verification of their validity. RLCi: agent / sensors communication .( .( 1 )| ( 2 )| 0 )→ .( .( 1 )| ( 2 )| 0 ) MAS/Hardware level RLD-Ci: agent/sensors communication .( .( 1 )| ( 2 )| 0 )→ .( .( 1 )| ( 2 )| 0 )
doi:10.1016/j.jksuci.2021.08.008 fatcat:2tpbrllsdrcknhtsmrnehpbrti