Software architecture for mobile distributed computing

Author

Issarny, Valérie ; Tartanoglu, Ferda ; Liu, Jinshan ; Sailhan, Françoise

Author_Institution

INRIA, France

fYear

2004

fDate

12-15 June 2004

Firstpage

201

Lastpage

210

Abstract

Today´s wireless networks and devices support the dynamic composition of mobile distributed systems, according to device connectivity. This has in particular led to the introduction of a number of supporting middleware. However, such solutions need to be complemented with adequate modeling and verification support towards enforcing the correctness of the dynamic mobile systems with respect to both functional and nonfunctional properties. Building on the elegant properties of software architecture modeling, this paper introduces base modeling of mobile software components, which integrates key features of the wireless infrastructure and allows for reasoning about the behavior of dynamically composed systems.

Keywords

middleware; mobile computing; object-oriented programming; software architecture; device connectivity; dynamic composition; middleware; mobile distributed computing; mobile software components; modeling support; software architecture; verification support; wireless devices; wireless networks; Adaptive systems; Buildings; Computer architecture; Distributed computing; Middleware; Mobile computing; Network topology; Software architecture; Software systems; Wireless networks;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Architecture, 2004. WICSA 2004. Proceedings. Fourth Working IEEE/IFIP Conference on

Print_ISBN

0-7695-2172-X

Type

conf

DOI

10.1109/WICSA.2004.1310703

Filename

1310703