A framework for executable UML Models

Joe Mooney, Hessam Sarjoughian

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations


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 languageEnglish (US)
Title of host publicationSpring Simulation Multiconference 2009 - Co-located with the 2009 SISO Spring Simulation Interoperability Workshop
PublisherAssociation for Computing Machinery, Inc
StatePublished - Mar 22 2009
Event2009 Spring Simulation Multiconference, SpringSim 2009 - San Diego, United States
Duration: Mar 22 2009Mar 27 2009


Other2009 Spring Simulation Multiconference, SpringSim 2009
Country/TerritoryUnited States
CitySan Diego


  • DEVS
  • Discrete event simulation
  • Executable UML
  • State Machine

ASJC Scopus subject areas

  • Modeling and Simulation


Dive into the research topics of 'A framework for executable UML Models'. Together they form a unique fingerprint.

Cite this