Using Jaza to Animate RoZ Specifications of UML Class Diagrams

	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 Y. Ledru

30th Annual IEEE/NASA Software Engineering Workshop SEW-30 (SEW'06)

Columbia, Maryland

April 24-April 28

ISBN: 0-7695-2624-1

	ASCII Text	x
	Y. Ledru, "Using Jaza to Animate RoZ Specifications of UML Class Diagrams," Software Engineering Workshop, Annual IEEE/NASA Goddard, pp. 253-262, 30th Annual IEEE/NASA Software Engineering Workshop SEW-30 (SEW'06), 2006.

	BibTex	x
	@article{ 10.1109/SEW.2006.39, author = {Y. Ledru}, title = {Using Jaza to Animate RoZ Specifications of UML Class Diagrams}, journal ={Software Engineering Workshop, Annual IEEE/NASA Goddard}, volume = {0}, year = {2006}, issn = {1550-6215}, pages = {253-262}, doi = {http://doi.ieeecomputersociety.org/10.1109/SEW.2006.39}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Software Engineering Workshop, Annual IEEE/NASA Goddard TI - Using Jaza to Animate RoZ Specifications of UML Class Diagrams SN - 1550-6215 SP253 EP262 A1 - Y. Ledru, PY - 2006 KW - null VL - 0 JA - Software Engineering Workshop, Annual IEEE/NASA Goddard ER -

Y. Ledru, Universite Joseph Fourier, IMAG, France

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEW.2006.39

One of the goals of the integration of formal and graphical methods is to reuse tool support associated with formal methods. This paper reports on a combination of the Jaza Z animator with the RoZ tool. RoZ produces a Z specification from an annotated UML class diagram. It also generates the specification of basic operations associated to the diagram. The paper recalls the principles of the RoZ tool, gives a typical animation session, and discusses how RoZ and class diagrams must be adapted to support animation.

Citation:

Y. Ledru, "Using Jaza to Animate RoZ Specifications of UML Class Diagrams," sew, pp.253-262, 30th Annual IEEE/NASA Software Engineering Workshop SEW-30 (SEW'06), 2006

Peer Review Notice | Give Us Feedback

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