Tool Support for Visualizing CSP in UML


Ng, Muan Yong and Butler, Michael, (2002) 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. , pp. 287-298.

Download

[img] Postscript Visualizing_CSP_in_UML.ps - Other
Download (1MB)

Description/Abstract

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.

Item Type: Conference or Workshop Item (Other)
Additional Information: Event Dates: October 21-25, 2002
Venue - Dates: International Conference on Formal Engineering Methods(ICFEM), China, 2002-10-21 - 2002-10-25
Keywords: state diagram, class diagram, CSP, UML
Organisations: Electronic & Software Systems
ePrint ID: 256908
Date :
Date Event
2002Published
Date Deposited: 22 Nov 2002
Last Modified: 23 Feb 2017 14:48
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/256908

Actions (login required)

View Item View Item