A Formal Model for Dynamic Service Updates in Pervasive Computing

Author

Du, Siqi ; Huang, Linpeng ; Chen, Junqing

Author_Institution

Dept. of Comput. Sci. & Eng., Shanghai Jiao Tong Univ., Shanghai, China

fYear

2011

fDate

June 30 2011-July 2 2011

Firstpage

114

Lastpage

119

Abstract

Dynamic updating is a software technique that updates running program without interruption and can help to decrease the downtime of a system. As a new and important computing paradigm, pervasive computing brings new challenges to the design and implementation of dynamic updating. This paper first analyses the characteristics of pervasive computing and evaluates the existing approaches. In order to make dynamic service updates available in pervasive computing, a decentralized mechanism is introduced. This paper uses the process algebra FSP to build a decentralized formal model and check some properties. Finally an application of this model is shown.

Keywords

process algebra; program verification; ubiquitous computing; FSP; decentralized mechanism; dynamic service updates; dynamic updating technique; formal model; pervasive computing; process algebra; Algebra; Analytical models; Computational modeling; Pervasive computing; Servers; Software; System recovery; decentralized; dynamic updating; model checking; pervasive computing; process algebra;

fLanguage

English

Publisher

ieee

Conference_Titel

Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS), 2011 Fifth International Conference on

Conference_Location

Seoul

Print_ISBN

978-1-61284-733-7

Electronic_ISBN

978-0-7695-4372-7

Type

conf

DOI

10.1109/IMIS.2011.111

Filename

5976148