Design of universal personal computing using SDL

  • Authors:
  • M TöRö;J Zhu;V Leung

  • Affiliations:
  • Department of Electrical and Computer Engineering, The University of British Columbia, 2356 Main Mall, Vancouver, BC V6T 1Z4, Canada;Department of Electrical and Computer Engineering, The University of British Columbia, 2356 Main Mall, Vancouver, BC V6T 1Z4, Canada;Department of Electrical and Computer Engineering, The University of British Columbia, 2356 Main Mall, Vancouver, BC V6T 1Z4, Canada

  • Venue:
  • Computer Communications
  • Year:
  • 2000

Quantified Score

Hi-index 0.24

Visualization

Abstract

Universal Personal Computing (UPC) is a novel concept to support nomadic computing on the Internet. UPC enables mobile users to access their personalized computing environment anywhere on the Internet using any available terminals. The system is modeled as distributed objects using Common Object Request Broker Architecture (CORBA) to facilitate their distribution, interfacing, and integration. We have chosen the Specification and Description Language (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 Definition Language (IDL). Finally some implementation issues are discussed.