Mapping DEVS Models onto UML Models (original) (raw)
Related papers
2006
Due to the close relation between object-oriented modelling and the domain of discrete event simulation (DES) the Unified Modelling Language (UML) has in the past been frequently applied for simulation modelling. However, most of this work is restricted to particular application domains or diagram types and based on the UML 1.x versions that had some drawbacks concerning dynamic modelling and formal precision. In this paper we provide a short overview of the new UML version 2.0 and sum up its benefits for discrete event simulation. We evaluate related work concerning the use of UML in DES and state some general directives of how to apply several diagram types. The treatment concentrates on UML 2 activity diagrams and relates them to the well-known DES modelling world views. Finally we provide an outlook on our further work that is especially concerned with generating simulation code from UML diagrams for our Java-based simulation framework DESMO-J.
Towards an automatic model transformation mechanism from UML state machines to DEVS models
CLEI Electronic Journal, 2015
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...
2015
Cette these propose une methodologie qui integre les methodes formelles dans la specification, la conception, la verification et la validation des systemes complexes concurrents et distribues avec une perspective a evenements discrets. La methodologie est basee sur le langage graphique HILLS (High Level Language for System Specification) que nous avons defini. HiLLS integre des concepts de genie logiciel et de theorie des systemes pour une specification des systemes. Precisement, HiLLS integre des concepts et notations de DEVS (Discrete Event System Specification), UML (Unified Modeling Language) et Object-Z. Les objectifs de HILLS incluent la definition d’une syntaxe concrete graphique qui facilite la communicabilite des modeles et plusieurs domaines semantiques pour la simulation, le prototypage, l’enaction et l’accessibilite a l’analyse formelle. L’Enaction se definit par le processus de creation d’une instance du systeme qui s’execute en temps reel (par opposition au temps virtu...
A framework for executable UML models
2009
One approach to support the creation of executable UML models is to utilize an existing DEVS simulation environment. The Discrete Event System Specification (DEVS) formalism excels at modeling complex discrete event systems. An approach to specifying DEVS-compliant models is presented via Unified Modeling Language (UML) state machines. Resultant UML models are executable within DEVS simulation frameworks such as DEVSJAVA. Constructing DEVS-compliant UML models enables early simulation and verification of a design. This paper outlines how the specifics of simulation can be naturally expressed in UML models without significant burden to the UML practitioner. Simulatable models are an excellent precursor and companion to the current models normally developed during design and implementation and may result in significant cost and time savings.