A Framework for Design and Implementation for Mobile Active Objects