Towards a Tile Based LfP Semantics
| Autor: | Kamel Barkaoui, Faiza Belala, Aïcha Choutri |
|---|---|
| Přispěvatelé: | Histoire naturelle de l'Homme préhistorique (HNHP), Centre National de la Recherche Scientifique (CNRS)-Muséum national d'Histoire naturelle (MNHN)-Université de Perpignan Via Domitia (UPVD), Centre d'études et de recherche en informatique et communications (CEDRIC), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers [CNAM] (CNAM), Muséum national d'Histoire naturelle (MNHN)-Université de Perpignan Via Domitia (UPVD)-Centre National de la Recherche Scientifique (CNRS), CEDRIC, Laboratoire |
| Jazyk: | angličtina |
| Rok vydání: | 2008 |
| Předmět: |
Architecture description language
Theoretical computer science Programming language Semantics (computer science) Computer science Concurrency computer.file_format [INFO] Computer Science [cs] computer.software_genre Formal specification Synchronization (computer science) [INFO.INFO-DC] Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC] [INFO]Computer Science [cs] Rewriting Executable [INFO.INFO-DC]Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC] computer Formal verification |
| Zdroj: | RCIS'08, 2nd IEEE International Conference on Research Challenges in Information Science, Marrakech, Morocco RCIS'08, 2nd IEEE International Conference on Research Challenges in Information Science, Marrakech, Morocco, Jan 2008, X, France. pp.9-16 RCIS |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|