From UML Activity Diagrams to CSP Expressions-A Graph Transformation Approach using Atom3 Tool
The Unified Modeling Language (UML) has become a widely accepted standard in the object oriented software development industry. However, the UML is a semi-formal language which lacks precisely defined constructs. On the other hand, CSP language is a formal specification language. So, UML and CSP have complementary features: UML can be used for modeling while CSP can be used for analysis. In this paper we propose an approach and a tool to transform UML activity diagrams to CSP. Our approach is based on graph transformation and uses ATOM3 tool. The purpose of this transformation is to provide some verification of properties ranging from simple deadlock verification to more specific properties.
Keywords: UML activity diagram, CSP, Graph transformation, ATOM3
Download Full-Text
