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.