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 | Spring Simulation Multiconference 2009 - Co-located with the 2009 SISO Spring Simulation Interoperability Workshop |
| Publisher | Association for Computing Machinery, Inc |
| State | Published - Mar 22 2009 |
| Event | 2009 Spring Simulation Multiconference, SpringSim 2009 - San Diego, United States Duration: Mar 22 2009 → Mar 27 2009 |
Other
| Other | 2009 Spring Simulation Multiconference, SpringSim 2009 |
|---|---|
| Country/Territory | United States |
| City | San Diego |
| Period | 3/22/09 → 3/27/09 |
Keywords
- DEVS
- Discrete event simulation
- Executable UML
- State Machine
ASJC Scopus subject areas
- Modeling and Simulation