Towards formalizing UML State Diagrams in CSP
Ng, Muan Yong and Butler, Michael (2003) Towards formalizing UML State Diagrams in CSP. 1st IEEE International Conference on Software Engineering and Formal Methods, Brisbane, Australia, 25 - 26 Sep 2003. IEEE Computer Society, 138-147.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_postscript.png) |
Postscript
Download (1445Kb) |
Description/Abstract
The UML (Unified Modelling Language) state diagram notation is a graphical language which comprises an extensive set of constructs with good structural semantics but lack of a formal behavioural semantics. With this regard, we have used the Hoare's CSP (Communicating and Sequential Processes) to formalize the behaviour of UML SD. The fact that CSP is supported by model-checkers such as FDR enables a system design using a state diagram to be formally checked during design stage. This paper presents the formalization which would allow us to reason about the behaviour of a UML SD in CSP.
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Additional Information: | Event Dates: 25-26 September 2003 |
| Keywords: | CSP, UML, State Diagram |
| Divisions: | Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 258324 |
| Date Deposited: | 10 Oct 2003 |
| Last Modified: | 26 Apr 2013 02:56 |
| Contributors: | Ng, Muan Yong (Author) Butler, Michael (Author) Cerone, Antonio (Editor) Lindsay, Peter (Editor) |
| Date: | 2003 |
| Additional Information: | Event Dates: 25-26 September 2003 |
| Status: | Published |
| Publisher: | IEEE Computer Society |
| Further Information: | Google Scholar |
| ISI Citation Count: | 3 |
| URI: | http://eprints.soton.ac.uk/id/eprint/258324 |
Actions (login required)
 |
View Item |
