Title :
Towards Axiomatizing the Semantics of UML Activity Diagrams: A Situation-Calculus Perspective
Author :
Tan, Xing ; Gruninger, Michael
Author_Institution :
Semantic Technol. Lab., Univ. of Toronto, Toronto, ON, Canada
fDate :
Aug. 31 2010-Sept. 3 2010
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.
Keywords :
Petri nets; Unified Modeling Language; process algebra; Petri net tokens; SCAD; UML activity diagrams; graph-theory; logical action theory; semantic axiomatization; situation-calculus perspective; Situation Calculus Ontology; UML Activity Diagrams;
Conference_Titel :
Web Intelligence and Intelligent Agent Technology (WI-IAT), 2010 IEEE/WIC/ACM International Conference on
Conference_Location :
Toronto, ON
Print_ISBN :
978-1-4244-8482-9
Electronic_ISBN :
978-0-7695-4191-4
DOI :
10.1109/WI-IAT.2010.135
