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

Authors:
Xing Tan;Michael Gruninger
Affiliations:
-;-
Venue:
WI-IAT '10 Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Year:
2010

Citing 0
Cited 1

Go beyond the SCOPE: a temporal situation calculus-based software tool for time petri nets

IEA/AIE'12 Proceedings of the 25th international conference on Industrial Engineering and Other Applications of Applied Intelligent Systems: advanced research in applied artificial intelligence

Quantified Score

Hi-index	0.00

Visualization

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.