A New Approach to Describe DEVS Models Using Both UML State Machine Diagrams and Fuzzy Logic

This paper deals with a method which enables to describe a system using both UML State Machine Diagrams and Fuzzy-DEVS (to describe uncertain data) then to perform its simulation using DEVS formalism. The goal of the paper is to simplify the modeling of DEVS models, and also to take into account possible uncertainties on the transitions between states, by using a language based on UML State Machine Diagrams . This language is a part of a larger approach which final purpose is to create a high level intuitive language to enable non-computer scientists to describe DEVS models.

[1]  Norbert Giambiasi,et al.  Min-Max-DEVS modeling and simulation , 2006, Simul. Model. Pract. Theory.

[2]  Andrea Matta,et al.  Evaluation of capacity expansion by means of fuzzy-DEVS , 2000, ESM.

[3]  Michelle L. Crane,et al.  UML vs. classical vs. rhapsody statecharts: not all models are created equal , 2005, MoDELS'05.

[4]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[5]  Gabriel A. Wainer,et al.  Applying Cell-DEVS in Models of Complex Systems , 2003 .

[6]  강문설.  [서평]「The Unified Modeling Language User Guide」 , 1999 .

[7]  J. A. Goguen,et al.  The logic of inexact concepts , 1969, Synthese.

[8]  Jeffrey D. Ullman,et al.  Introduction to automata theory, languages, and computation, 2nd edition , 2001, SIGA.

[9]  Bernard P. Zeigler,et al.  Theory of modeling and simulation , 1976 .

[10]  Toward the definition of an intuitive specification language , .

[11]  Wan Kwon,et al.  Fuzzy-DEVS Formalism : Concepts , Realization and ApplicationsYi , 2007 .

[12]  L. A. Zadeh,et al.  Fuzzy logic and approximate reasoning , 1975, Synthese.

[13]  L. Zadeh.  Fuzzy sets as a basis for a theory of possibility , 1999 .

[14]  Martin Große-Rhode.  Integration of Software Specification Techniques for Applications in Engineering , 2004, Lecture Notes in Computer Science.

[15]  F. Barros.  Dynamic structure discrete event system specification: a new formalism for dynamic structure modeling and simulation , 1995, Winter Simulation Conference Proceedings, 1995..

[16]  E. De Gentili,et al.  DEVS-Flou: a discrete events and fuzzy sets theory-based modeling environment , 2006, 2006 1st International Symposium on Systems and Control in Aerospace and Astronautics.

[17]  Adelinde M. Uhrmacher,et al.  Dynamic structures in modeling and simulation: a reflective approach , 2001, TOMC.

[18]  Jean-Baptiste Filippi.  Une architecture logicielle pour la multi-modélisation et la simulation à évènements discrets de systèmes naturels complexes. (A software architecture for multi-modeling and discrete event simulation of natural complex systems) , 2003 .

[19]  Alexandre Muzy,et al.  Specification languages as front-ends towards the DEVS formalism , 2006, 2006 First International Symposium on Environment Identities and Mediterranean Area.