Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL

Tomohiro Oda
  • Fonction : Auteur
  • PersonId : 1237472
Gaël Dur
  • Fonction : Auteur
  • PersonId : 1237473
Hugo Daniel Macedo
  • Fonction : Auteur

Résumé

Formal specification is a basis for rigorous software implementation. VDM-SL is a formal specification language with an extensive executable subset. Successful cases of VDM-family including VDM-SL have shown that producing a well-tested executable specification can reduce the cost of the implementation phase. This paper introduces and discusses the reversed order of specification and implementation. The development of a multi-agent simulation language called RE:MOBIDYC is described and examined as a case study of defining a formal specification after initial implementation and reflecting the specification into the implementation code.
Fichier principal
Vignette du fichier
article.pdf (1.28 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04030293 , version 1 (15-03-2023)

Identifiants

  • HAL Id : hal-04030293 , version 1

Citer

Tomohiro Oda, Gaël Dur, Stéphane Ducasse, Hugo Daniel Macedo. Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL. 21st Overture Workshop, Mar 2023, Lubeck, Germany. ⟨hal-04030293⟩
21 Consultations
10 Téléchargements

Partager

Gmail Facebook X LinkedIn More