loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
First International Conference on Software Engineering and Formal Methods (SEFM'03)
Towards Formalizing UML State Diagrams in CSP
Brisbane, Australia
September 22-September 27
ISBN: 0-7695-1949-0
ASCII Text
x 
 
Muan Yong Ng, Michael Butler, "Towards Formalizing UML State Diagrams in CSP," Software Engineering and Formal Methods, IEEE International Conference on, pp. 138, First International Conference on Software Engineering and Formal Methods (SEFM'03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/SEFM.2003.1236215,
author = {Muan Yong Ng and Michael Butler},
title = {Towards Formalizing UML State Diagrams in CSP},
journal ={Software Engineering and Formal Methods, IEEE International Conference on},
volume = {0},
year = {2003},
isbn = {0-7695-1949-0},
pages = {138},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2003.1236215},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering and Formal Methods, IEEE International Conference on
TI - Towards Formalizing UML State Diagrams in CSP
SN - 0-7695-1949-0
SP
EP
A1 - Muan Yong Ng,
A1 - Michael Butler,
PY - 2003
KW - null
VL - 0
JA - Software Engineering and Formal Methods, IEEE International Conference on
ER -
 
Muan Yong Ng, University of Southampton
Michael Butler, University of Southampton
The UML (Uni.ed Modelling Language) state diagram notation [1] 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.
Citation:
Muan Yong Ng, Michael Butler, "Towards Formalizing UML State Diagrams in CSP," sefm, pp.138, First International Conference on Software Engineering and Formal Methods (SEFM'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.