Towards a Tile Based LfP Semantics - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Towards a Tile Based LfP Semantics

Résumé

LfP (Language for Prototyping) is an ADL (Architecture Description Language) with a hierarchical and modular structure. In this paper, we propose tile logic (a rewriting logic extension) as a suitable semantic framework for this language. Indeed, it contributes to the formalization of LfP by providing a natural description for concurrency, synchronization and hierarchical composition aspects. A straight consequence of this work is the possibility to describe reconfigurable LfP architectures, and to handle with executable specification in Maude allowing hierarchical formal verification. For further information, please visit this web site.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01125535 , version 1

Citer

A. Choutri, Faiza Belala, Kamel Barkaoui. Towards a Tile Based LfP Semantics. RCIS'08, 2nd IEEE International Conference on Research Challenges in Information Science, Marrakech, Morocco, Jan 2008, X, France. pp.9-16. ⟨hal-01125535⟩
38 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More