HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download

Contributor : Valerie Issarny Connect in order to contact the contributor
Submitted on : Thursday, September 10, 2009 - 10:09:00 AM
Last modification on : Friday, February 4, 2022 - 3:10:14 AM
Long-term archiving on: : Tuesday, June 15, 2010 - 9:39:27 PM


Files produced by the author(s)


  • HAL Id : inria-00414875, version 1



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. ⟨inria-00414875⟩



Record views


Files downloads