A Conceptual Framework to Classify the Extensions of Devs Formalism as Variants and Subclasses

Abstract

The Discrete Event System Specification (DEVS) is a general modeling formalism with sound semantics founded on a system theoretic basis. It can be used as a base for the development of specialized modeling formalisms. Usually, the extensions of DEVS expand the classes of systems models that can be represented in DEVS. However, with a growing number in new variants of DEVS and an increasing number of problems to be solved using discrete simulation techniques, it is necessary to define the relations among different approaches. This paper presents a conceptual modeling perspective applied to DEVS extensions that structure a framework over the traditional modeling and simulation approach. The framework provides a multilevel structure to analyze the features required for each extension type. Two main types of extensions are identified: variants and subclasses. In order to illustrate the proposed guidelines, the Routed DEVS formalism is presented as example of the subclass type.

Mapping RDEVSNL-based Definitions of Constrained Network Models to Routed DEVS Simulation Models

“…In this way, it emphasizes the notion of model and simulator as two independent entities linked by the simulation relationship when a model is exe cuted on a computational environment (i.e., a simulator). Fur thermore, starting from the M&S framework, RDEVS can be seen as a subclass of DEVS for modeling new types of prob lems [Blas et al, 2018].…”

Developing RDEVS Simulation Models from Textual Specifications

“…In this way, it emphasizes the notion of model and simulator as two independent entities linked by the simulation relationship when a model is executed on a computational environment (i.e., a simulator). Since RDEVS formalism is proposed as a subclass of DEVS for modeling new types of problems [Blas et al 2018], the model entity of RDEVS formalism can be seen as a subclass of the DEVS model entity.…”

Modeling and simulation framework for quality estimation of web applications through architecture evaluation

“…Moreover, the CCA framework uses the Routed DEVS (RDEVS) framework detailed in [11] to structure the simulation models of the CCA architecture. The Routed Discrete Event System Specification formalism [11] is a subclass of DEVS [10,60] that provides a solution for routing problems over discrete event models. The software architecture simulation can be studied using the routing problem perspective.…”