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.
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01385541
Contributeur : Gurvan Le Guernic <>
Soumis le : vendredi 21 octobre 2016 - 15:24:15
Dernière modification le : mercredi 2 août 2017 - 10:08:30

Fichier

RR-8967.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Pas de modification 4.0 International License

Identifiants

  • 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〉

Partager

Métriques

Consultations de
la notice

221

Téléchargements du document

137