|
 
|
[CBB08] Towards a Tile Based LfP Semantics
Conférence Internationale avec comité de lecture : RCIS'08, 2nd IEEE International Conference on Research Challenges in Information Science, Marrakech, Morocco, January 2008, pp.9-16, Series IEEE,
motcle:
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.
For further information, please visit this web site.
Collaboration:
LIRE
BibTeX
| @inproceedings { | |||
| CBB08, | |||
| title | = | "{Towards a Tile Based LfP Semantics}", | |
| author | = | " A. Choutri and F. Belala and K. Barkaoui ", | |
| booktitle | = | "{RCIS'08, 2nd IEEE International Conference on Research Challenges in Information Science, Marrakech, Morocco}", | |
| year | = | 2008, | |
| month | = | "January", | |
| series | = | "IEEE", | |
| issue | = | 2, | |
| pages | = | "9-16", | |
| } | |||
