Components as Location Graphs

Jean-Bernard Stefani 1
1 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : This paper presents a process calculus framework for modeling ubiquitous computing systems and dynamic component-based structures as location graphs. A key aspect of the framework is its ability to model nested locations with sharing, while allowing the dynamic re-configuration of the location graph, and the dynamic update of located processes.
Liste complète des métadonnées

Cited literature [28 references]  Display  Hide  Download

https://hal.inria.fr/hal-01094208
Contributor : Jean-Bernard Stefani <>
Submitted on : Thursday, December 11, 2014 - 6:29:21 PM
Last modification on : Thursday, October 11, 2018 - 8:48:04 AM
Document(s) archivé(s) le : Saturday, April 15, 2017 - 8:12:49 AM

File

ComponentsLocationGraphs.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01094208, version 1

Collections

Citation

Jean-Bernard Stefani. Components as Location Graphs. 11th International Symposium on Formal Aspects of Component Software, Sep 2014, Bertinoro, Italy. ⟨hal-01094208⟩

Share

Metrics

Record views

269

Files downloads

309