Rechercher

[BBBd11] Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems

Conférence Internationale avec comité de lecture : NOTERE 2011, 11th annual International Conference on New Technologies of Distributed Systems, May 2011, pp.1-8, Paris, France,
motcle:
Résumé: The paper deals with the definition of a formal semantic framework for the specification of hierarchical and dynamically reconfigurable component based distributed systems. Based on tile logic (an extension of rewriting logic), the proposed model allows hierarchical and compositional construction of system state and behavior by incrementally composing subcomponents states and behaviors respectively. We do not need to flatten its hierarchical structure. Thus, the semantic meta-model associated to a given system is given by a tile system (or more precisely a double category) defining its structural and behavioral aspects in a modular manner. Besides, computation in such system is guided by subcomponents interactions. Hence, local change effects are propagated to the environment via input/output interfaces of tiles, that may be composed in space or time, for eventual synchronizations or sequential evolution respectively.

Equipe: vespa
Collaboration: LIRE

BibTeX

@inproceedings {
BBBd11,
title="{Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems }",
author=" K. Barkaoui and F. Belala and C. Bouanaka ",
booktitle="{NOTERE 2011, 11th annual International Conference on New Technologies of Distributed Systems}",
year=2011,
month="May",
pages="1-8",
address="Paris, France",
}