CORBA based design and implementation of universal personal computing

Authors:
Mária Törö;Thong Tri Huynh;Jinsong Zhu;Kangming Liu;Victor C. M. Leung
Affiliations:
The University of British Columbia, Vancouver, BC, Canada;The University of British Columbia, Vancouver, BC, Canada;The University of British Columbia, Vancouver, BC, Canada;The University of British Columbia, Vancouver, BC, Canada;The University of British Columbia, Vancouver, BC, Canada
Venue:
Mobile Networks and Applications
Year:
2003

Citing 5
Cited 1

Nomadic computing—an opportunity

ACM SIGCOMM Computer Communication Review - Special twenty-fifth anniversary issue. Highlights from 25 years of the Computer Communication Review
Supporting personal mobility for nomadic computing over the internet

ACM SIGMOBILE Mobile Computing and Communications Review
SDL specification and verification of universal personal computing: with Object GEODE

FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
Design of universal personal computing using SDL

Computer Communications
Protocol architecture for universal personal computing

IEEE Journal on Selected Areas in Communications

Customising WAP-based information services on mobile networks

Personal and Ubiquitous Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Universal personal computing (UPC) supports nomadic computing at user mobility and at terminal mobility levels in a user-friendly way. That is, a user can access computing resources anywhere on the Internet, using any available mobile or stationary terminal attached to any subnet supporting UPC services. These services are provided via agents and enable a personalized computing environment that is familiar to or customized by the user and independent of the terminal and subnet, utilizing locally available facilities. Hence, UPC requires a homogenous distributed processing environment. We selected CORBA as a natural platform-independent framework for UPC, and Java for the implementation of client side objects and agents of UPC. We developed our design of UPC services in SDL, the formal description technique of the ITU-T, and we used ObjectGEODE which is a commercially available tool set supporting object-oriented design and verification of systems. For the implementation of the prototype we selected Borland's VisiBroker which supports Java implementation of the client objects.