For several years, we worked to improve a discrete events modeling formalism: called DEVS. Having defined a method to take into account the inaccuracies iDEVS, in this paper, we present the second part of our research work.Generally, our approach is to associate the DEVS formalism with an object class, which allows using it to new fields of study, and in our case fuzzy systems.This paper describes a new modeling methodology. It allows to modeling and to use fuzzy inference systems (FIS) with DEVS formalism in order to perform the control or the learning on systems described incompletely or with linguistic data. The advantages of this method are numerous: to extend the DEVS formalism to other application fields; to propose new DEVS models for fuzzy inference; to provide users with simple and intuitive modeling methods. Throughout this paper we describe the tools and methods which were developed to make possible the combination of these two approaches.

International audienc

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.

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.

In this paper, the issue of the "external" interoperability of DEVS models is discussed. Scientists often need to simulate non-DEVS models using a DEVS-oriented framework, in order, for instance, to make their DEVS and non-DEVS modes interoperate. The source formalisms we propose to transform onto DEVS models are those which are based on the "family" of states and transitions. A general and model-oriented approach called MetaDEVS is presented in this article. MetaDEVS is also the name given to the DEVS metamodel we use. This metamodel allows creating platform-independent DEVS models. This paper shows how models which belong to the state and transitions "family" can be mapped onto DEVS, and more exactly onto MetaDEVS-based DEVS models, following the MetaDEVS approach. Then, the approach is applied to a concrete case: we transform Finite-State Machine (FSM) models into MetaDEVS models, using ATL, a hybrid language (which mixes both declarative and imperative rules), within the Eclipse Modelling Framework. A metamodel to describe the FSM formalism is also proposed.