eUDEVS: 结合DEVS建模与仿真理论的可执行UML
eUDEVS: Executable UML with DEVS Theory of Modeling and Simulation
AI总结：
本文提出eUDEVS框架实现UML与DEVS的双向转换，证明转换后模型属FD-DEVS类，将其纳入DEVS统一过程并以示例验证，解决两类建模范式整合难题。
摘要：
用于系统设计与原型开发的建模与仿真（M&S）如今在工业界和学术界都得到了应用。建模与仿真是两个完全不同的领域，各有特定目标，但大多数情况下这两个独立领域被混为一谈。开发出的代码与模型及其执行所用的底层模拟器紧密耦合，这既限制了模型开发，也影响了仿真引擎，进而降低了所开发代码的可扩展性。此外，模型开发需要耗费大量时间，因为它既需要领域知识也需要仿真技术，这也要求用户与开发者之间进行沟通。统一建模语言（Unified Modeling Language, UML）在工业界被广泛接受，而基于离散事件规范（Discrete Event Specification, DEVS）的建模将模型与模拟器分离，提供了一种更清晰的模型开发方法，在学术界应用广泛。如今DEVS的使用者是能够深入理解离散事件建模、并能将需求转化为DEVS建模代码的工程师。此前已有不少整合UML与DEVS的尝试，但由于这两种建模范式存在固有差异，这些尝试都未能提供有效的转换机制。本文提出了一种整合方案，通过所提出的eUDEVS（即基于DEVS的可执行UML）实现UML与DEVS之间的双向转换。此外，我们还将证明，转换得到的DEVS模型属于一类特定的DEVS模型——有限确定性DEVS（Finite Deterministic DEVS, FD-DEVS），该类模型在XFD-DEVS中以W3C XML Schema的形式提供。我们还将所提出的eUDEVS纳入一个更宏大的统一框架——DEVS统一过程（DEVS Unified Process），该框架支持基于分叉模型连续性的系统建模与仿真生命周期方法。最后，我们通过一个完整示例演示了所提出的概念。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
