Towards Axiomatizing the Semantics of UML Activity Diagrams: A Situation-Calculus Perspective

2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology Pub Date : 2010-08-31 DOI:10.1109/WI-IAT.2010.135

Xing Tan, M. Grüninger

引用次数: 2

Abstract

In this paper, the UML activity diagrams are first defined graph-theoretically, with an adoption of the concepts of Petri nets tokens. The semantics of activity diagrams is further axiomatized as a logical action theory called SCAD. Example applications of SCAD are also given.

查看原文本刊更多论文

走向UML活动图语义的公理化:一个情景演算的视角

在本文中，首先定义了UML活动图，并采用了Petri网令牌的概念。活动图的语义被进一步公理化为称为SCAD的逻辑动作理论。最后给出了SCAD的应用实例。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology

自引率

0.00%

发文量