Abstract
Context-aware Computing has been one of the important aspects of Ubiquitous Computing, Cloud Computing, Cyber-physical Systems, etc., recently. To date, very few works can be found on formal approaches for this area. Bigraph and its related theories are introduced to formalize the modeling of context-aware systems in this paper. We use bigraphs to model the structure of context-aware system, whereas the corresponding behavior of context-aware system is modeled using bigraphical reactive system. Here we make a mapping from the elements of context-awareness to the components of bigraph. Consequently, we present an approach to translating scenarios in real life into bigraphical models. Furthermore, the formalisms are explicitly illustrated through some simple but non-trivial examples.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
