摘要：In this paper, we introduce the concept of a Large-Scale Intelligent Environment (LSIE) and provide an introduction to the use of bigraphs as a formal method for description and modelling. We then propose our MacroIE model as a solution to the LSIE problem and describe how that model may be implemented to achieve a continuity-of-experience to end users as they travel from place-to-place (a technology we call FollowMe). Our initial experiments with these implementations are presented, providing some valuable insights and promise for future refinement towards real-world deployment.
关键词：ambient intelligent environments; middleware; formal methods; mobile computing; server architecture; bigraphs
