Towards Formalizing UML State Diagrams in CSP

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Muan Yong Ng Articles by Michael Butler

First International Conference on Software Engineering and Formal Methods (SEFM'03)

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, 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, 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, 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, International Conference on ER -

Muan Yong Ng, University of Southampton

Michael Butler, University of Southampton

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2003.1236215

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.