• DocumentCode
    2322867
  • Title

    Specification languages as front-ends towards the DEVS formalism

  • Author

    Garredu, Stephane ; Vittori, Evelyne ; Santucci, Jean-Francois ; Muzy, Alexandre

  • Author_Institution
    SPE Lab., Univ. of Corsica, Corte
  • fYear
    2006
  • fDate
    9-12 July 2006
  • Firstpage
    104
  • Lastpage
    109
  • Abstract
    This paper constitutes a state-of-the art of specification languages relevant to be used as front-ends towards the DEVS (Discrete EVent System Specification) formalism. Comparison criteria are defined to evaluate specification languages for the description of DEVS structures. Finally, the need for building an original front-end, accounting for the whole criteria, is discussed.
  • Keywords
    discrete event simulation; geophysical techniques; geophysics computing; DEVS formalism; Discrete EVent System Specification; specification language; Art; Buildings; Computational modeling; Computer science; Computer simulation; Discrete event simulation; Discrete event systems; Object oriented modeling; Object oriented programming; Specification languages; Discrete event simulation; Modeling; Specification languages;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Environment Identities and Mediterranean Area, 2006. ISEIMA '06. First international Symposium on
  • Conference_Location
    Corte-Ajaccio
  • Print_ISBN
    1-4244-0231-X
  • Electronic_ISBN
    1-4244-0232-8
  • Type

    conf

  • DOI
    10.1109/ISEIMA.2006.345038
  • Filename
    4150427