Bigraphical Reactive Systems Based Approaches for Modeling Context-Aware Systems

Abstract

In the past few years, context-aware computing has become one of the most promising topics of ubiquitous (pervasive) computing where computers are integrated and vanish in the background of users everyday activities. A context-aware system is a ubiquitous system, which is able to adapt its behavior automatically according to the gathered context information. However, due to the increasing complexity and diversity of such systems, the modeling process has become a major challenge for the ubiquitous computing community. In order to address this critical issue, different bigraphical reactive systems based approaches have been proposed to ease the modeling of some aspects of context-aware systems. Therefore, this paper presents a study attempting to show how bigraphs work under these approaches, and to illustrate the efficiency of our proposed approach in terms of addressing various aspects of context-aware systems.

A Strategy-Based Formal Approach for Fog Systems Analysis

“…The Maude language has been cited in many scientific articles and books. It has been used to formally specify and execute context-aware systems [29], cloud systems [30], supply chain management [31], and cyber-physical systems [32].…”