Tool Support for Visualizing CSP in UML
Ng, Muan Yong and Butler, Michael (2002) Tool Support for Visualizing CSP in UML. International Conference on Formal Engineering Methods(ICFEM), Shanghai, China, 21 - 25 Oct 2002. Springer Verlag, 287-298.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_postscript.png) |
Postscript
Download (1780Kb) |
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 (UNSPECIFIED) |
|---|---|
| Additional Information: | Event Dates: October 21-25, 2002 |
| Keywords: | state diagram, class diagram, CSP, UML |
| Divisions: | Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 256908 |
| Date Deposited: | 22 Nov 2002 |
| Last Modified: | 26 Apr 2013 02:45 |
| Contributors: | Ng, Muan Yong (Author) Butler, Michael (Author) George, Chris (Editor) Miao, HuaiKou (Editor) |
| Date: | 2002 |
| Additional Information: | Event Dates: October 21-25, 2002 |
| Status: | Published |
| Publisher: | Springer Verlag |
| Further Information: | Google Scholar |
| ISI Citation Count: | 10 |
| URI: | http://eprints.soton.ac.uk/id/eprint/256908 |
Actions (login required)
 |
View Item |
