Specification languages as front-ends towards the DEVS formalism

Garredu, Stephane; Vittori, Evelyne; Santucci, Jean-François; Muzy, Alexandre

doi:10.1109/iseima.2006.345038

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2011

Publication Types

Select...

Other1

Relationship

Self Cite1

Independent0

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…First of all, we compared, using several criteria, some languages and formalisms for which mappings towards DEVS had been performed, and we highlighted the need to create a new formalism [3] and described the approach for the creation of such a formalism [4]. Then we defined two major constraints: a) This formalism must be easy to use b) It must be able to be mapped onto DEVS formalism (i.e.…”

Section: Introductionmentioning

confidence: 99%

A methodology to specify DEVS domain specific profiles and create profile-based models

Garredu

Vittori

Santucci

et al. 2011

2011 IEEE International Conference on Information Reuse &Amp; Integration

Self Cite

View full text Add to dashboard Cite

Discrete EVent System Specification (DEVS) is a popular formalism which allows specifying and simulating models. Its main drawback is that its implementation is simulator-specific, i.e. models have to be programmed using an Object-Oriented Language (OOL). In this paper, we introduce DEVS profiles, which are specializations/restrictions of DEVS meta-model, and we explain how to create a DEVS Profile for non-computer scientists. We distinguish two kinds of users: the metamodelers and the modelers. Models designed with DEVS profiles can be mapped onto platform specific models and to object code using a Model Driven Architecture (MDA) approach. DEVS profiles improve the reusability of models.

show abstract

Section: Introductionmentioning

confidence: 99%