Abstract
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, introducing Plato-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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Addlesee, M., Curwen, R., Hodges, S., Newman, J., Steggles, P., Ward, A., Hopper, A.: Implementing a sentient computing system. IEEE Computer, Los Alamitos (2001)
Becker, C., Dürr, F.: On location models for ubiquitous computing. Personal and Ubiquitous Computing 9, 20–31 (2005)
Birkedal, L., Debois, S., Elsborg, E., Hildebrandt, T., Niss, H.: Bigraphical Models of Context-aware Systems. Technical Report 74, IT Univ. of Copenhagen (2005)
Braione, P., Picco, G.P.: On calculi for context-aware coordination. In: De Nicola, R., Ferrari, G.L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949, pp. 38–54. Springer, Heidelberg (2004)
Bundgaard, M., Hildebrandt, T.: Bigraphical semantics of higher-order mobile embedded resources with local names. In: Proc. of GT-VC (2005)
Conforti, G., Macedonio, D., Sassone, V.: Spatial Logics for Bigraphs. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol. 3580, pp. 766–778. Springer, Heidelberg (2005)
Damgaard, T.C., Birkedal, L.: Axiomatizing binding bigraphs (revised). Technical Report TR-2005-71, IT University of Copenhagen (2005)
De Nicola, R., Gorla, D., Pugliese, R.: Basic observables for a calculus for global computing. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol. 3580, pp. 1226–1238. Springer, Heidelberg (2005)
Debois, S., Damgaard, T.C.: Bigraphs by Example. Technical Report TR-2005-61, IT University of Copenhagen (March 2005)
Dey, A.K., Abowd, G.D.: Towards a better understanding of context and context-awareness. In: Workshop on The What, Who, Where, When, and How of Context-Awareness (2000)
Hennessy, M.: Context-awareness: Models and analysis. Talk at 2nd UK-UbiNet Workshop (2004)
Henricksen, K., Indulska, J., Rakotonirainy, A.: Modeling context information in pervasive computing systems. In: Mattern, F., Naghshineh, M. (eds.) PERVASIVE 2002. LNCS, vol. 2414, Springer, Heidelberg (2002)
Jensen, O.H.: Mobile Processes in Bigraphs. PhD thesis (forthcoming 2005)
Jensen, O.H., Milner, R.: Bigraphs and Transitions. In: Proc. of POPL (2003)
Jensen, O.H., Milner, R.: Bigraphs and mobile processes (revised). Technical Report UCAM-CL-TR-580, University of Cambridge (2004)
Leifer, J.J., Milner, R.: Deriving bisimulation congruences for reactive systems. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, Springer, Heidelberg (2000)
Milner, R.: Axioms for bigraphical structure. Technical Report UCAM-CL-TR-581, University of Cambridge (2004)
Milner, R.: Bigraphs for Petri Nets. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, Springer, Heidelberg (2004)
Milner, R.: Bigraphs whose names have multiple locality. Technical Report UCAM-CL-TR-603 (2004)
Milner, R.: Bigraphs: A tutorial. Slides (April 2005), Available at http://www.cl.cam.ac.uk/users/rm135/bigraphs-tutorial.pdf
Robin Milner. Pure bigraphs: Structure and dynamics. Information and Computation (to appear, 2005)
Pierce, B.C., Turner, D.N.: Pict: A prog. lang. based on the pi-calculus. In: Proof, Language and Interaction: Essays in Honour of R. Milner, MIT, Cambridge (2000)
Plato. The republic, book vii, 360 B.C. Translation by Benjamin Jowett
Reppy, J.H.: Concurrent Programming in ML. Cambridge University Press, Cambridge (1999)
Roman, G.-C., Julien, C., Payton, J.: A formal treatment of context-awareness. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol. 2984, Springer, Heidelberg (2004)
Schilit, B., Adams, N., Want, R.: Context-aware computing applications. In: Proc. of IEEE Workshop on Mobile Computing Systems and Applications (1994)
Schmidt, A., Beigl, M., Gellersen, H.-W.: There is more to context than location. Computers & Graphics Journal (1999)
Weiser, M.: Hot topics – ubiquitous computing. IEEE Computer, Los Alamitos (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Birkedal, L., Debois, S., Elsborg, E., Hildebrandt, T., Niss, H. (2006). Bigraphical Models of Context-Aware Systems. In: Aceto, L., Ingólfsdóttir, A. (eds) Foundations of Software Science and Computation Structures. FoSSaCS 2006. Lecture Notes in Computer Science, vol 3921. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11690634_13
Download citation
DOI: https://doi.org/10.1007/11690634_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33045-5
Online ISBN: 978-3-540-33046-2
eBook Packages: Computer ScienceComputer Science (R0)