Software Architecture for Mobile Distributed Computing

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 non-functional 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.
Type de document :
Communication dans un congrès
4th Working IEEE / IFIP Conference on Software Architecture : WICSA 2004, 2004, Oslo, Norway. pp.201-210, 2004, 〈http://csdl.computer.org/comp/proceedings/wicsa/2004/2172/00/21720201abs.htm〉
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00414875
Contributeur : Valerie Issarny <>
Soumis le : jeudi 10 septembre 2009 - 10:09:00
Dernière modification le : vendredi 25 mai 2018 - 12:02:02
Document(s) archivé(s) le : mardi 15 juin 2010 - 21:39:27

Fichier

IssarnyTLS04.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00414875, version 1

Collections

Citation

Valérie Issarny, Ferda Tartanoglu, Jinshan Liu, Françoise Sailhan. Software Architecture for Mobile Distributed Computing. 4th Working IEEE / IFIP Conference on Software Architecture : WICSA 2004, 2004, Oslo, Norway. pp.201-210, 2004, 〈http://csdl.computer.org/comp/proceedings/wicsa/2004/2172/00/21720201abs.htm〉. 〈inria-00414875〉

Partager

Métriques

Consultations de la notice

285

Téléchargements de fichiers

177