迈向具有语义变点的活动图语义
软件工程
2014-09-09 v1
摘要
UML 活动图已成为一种既定的表示法，用于在各种抽象层次上建模控制流和数据流，范围从算法的细粒度描述到业务应用中的高层工作流模型。形式化语义必须捕捉实际系统中对活动图解释的灵活性，这使得定义固定的形式化语义变得不恰当。在本文中，我们定义了一种具有语义变点的语义，允许对活动图进行可定制的、特定于应用的解释。我们考察了活动图语义的具体变体，这些变体也可能包含反映当前预期用途的语法变体。
引用
@article{arxiv.1409.2366,
title = {Towards a Semantics of Activity Diagrams with Semantic Variation Points},
author = {Hans Grönninger and Dirk Reiß and Bernhard Rumpe},
journal= {arXiv preprint arXiv:1409.2366},
year = {2014}
}
备注
15 pages, 6 figures