Formal Analysis of UML 2.0 Activities Using Graph Transformation Systems

Vahid Rafe, Adel Torkaman Rahmani, Reza Rafeh. Formal Analysis of UML 2.0 Activities Using Graph Transformation Systems. International Journal of Software Engineering and Knowledge Engineering, 20(5):679-694, 2010. [doi]

Abstract

Abstract is missing.