No abstract

No abstract

No 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.

Although the architecture description language AADL differs from other ADLs by its possibility to describe both hardware and software aspects of a system, it does not provide a formal notation for describing the deployment operation which is crucial in systems where hardware and software components are tightly coupled such as embedded systems. In this paper, we show the relevance of bigraphical reactive systems (BRS) to formalize the deployment operation of AADL architectures. The proposed approach allows, firstly a formal description of the two structures of AADL architectures, namely the platform and the application scenario, and secondly a natural modelization of the installation and the reconfiguration of AADL specification thanks to composition and transformaton operations of BRS. To validate the obtained model, we use a model checker dedicated to BRS. General TermsSoftware architecture, deployment, formal specification, ADL.