eUDEVS: Executable UML with DEVS Theory of Modeling and Simulation

José L. Risco-Martín,J. M. Cruz,Saurabh Mittal,Bernard P. Zeigler

DOI: https://doi.org/10.1177/0037549709104727

2024-07-11

Abstract:Modeling and Simulation (M&S) for system design and prototyping is practiced today both in the industry and academia. M&S are two different areas altogether and have specific objectives. However, most of the times these two separate areas are taken together. The developed code is tightly woven around both the model and the underlying simulator that executes it. This constraints both the model development and the simulation engine that impacts scalability of the developed code. Furthermore, a lot of time is spent in development of a model because it needs both domain knowledge and simulation techniques, which also requires communication among users and developers. Unified Modeling Language (UML) is widely accepted in the 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 much detailed level and are able to translate requirements to DEVS modeling code. There have been earlier efforts to integrate UML and DEVS but they haven't succeeded in providing a transformation mechanism due to inherent differences in these two modeling paradigms. This paper presents an integrated approach towards crosstransformations between UML and DEVS using the proposed eUDEVS, which stands for executable UML based on DEVS. Further, we will 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 DEVS Unified Process that allows bifurcated model-continuity based lifecycle methodology for systems M&S. Finally, we demonstrate the laid concepts with a complete example.

Software Engineering

What problem does this paper attempt to address?

The main problems that this paper attempts to solve are several key challenges in the current system modeling and simulation (M&S) process:

1. **Tight integration of models and simulation platforms**: Existing modeling and simulation codes are usually tightly coupled together, which limits the flexibility of model development and the extensibility of simulation engines. This tight integration makes it difficult to reuse models on different platforms and increases the cost of development and maintenance.

2. **Separation of domain knowledge and simulation techniques**: Developing an effective simulation model requires both knowledge of the system's domain and knowledge of simulation techniques. However, these two are often mastered by experts in different fields, resulting in high communication costs and long development cycles.

3. **Differences between UML and DEVS**: Although UML is widely used in the industry and DEVS is more commonly used in academia, there are essential differences between the two, especially in behavior modeling. The state diagrams in UML cannot be directly mapped to the state machines in DEVS because DEVS has specific requirements for state time advancement (for example, the timeout for each state), while these details are not present in UML.

To solve these problems, the paper proposes a new method - **eUDEVS** (Executable UML based on DEVS), aiming to achieve bidirectional conversion between UML and DEVS. Specifically, the goals of the paper include:

- **Unifying the UML and DEVS communities**: Bridge the gap between these two communities by providing a method for converting UML models into DEVS models.
- **Making UML models executable**: Utilize the formal methods of DEVS to make UML behavior models executable, thereby improving the practicality and verifiability of the models.
- **Demonstrating the possibilities of behavior representation**: Prove that XML can be used to represent behavior models through XML - based DEVS formal methods and discuss their limitations.
- **Achieving cross - conversion between UML and DEVS**: Provide specific conversion mechanisms from UML to DEVS and from DEVS to UML.
- **Integrating UML models into a larger system engineering framework**: By introducing the DEVS Unified Process (DUNIP), make UML models part of a larger system engineering process, allowing parallel development of test suites and system models.

In summary, this paper aims to provide a more flexible and efficient modeling and simulation method by combining the graphical expression ability of UML and the formal execution ability of DEVS to meet the complex requirements in early - stage system development.