Abstract
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.
Original language | English (US) |
---|---|
Title of host publication | Simulation Series |
State | Published - 2009 |
Event | DEVS Integrative M and S Symposium, DEVS 2009, Part of the 2009 Spring Simulation Multiconference, SpringSim 2009 - San Diego, CA, United States Duration: Mar 22 2009 → Mar 27 2009 |
Other
Other | DEVS Integrative M and S Symposium, DEVS 2009, Part of the 2009 Spring Simulation Multiconference, SpringSim 2009 |
---|---|
Country/Territory | United States |
City | San Diego, CA |
Period | 3/22/09 → 3/27/09 |
Keywords
- DEVS
- Discrete event simulation
- Executable UML
- State machine
ASJC Scopus subject areas
- Computer Networks and Communications