[论文解读] System-Model-Based Simulation of UML Models

Marı́a Victoria Cengarle, Jürgen Dingel+2 more|arXiv (Cornell University)|Sep 22, 2014

Model-Driven Software Engineering Techniques参考文献 14被引用 4

一句话总结

本文提出了一种基于系统模型的UML模型仿真框架，通过使用数学定义的、未完全指定的系统模型作为语义基础，实现了可定制的执行。该方法通过原型环境支持对语义变体点的实验，展示了形式化系统模型如何支撑灵活、可扩展的UML仿真，且不会施加不必要的限制。

ABSTRACT

Previous work has presented our ongoing e orts to define a "reference semantics" for the UML, that is, a mathematically defined system model that is envisaged to cover all of the UML eventually, and that also carefully avoids the introduction of any unwarranted restrictions or biases. Due to the use of underspecification, the system model is not executable. This paper shows how the system model can serve as the basis for a highly customizable execution and simulation environment for the UML. The design and implementation of a prototype of such an environment is described and its use for the experimentation with different semantic variation points is illustrated.

研究动机与目标

• 建立一个形式化、数学定义的系统模型作为UML的参考语义，避免引入偏见和不必要限制。
• 通过语义变体点支持定制化，弥合形式化系统模型与可执行仿真之间的鸿沟。
• 设计并实现一个原型仿真环境，基于同一基础系统模型支持多种UML语义。
• 证明使用未完全指定的系统模型作为基础，可实现灵活、可扩展的UML仿真。
• 提供一个框架，以受控且可定制的方式实验不同UML构造的语义解释。

提出的方法

• 使用形式化数学定义系统模型，以表示UML语义而不施加执行约束，从而实现未完全指定。
• 识别并参数化语义变体点，以在仿真过程中支持模型行为的定制。
• 实现一个原型仿真环境，使用系统模型作为语义基础来解释UML模型。
• 该环境支持语义变体的动态配置，实现在运行时对UML构造的不同解释进行实验。
• 使用系统模型引导执行引擎，确保与形式化语义的一致性，同时保持行为上的灵活性。
• 该方法将形式化语义与执行逻辑解耦，支持模块化扩展和语义变体的插件机制。

实验结果

研究问题

• RQ1 如何通过形式化定义的、未完全指定的系统模型作为基础，实现UML仿真而不约束执行？
• RQ2 需要何种机制来通过语义变体点支持UML模型的可定制仿真？
• RQ3 如何设计一个原型仿真环境，基于形式化系统模型执行UML模型，同时支持多种语义解释？
• RQ4 形式化系统模型在实现可扩展的UML仿真框架中扮演何种角色？
• RQ5 语义与执行的分离如何实现对UML模型行为的灵活实验？

主要发现

• 系统模型为UML语义提供了坚实、形式化的基础，避免引入非预期的偏见或限制。
• 原型仿真环境成功通过配置语义变体点，支持可定制执行。
• 该方法可在不修改核心系统模型的前提下，实现对UML构造不同解释的实验。
• 系统模型中的未完全指定特性，可在保持形式正确性的前提下，实现仿真行为的最大灵活性。
• 该框架证明了形式化系统模型可有效支撑UML的实际仿真环境。
• 原型验证了通过配置，单一形式化模型可支持多种不同仿真行为的可行性。