Conference Papers Year : 2023

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

Tomohiro Oda
  • Function : Author
  • PersonId : 1237472
Gaël Dur
  • Function : Author
  • PersonId : 1237473
Hugo Daniel Macedo
  • Function : Author

Abstract

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
Origin Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-04030293 , version 1

Cite

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⟩
54 View
32 Download

Share

More