Skip to Main content Skip to Navigation
Reports

Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework

Gurvan Le Guernic 1, 2 José Angel Galindo Duarte 2
2 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Résumé : De nombreux langages spécifiques à un projet, entre autre les langages de filtrage, sont définis dans une spécification non-formelle écrite en langage naturel. Ces spécifications sont par conséquence souvent ambiguës et erronées. Ce rapport est un retour d'expérience sur l'utilisation d'un framework outillé de spécification de langage (le framework K) pour la spécification formelle de la syntaxe et sémantique d'un langage de filtrage de trames ayant une complexité similaire à celle rencontrée sur des projets réels. Dans le contexte de cette expérimentation, ce rapport évalue les coûts et bénéfices liés à une démarche de spécification formelle d'un langage en s'appuyant sur un framework outillé en général, et plus particulièrement dans le cas du framework K.
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/hal-01385541
Contributor : Gurvan Le Guernic <>
Submitted on : Friday, October 21, 2016 - 3:24:15 PM
Last modification on : Thursday, December 19, 2019 - 1:16:56 AM

File

RR-8967.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution - NonCommercial - NoDerivatives 4.0 International License

Identifiers

  • HAL Id : hal-01385541, version 1

Citation

Gurvan Le Guernic, José Angel Galindo Duarte. Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework. [Research Report] RR-8967, Inria Rennes Bretagne Atlantique. 2016, pp.41. ⟨hal-01385541⟩

Share

Metrics

Record views

467

Files downloads

322