This Article Full Text (PDF) All Versions of this Article: 0037549709104727v1 85/11-12/750    most recent References Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Add to Saved Citations Download to citation manager Request Permissions Request Reprints Add to My Marked Citations Citing Articles Citing Articles via Scopus Google Scholar Articles by Risco-Martín, J. L. Articles by Zeigler, B. P. Social Bookmarking                         What's this?

eUDEVS: Executable UML with DEVS Theory of Modeling and Simulation

Departamento de Arquitectura de Computadores y Automática Facultad de Informática, Universidad Complutense de Madrid C/Prof. José García Santesmases, s/n, 28040 Madrid, Spain, jlrisco{at}dacya.ucm.es

Jesús M. de la Cruz

Departamento de Arquitectura de Computadores y Automática Facultad de Informática, Universidad Complutense de Madrid C/Prof. José García Santesmases, s/n, 28040 Madrid, Spain, jmcruz{at}dacya.ucm.es

Saurabh Mittal

Dunip Technologies, New Delhi, India, saurabh.mittal{at}duniptechnologies.com

Bernard P. Zeigler

Arizona Center for Integrative Modeling and Simulation Electrical and Computer Engineering, University of Arizona, Tucson, AZ, USA, zeigler{at}ece.arizona.edu

Modeling and simulation (M&S) for system design and prototyping is practiced today both in industry and academia. M&S are two different areas altogether and have specific objectives. However, most of the time these two separate areas are taken together. The developed code is woven tightly around both the model and the underlying simulator that executes it. This constrains both the model development and the simulation engine that has an impact on the scalability of the developed code. Furthermore, a lot of time is spent in developing a model because it needs both domain knowledge and simulation techniques, which also requires communication among users and developers. The Unified Modeling Language (UML) is widely accepted in industry, whereas discrete event specification (DEVS)-based modeling that separates the model and the simulator, provides a cleaner methodology to develop models and is much used in academia. DEVS today is used by engineers who understand discrete event modeling at a highly detailed level and are able to translate requirements to DEVS modeling code. There have been earlier efforts to integrate UML and DEVS but they have not succeeded in providing a transformation mechanism owing to inherent differences in these two modeling paradigms. In this paper we present an integrated approach to cross-transformations between UML and DEVS using the proposed eUDEVS, which stands for executable UML based on DEVS. Further, we also show that the obtained DEVS models belong to a specific class of DEVS models called finite deterministic DEVS (FD-DEVS) that is available as a W3C XML schema in XFD-DEVS. We also put the proposed eUDEVS in a much larger unifying framework called the DEVS unified process that allows bifurcated model-continuity-based lifecycle methodology for systems M&S. Finally, we demonstrate the concepts with a complete example.

Key Words: DEVS • XFD-DEVS • UML-based modeling • XML • model transformation • eUDEVS • SES • DUNIP

This version was published on November 1, 2009

SIMULATION, Vol. 85, No. 11-12, 750-777 (2009)
DOI: 10.1177/0037549709104727


CiteULike    Complore    Connotea    Del.icio.us    Digg    Reddit    Technorati    Twitter    What's this?