A method for developing UML state machines

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A method for developing UML state machines

Full text

Pdf (419 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 2009 ACM symposium on Applied Computing table of contents

Honolulu, Hawaii

SESSION: Requirement engineering track table of contents

Pages 382-388

Year of Publication: 2009

ISBN:978-1-60558-166-8

Authors

Christine Choppy	Université Paris XIII, France
Gianna Reggio	Università di Genova, Italy

Sponsor

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 15, Downloads (12 Months): 48, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1529282.1529365 What is a DOI?

ABSTRACT

While UML is one of the most used notation for describing a system to build, there are many issues to tackle to develop an appropriate UML model. In this work, we concentrate on the development of state machines describing the behaviour of a class. We show how relevant information can be searched for in the textual description and organized to obtain a behaviour description from which the state machine can be derived. Our method is quite systematic and should help to prevent common mistakes in building state machines.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	E. Astesiano and G. Reggio. Tight Structuring for Precise UML-based Requirement Specifications. In M. Wirsing, A. Knapp, and S. Balsamo, editors, Radical Innovations of Software and Systems Engineering in the Future, Proc. 9th Monterey Software Engineering Workshop, Venice, Italy, Sep. 2002., number 2941 in LNCS. Springer Verlag, Berlin, 2004.
	2	Christine Choppy , Laure Petrucci , Gianna Reggio, A Modelling Approach with Coloured Petri Nets, Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies, p.73-86, June 16-20, 2008, Venice, Italy [doi>10.1007/978-3-540-68624-8_6]
	3	C. Choppy and G. Reggio. A formally grounded software specification method. Journal of Logic and Algebraic Programming, 67(1--2): 52--86, 2006.
	4	David Harel , Hillel Kugler, Synthesizing State-Based Object Systems from LSC Specifications, Revised Papers from the 5th International Conference on Implementation and Application of Automata, p.1-33, July 24-25, 2000
	5	C. Heitmeyer, M. Archer, R. Bharadwaj, and R. Jeffords. Tools for constructing requirements specifications: The SCR toolset at the age of ten? International Journal of Computer Systems Science and Engineering, 20(1): 19--35, 2005.
	6	M. Herrmannsdoerfer, S. Konrad, and B. Berenbach. Tabular notations for state machine-based specifications. Cross Talk, The Joiurnal of defense Software Engineering, March 2008.
	7	OMG. UML 2.0 OCL Specification, 2003.
	8	Pascal Poizat , Christine Choppy , Jean-Claude Royer, Concurrency and Data Types: A Specification Method: An Example with LOTOS, Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques, p.277-292, April 02-04, 1998
	9	UML Revision Task Force. OMG Unified Modeling Language (OMG UML), Superstructure, V2.1.2, 2007.