Bigraphical Models of Context-Aware Systems

Birkedal, Lars; Debois, Søren; Elsborg, Ebbe; Hildebrandt, Thomas; Niss, Henning

doi:10.1007/11690634_13

Cited by 66 publications

(45 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…BRS has been adopted by Birkedal et al [12] to define formally models of context. In particular, authors preliminarily attempted to model location-aware services naively in bigraphs.…”

Section: System Planningmentioning

confidence: 99%

Introduction to the inaugural issue of the Journal of Reliable Intelligent Environments

Augusto

Coronato

2015

J Reliable Intell Environ

View full text Add to dashboard Cite

As envisioned by Weiser, computing is in the process of being everywhere and becoming invisible. As Milner noticed, the question now is whether we shall understand this ubiquitous computer we are building. This is especially true as designers are more and more using complex techniques for every component of the system and building systems which are made of increasingly heterogenous parts. With this extended editorial, we embark on an exploration journey into the exciting new area of "reliable intelligent environments" (RIEs). Taking the perspective of an RIE engineer, we present a selection of approaches that have been put forward to design, verify, and operate IEs in a manner so that users can rely on Intelligent Environment systems. We outline crucial challenges: the situatedness which exposes IE to challenges similar to those known from robotics and control systems, the embedding of human users and the safety, privacy, and usability requirements thus entailed, and the amounts of data produced by sensors and actuators, which require advanced reasoning and learning mechanisms to handle them in a reliable way in real-time. We also sketch the opportunities reliable IEs provide to developing new markets and products.

show abstract

“…BRS has been adopted by Birkedal et al [12] to define formally models of context. In particular, authors preliminarily attempted to model location-aware services naively in bigraphs.…”

Section: System Planningmentioning

confidence: 99%

Introduction to the inaugural issue of the Journal of Reliable Intelligent Environments

Augusto

Coronato

2015

J Reliable Intell Environ

View full text Add to dashboard Cite

show abstract

“…BRSs have been successfully applied to the formalization of a broad variety of domain-specific calculi and models, from traditional programming languages to process calculi for concurrency and mobility, from context-aware systems to webservice orchestration languages; a non exhaustive list is [2,4,9,17]. Very recently bigraphs have been used in structure-aware agent-based computing for modelling the structure of the (physical) world where the agents operates (e.g., drones, robots, etc.)…”

Section: Bigraphical Reactive Systemsmentioning

confidence: 99%

Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems

Mansutti

Miculan

Peressotti

2014

Distributed Applications and Interoperable Systems

View full text Add to dashboard Cite

“…The graphical representation used above is handy for modeling, but unwieldy for reasoning. Fortunately, bigraphs have an associated term language [2]. The corresponding algebraic expression (using details in table 1) of this rule is: …”

Section: Overview Of Bigraphsmentioning

confidence: 99%

Towards a Multi-scale Modeling for Architectural Deployment Based on Bigraphs

Gassara

Rodriguez

Jmaïel

2013

Software Architecture

View full text Add to dashboard Cite

Abstract. With the evolution of distributed systems in size and complexity, software deployment remains a challenging task. Despite the existence of several approaches, most of them use informal models that lack a solid mathematic foundation. In this paper, we propose a bigraphical based approach for modeling and formalizing the deployment of distributed applications. This approach relies on multi-scale modeling. So, we start by modeling the first scale with a bigraph. This bigraph is enriched, through a series of reaction rules, until reaching the last scale that represents the deployment architecture.

show abstract

Bigraphical Models of Context-Aware Systems

Cited by 66 publications

References 20 publications

Introduction to the inaugural issue of the Journal of Reliable Intelligent Environments

Introduction to the inaugural issue of the Journal of Reliable Intelligent Environments

Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems

Towards a Multi-scale Modeling for Architectural Deployment Based on Bigraphs

Contact Info

Product

Resources

About