Use of Denotational Mathematics for the formal description of autonomous migration and polymorphism as prerequisites for mobility in home UbiHealth | IEEE Conference Publication | IEEE Xplore