From UML Activity Diagrams to CSP Expressions: A Graph Transformation Approach using Atom 3 Tool
Raida Elmansouri, Houda Hamrouche, Allaoua Chaoui · 2011
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 ATOM 3 tool. The purpose of this transformation is to provide some verification of properties ranging from simple deadlock verification to more specific properties.