TY - RPRT
T1 - Bigraphical Models of Context-aware Systems
AU - Birkedal, Lars
AU - Debois, Søren
AU - Elsborg, Ebbe
AU - Hildebrandt, Thomas
AU - Niss, Henning
PY - 2005/11
Y1 - 2005/11
N2 - As part of ongoing work on evaluating Milner's bigraphical reactive systems, we investigate bigraphical models of context-aware systems, a facet of ubiquitous computing. We find that naively encoding such systems in bigraphs is somewhat awkward; and we propose a more sophisticated modeling technique, introducingplato-graphical models, alleviating this awkwardness. We argue that such models are useful for simulation and point out that for reasoning about such bigraphical models, the bisimilarity inherent to bigraphical reactive systems is not enough in itself; an equivalence between the bigraphical reactive systems themselves is also needed.
AB - As part of ongoing work on evaluating Milner's bigraphical reactive systems, we investigate bigraphical models of context-aware systems, a facet of ubiquitous computing. We find that naively encoding such systems in bigraphs is somewhat awkward; and we propose a more sophisticated modeling technique, introducingplato-graphical models, alleviating this awkwardness. We argue that such models are useful for simulation and point out that for reasoning about such bigraphical models, the bisimilarity inherent to bigraphical reactive systems is not enough in itself; an equivalence between the bigraphical reactive systems themselves is also needed.
M3 - Report
T3 - IT University Technical Report Series
BT - Bigraphical Models of Context-aware Systems
PB - IT-Universitetet i København
CY - Copenhagen
ER -