一句话：提出 PMExec，通过静态分析、自动精化与输入驱动执行，使部分（不完整）UML-RT 模型可被运行。
本文提出 PMExec，一个支持执行部分 UML-RT 模型的工具。部分模型缺少足够信息，直接执行会失败。PMExec 分三步处理：首先进行尊重 UML-RT 执行语义的静态分析，检测因模型不完整而在执行时引发问题的模型元素；其次利用模型变换技术自动精化模型，主要在缺失信息处添加决策点；最后执行精化后的模型，当执行到达决策点时，通过交互方式或依据描述如何处理部分元素的脚本来获取继续执行所需的输入。作者使用多个用例评估 PMExec，结果表明静态分析、精化与用户输入应用均能以合理性能完成，且方法带来的额外开销可控。
This paper presents PMExec, a tool that supports the execution of partial UML-RT models. To this end, the tool implements the following steps: static analysis, automatic refinement, and input-driven execution. The static analysis that respects the execution semantics of UML-RT models is used to detect problematic model elements, i.e., elements that cause problems during execution due to the partiality. Then, the models are refined automatically using model transformation techniques, which mostly add decision points where missing information can be supplied. Third, the refined models are executed, and when the execution reaches the decision points, input required to continue the execution is obtained either interactively or from a script that captures how to deal with partial elements. We have evaluated PMExec using several use-cases that show that the static analysis, refinement, and application of user input can be carried out with reasonable performance, and that the overhead of approach is manageable. https://youtu.be/BRKsselcMnc Note: Interested readers can refer to [1] for a thorough discussion and evaluation of this work.
DOI 原文 ·
@inproceedings{paperbot5211,
title = {PMExec: An Execution Engine of Partial UML-RT Models},
author = {Mojtaba Bagherzadeh and Karim Jahed and Nafiseh Kahani and Juergen Dingel},
booktitle = {ASE},
year = {2019},
doi = {10.1109/ase.2019.00131}
}