Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2011

Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems

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.
Fichier non déposé

Dates et versions

hal-01125861 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01125861 , version 1

Citer

Kamel Barkaoui, Faiza Belala, Chafia Bouanaka. Towards a Tile Based Semantic Model for Reconfigurable Distributed Systems. NOTERE 2011, 11th annual International Conference on New Technologies of Distributed Systems, May 2011, Paris, France. pp.1-8. ⟨hal-01125861⟩
64 Consultations
0 Téléchargements

Partager

More