Software Architectural Support for Disconnected Operation in Highly Distributed Environments