Xing Tan, Michael Gruninger. Towards Axiomatizing the Semantics of UML Activity Diagrams: A Situation-Calculus Perspective. In Jimmy Xiangji Huang, Irwin King, Vijay V. Raghavan, Stefan Rueger, editors, 2010 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2010, Toronto, Canada, August 31 - September 3, 2010, Main Conference Proceedings. pages 324-327, IEEE, 2010. [doi]
@inproceedings{TanG10-6,
title = {Towards Axiomatizing the Semantics of UML Activity Diagrams: A Situation-Calculus Perspective},
author = {Xing Tan and Michael Gruninger},
year = {2010},
doi = {10.1109/WI-IAT.2010.135},
url = {http://dx.doi.org/10.1109/WI-IAT.2010.135},
tags = {semantics, UML},
researchr = {https://researchr.org/publication/TanG10-6},
cites = {0},
citedby = {0},
pages = {324-327},
booktitle = {2010 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2010, Toronto, Canada, August 31 - September 3, 2010, Main Conference Proceedings},
editor = {Jimmy Xiangji Huang and Irwin King and Vijay V. Raghavan and Stefan Rueger},
publisher = {IEEE},
isbn = {978-0-7695-4191-4},
}