Ng, Muan Yong and Butler, Michael,
Tool Support for Visualizing CSP in UML
George, Chris and Miao, HuaiKou (eds.)
At International Conference on Formal Engineering Methods(ICFEM), China.
21 - 25 Oct 2002.
In this paper, we propose an approach to translating UML to CSP that allows one to utilize both UML and CSP in a system design. To do so, we divide the visualization task based on three aspects of CSP: (i) the dynamic behavior, (ii) the static architecture, and (iii) the refinement assertions. In doing so we are able to visualize CSP via UML in a hierarchical manner which enhances understanding in the design process. In a way, we also provide a formal verification for the UML diagrams using CSP, since there are model checkers like FDR available. We have adopted the use of state diagram and class diagram for our work. In addition, we have outlined a prototyped tool that translates these diagrams to CSP that could be model-checked in FDR.
Conference or Workshop Item
||Event Dates: October 21-25, 2002
|Venue - Dates:
||International Conference on Formal Engineering Methods(ICFEM), China, 2002-10-21 - 2002-10-25
||state diagram, class diagram, CSP, UML
||Electronic & Software Systems
||22 Nov 2002
||17 Apr 2017 22:58
|Further Information:||Google Scholar|
Actions (login required)