基于机构理论的 UML 2.0 活动图形式语义
软件工程
2016-06-20 v1 计算机科学中的逻辑
摘要
赋予 UML 活动图（UML AD）形式语义是一项艰巨的任务。这种困难的原因在于此类半形式化机制存在歧义且缺乏精确的形式语义。文献中存在多种语义，涵盖了该语言所涉及的各个方面。我们可以以指称语义、函数语义和组合语义为例。为了应对近期为 UML 图赋予异构语义的趋势，我们旨在定义 UML AD 语义的代数表示。在这项工作中，我们基于机构理论定义了 UML 2.0 AD 的形式语义。对于作为一种图形语言的 UML AD 机制，尚未给出精确的形式语义。我们使用机构理论来定义预期的语义。因此，UML AD 机制将以其自身的自然语义来定义。
引用
@article{arxiv.1606.02311,
title = {A Formal Semantic for UML 2.0 Activity Diagram based on Institution Theory},
author = {Amine Achouri and Leila Jemni ben Ayed},
journal= {arXiv preprint arXiv:1606.02311},
year = {2016}
}
备注
6 pages, 2 figures, 2013