scholarly journals Towards an automatic model transformation mechanism from UML state machines to DEVS models

2015 ◽  
Author(s):  
Ariel González ◽  
Carlos Luna ◽  
Roque Cuello ◽  
Marcela Pérez ◽  
Marcela Daniele
Keyword(s):  
Modeling And Simulation ◽  
Model Transformation ◽  
Discrete Event ◽  
State Machines ◽  
System Specification ◽  
Transformation Mechanism ◽  
Simulation Tools ◽  
Model Driven ◽  
Uml State Machines ◽  
Devs Formalism

The development of complex event-driven systems requires studies and analysis prior to deployment with the goal of detecting unwanted behavior. UML is a language widely used by the software engineering community for modeling these systems through state machines, among other mechanisms. Currently, these models do not have appropriate execution and simulation tools to analyze the real behavior of systems. Existing tools do not provide appropriate libraries (sampling from a probability distribution, plotting, etc.) both to build and to analyze models. Modeling and simulation for design and prototyping of systems are widely used techniques to predict, investigate and compare the performance of systems. In particular, the Discrete Event System Specification (DEVS) formalism separates the modeling and simulation; there are several tools available on the market that run and collect information from DEVS models. This paper proposes a model transformation mechanism from UML state machines to DEVS models in the Model-Driven Development (MDD) context, through the declarative QVT Relations language, in order to perform simulations using tools, such as PowerDEVS. A mechanism to validate the transformation is proposed. Moreover, examples of application to analyze the behavior of an automatic banking machine and a control system of an elevator are presented.

The high level language for system specification: A model-driven approach to systems engineering

2016 ◽  
Vol 07 (01) ◽  
pp. 1641003 ◽  
Author(s):  
Hamzat Olanrewaju Aliyu ◽  
Oumar Maïga ◽  
Mamadou Kaba Traoré
Keyword(s):  
Systems Engineering ◽  
Discrete Event ◽  
Discrete Event System ◽  
High Level Language ◽  
System Specification ◽  
Model Driven ◽  
Event System ◽  
Visual Formalisms ◽  
Devs Formalism ◽  
High Level

We present HiLLS (High Level Language for System Specification), a graphical formalism that allows to specify Discrete Event System (DES) models for analysis using methodologies like simulation, formal methods and enactment. HiLLS’ syntax is built from the integration of concepts from System Theory and Software Engineering aided by simple concrete notations to describe the structural and behavioral aspects of DESs. This paper provides the syntax of HiLLS and its simulation semantics which is based on the Discrete Event System Specification (DEVS) formalism. From DEVS-based Modeling and Simulation (M&S) perspective, HiLLS is a platform-independent visual language with generic expressions that can serve as a front-end for most existing DEVS-based simulation environments with the aid of Model-Driven Engineering (MDE) techniques. It also suggests ways to fill some gaps in existing DEVS-based visual formalisms that inhibit complete specification of the behavior of complex DESs. We provide a case study to illustrate the core features of the language.

Metamodel-based formalization of DEVS atomic models

SIMULATION ◽  
2021 ◽  
pp. 003754972110456
Author(s):  
María Julia Blas ◽  
Silvio Gonnet
Keyword(s):  
Programming Languages ◽  
Formal Specification ◽  
Formal Model ◽  
Discrete Event ◽  
Theory And Practice ◽  
System Specification ◽  
Simulation Tools ◽  
Atomic Models ◽  
Devs Formalism ◽  
Definition Of

The Discrete-Event System Specification (DEVS) formalism is a modeling formalism based on systems theory that provides a general methodology for hierarchical construction of reusable models in a modular way. When concrete DEVS models are developed using programming languages, it is difficult to ensure they conform to their formal model. Hence, building an implementation of formal models in a way that ensures DEVS formalism correctness is not easy. In this paper, we improve the interplay of abstraction (i.e., formal specification) and concreteness (i.e., programming code implementation) in advancing the theory and practice of DEVS using a specific-designed metamodel. The main contribution is a novel conceptualization of classic DEVS with ports founded on existing approaches but that also includes new improved elements related to the definition of atomic models. That is, our metamodel includes all the concepts and relationships needed to define the formal specification of DEVS atomic models. This allows us to define instances of our conceptualization that comply with the DEVS formal specification. To instantiate our metamodel, we propose a computer-aided environment that has been developed using the Eclipse Modeling Project. As an example, we show how our metamodel can be used to define the classic “switch” model. As a conclusion, we discuss how the final metamodel can be used to support interoperability with DEVS simulation tools.

Practical aspects of the DesignDEVS simulation environment

SIMULATION ◽  
2017 ◽  
Vol 94 (4) ◽  
pp. 301-326 ◽  
Author(s):  
Rhys Goldstein ◽  
Simon Breslav ◽  
Azam Khan
Keyword(s):  
Systems Engineering ◽  
Best Practice ◽  
Discrete Event ◽  
State Transitions ◽  
System Specification ◽  
Development Environment ◽  
Simulation Tools ◽  
Model Code ◽  
Strict Enforcement ◽  
Devs Formalism

DesignDEVS is a simulation development environment based on the Discrete Event System Specification (DEVS) formalism. This paper provides an in-depth overview of the software while focusing on the practical considerations influencing its design. Practitioners who stand to benefit from systems engineering will approach formalism-based simulation tools with little knowledge of the underlying theory. It is therefore important that theoretical principles, such as the separation of model and simulator, be emphasized by the user interface. Other practical aspects of DesignDEVS include the simplicity of atomic model code, a focus on coupling for collaboration purposes, the enforcement of essential modeling constraints, and a reliance on best practices in cases where strict enforcement might inconvenience users. In DesignDEVS, an issue we refer to as the Insidious Pointer Problem is aggressively tackled through run-time error handling. By contrast, the separation of output values from state transitions is left as a best practice for the sake of user convenience. The design decisions explained in this paper are relevant to developers of other formalism-based tools seeking widespread adoption of scalable modeling and simulation practices.

scholarly journals Emergence at the Fundamental Systems Level: Existence Conditions for Iterative Specifications

2016 ◽  
Author(s):  
Bernard Zeigler ◽  
Alexandre Muzy
Keyword(s):  
Discrete Event ◽  
Sufficient Conditions ◽  
System Specification ◽  
Global State ◽  
Uniqueness Of Solutions ◽  
Fundamental Level ◽  
Mathematical System ◽  
Special Cases ◽  
Fundamental Systems ◽  
Devs Formalism

Conditions under which compositions of component systems form a well-defined system-of-systems here are formulated at a fundamental level. Statement of what defines a well-defined composition and sufficient conditions guaranteeing such a result offers insight into exemplars that can be found in special cases such as differential equation and discrete event systems. For any given global state of a composition, two requirements can be stated informally as: 1) the system can leave this state, i.e., there is at least one trajectory defined that starts from the state, and 2) the trajectory evolves over time without getting stuck at a point in time. Considered for every global state, these conditions determine whether the resultant is a well-defined system and if so, whether it is non-deterministic or deterministic. We formulate these questions within the framework of iterative specifications for mathematical system models that are shown to be behaviorally equivalent to the Discrete Event System Specification (DEVS) formalism. This formalization supports definitions and proofs of the afore-mentioned conditions. Implications are drawn at the fundamental level of existence where the emergence of a system from an assemblage of components can be characterized. We focus on systems with feedback coupling where existence and uniqueness of solutions is problematic.

A Model Driven Engineering Approach to Reduce Large Queueing Networks

2017 ◽  
Vol 10 (2) ◽  
pp. 1-18 ◽  
Author(s):  
Ahlem Nasri ◽  
Abdelhabib Bourouis
Keyword(s):  
Residence Time ◽  
Queueing Networks ◽  
Model Transformation ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Exact Results ◽  
Model Driven Engineering ◽  
Transformation Techniques ◽  
Model Driven ◽  
Global Mean

Modeling complex systems, including discrete event systems, remains a challenge. The complexity and the size of such systems prevent understanding their models. This article proposes an approach for reducing queuing networks large models into smaller ones. The objective is to reduce the analysis as well as the simulation times in addition to the better understanding of the system under study. The basic idea is to divide the model into a set of smaller, hierarchically organized and more manageable sub-models, which are analyzed in isolation. The key contributions of this work are the substitution of each sub-model by a single M/G/8 station and the automation of the decomposition process using model transformation techniques. The main conclusion is that the reduction approach provides exact results for the global mean number of clients and mean residence time at the whole network.

Discrete Event Modeling and Simulation of the Mythical Thought Morphodynamics Involved in Claude Levi Strauss Structural Analysis

2011 ◽  
pp. 152-178 ◽  
Author(s):  
Jean-François Santucci ◽  
Emmanuelle De Gentili ◽  
Ghjasippina Thury-Bouvet
Keyword(s):  
Modeling And Simulation ◽  
Discrete Event ◽  
Simulation Software ◽  
Oral Literature ◽  
System Specification ◽  
Discrete Event System Specification ◽  
Book Series ◽  
Event Modeling ◽  
Human And Social Sciences ◽  
Potential Benefits

In this chapter the authors present an exploration into the potential benefits of deploying structuralism analysis in the framework of human and social sciences using computer science modeling and simulation concepts and tools. They describe in detail in this chapter object oriented modeling and simulation software allowing the analysis of folktales. This software is based on the DEVS (Discrete Event System specification) formalism in order to both propose the modeling of a given myth issued from the oral literature of a given culture and the simulation of the corresponding myth transformations as described by Claude Levi Strauss when he dealt with mythical thought. The resulting software has been realized using the PythonDEVS kernel. The validation of the implemented software is performed on a set of folktales issued from corsican mythology and a set of myths from South and North America taken from Claude Levi Strauss’s Mythologiques book series.

scholarly journals Enhancing the reusability and interoperability of artificial neural networks with DEVS modeling and simulation

2016 ◽  
Vol 07 (02) ◽  
pp. 1650005 ◽  
Author(s):  
David Ifeoluwa Adelani ◽  
Mamadou Kaba Traoré
Keyword(s):  
Neural Networks ◽  
Artificial Neural Networks ◽  
Modeling And Simulation ◽  
Computational Models ◽  
Learning Algorithm ◽  
Discrete Event ◽  
Neural Network Modeling ◽  
System Specification ◽  
Ann Models ◽  
Artificial Neural

Artificial neural networks (ANNs), a branch of artificial intelligence, has become a very interesting domain since the eighties when back-propagation (BP) learning algorithm for multilayer feed-forward architecture was introduced to solve nonlinear problems. It is used extensively to solve complex nonalgorithmic problems such as prediction, pattern recognition and clustering. However, in the context of a holistic study, there may be a need to integrate ANN with other models developed in various paradigms to solve a problem. In this paper, we suggest discrete event system specification (DEVS) be used as a model of computation (MoC) to make ANN models interoperable with other models (since all discrete event models can be expressed in DEVS, and continuous models can be approximated by DEVS). By combining ANN and DEVS, we can model the complex configuration of ANNs and express its internal workings. Therefore, we are extending the DEVS-based ANN proposed by Toma et al. [A new DEVS-based generic artficial neural network modeling approach, The 23rd European Modeling and Simulation Symp. (Simulation in Industry), Rome, Italy, 2011] for comparing multiple configuration parameters and learning algorithms and also to do prediction. The DEVS models are described using the high level language for system specification (HiLLS), [Maïga et al., A new approach to modeling dynamic structure systems, The 29th European Modeling and Simulation Symp. (Simulation in Industry), Leicester, United Kingdom, 2015] a graphical modeling language for clarity. The developed platform is a tool to transform ANN models into DEVS computational models, making them more reusable and more interoperable in the context of larger multi-perspective modeling and simulation (MAS).

scholarly journals Modeling and Simulation of Network-on-Chip Systems with DEVS and DEUS

2014 ◽  
Vol 2014 ◽  
pp. 1-9 ◽  
Author(s):  
Michele Amoretti
Keyword(s):  
Modeling And Simulation ◽  
Discrete Event ◽  
General Purpose ◽  
System Specification ◽  
Modeling Framework ◽  
Steep Learning Curve ◽  
Networks On Chip ◽  
Systems On Chip ◽  
Communication Architectures ◽  
On Chip

Networks on-chip (NoCs) provide enhanced performance, scalability, modularity, and design productivity as compared with previous communication architectures for VLSI systems on-chip (SoCs), such as buses and dedicated signal wires. Since the NoC design space is very large and high dimensional, evaluation methodologies rely heavily on analytical modeling and simulation. Unfortunately, there is no standard modeling framework. In this paper we illustrate how to design and evaluate NoCs by integrating the Discrete Event System Specification (DEVS) modeling framework and the simulation environment called DEUS. The advantage of such an approach is that both DEVS and DEUS support modularity—the former being a sound and complete modeling framework and the latter being an open, general-purpose platform, characterized by a steep learning curve and the possibility to simulate any system at any level of detail.

scholarly journals The advances in the state of the art of modeling and simulation: Discrete event system specification (DEVS)

SIMULATION ◽  
2018 ◽  
Vol 94 (4) ◽  
pp. 279-280
Author(s):  
Navonil Mustafee ◽  
Saurabh Mittal ◽  
Saikou Diallo ◽  
Gregory Zacharewicz
Keyword(s):  
Modeling And Simulation ◽  
State Of The Art ◽  
Discrete Event ◽  
Discrete Event System ◽  
The State ◽  
System Specification ◽  
Discrete Event System Specification ◽  
Event System
Sign in / Sign up

Export Citation Format

Share Document