Design of universal personal computing using SDL

Universal Personal Computing (UPC) is a novel concept to support nomadic co mputing on the Internet. UPC enables mobile users to access their personali zed computing environment anywhere on the Internet using any available term inals. The system is modeled as distributed objects using Common Object Req uest Broker Architecture (CORBA) to facilitate their distribution, interfac ing, and integration. We have chosen the Specification and Description Lang uage (SDL) for our system design. Through several iterations, we refine the specification and verify the correctness of the design. The final version serves as the basis for system implementation. The SDL specification allows a direct derivation of object interface description in Interface Definitio n Language (IDL). Finally some implementation issues are discussed. (C) 200 0 Elsevier Science B.V. All rights reserved.