Formal Specification and Design of Mobile Systems

Authors

Gruia-Catalin Roman, Washington University in St Louis
Christine Julien, Washington University in St Louis
Qingfeng Huang, Washington University in St Louis

Document Type

Technical Report

Department

Computer Science and Engineering

Publication Date

2001-01-01

Filename

WUCS-01-04.PDF

Technical Report Number

WUCS-01-04

Abstract

Termination detection, a classical problem in distributed computing, is revisited in the new setting provided by the emerging mobile computing technology. A simple solution tailored for use in ad hoc networks is employed as a vehicle for demonstrating the applicability of formal requirements and design strategies to the new field of mobile computing. The approach is based on well understood techniquest in specification refinement, but the methodology is tailored to mobile applications and helps designers address novel concerns such as the mobility of hosts, transient interactions, and specific coordination constructs. The proof logic and programming notation of Mobile UNITY provide the intellectual tools required to carry out this task.

Comments

Permanent URL: http://dx.doi.org/10.7936/K7X63K6J

Recommended Citation

Roman, Gruia-Catalin; Julien, Christine; and Huang, Qingfeng, "Formal Specification and Design of Mobile Systems" Report Number: WUCS-01-04 (2001). All Computer Science and Engineering Research.
https://openscholarship.wustl.edu/cse_research/247