基于虚拟机的 UML 2.0 活动图语义——用于商业建模
信息论
2007-07-16 v1 math.IT
摘要
本文提出了对 UML 2.0 活动图语义的更正式定义。考虑了与商业流程建模相关的活动图构件子集。该语义定义基于原始的代币流方法，但采用了更具构造性的方法。通过 metamodel 定义活动图虚拟机，采用伪代码和 OCL 前置/后置条件定义其操作。描述了一个构建任意活动图虚拟机的正式程序。将控制节点和边中的复杂的原始代币移动规则组合为从动作到动作的路径。一种新方法是使用不同的（推和拉）引擎沿着这些路径移动代币。用于包含合并节点的路径使用拉式引擎，以协调多个代币的移动。该提出的虚拟机方法使得活动语义定义更加透明，可以轻松追踪代币的移动。然而，该方法的主要优势在于可以将定义的虚拟机作为 UML 活动图基于工作流或仿真引擎的基础。
引用
@article{arxiv.cs/0509087,
title = {On Time-Variant Distortions in Multicarrier Transmission with Application to Frequency Offsets and Phase Noise},
author = {Peter Jung and Gerhard Wunder},
journal= {arXiv preprint arXiv:cs/0509087},
year = {2007}
}
备注
10 pages (twocolumn), 5 figures