Formal Description of Dew Computing