In this paper we present a notation, ASUR++, for describing mobile systems that combine physical and digital entities. The
notation ASUR++ builds upon our previous one, called ASUR. The new features of ASUR++ are dedicated to handling the mobility
of users and enable a designer to express physical relationships among entities involved in the system. The notation and its
usefulness are illustrated in the context of the design of an augmented museum gallery.