Abstract
We present a method for automatically generating a prototype from a UML model of system requirements that consists of a use-case model and a conceptual class model. The method is based on a formalization of UML in which a use case is formally specified by a pair of pre and post conditions in the context of a conceptual class model. To generate a prototype, we translate the pre and post conditions of a use case into a sequence of executable atomic actions. These actions are to create or delete an object, update an object, establish or remove a link between two objects with respect to an association. Such a prototype can be used to validate requirements and check system invariants. An automated prototype generator is developed in Java, and a simple library system is used as an example to illustrate the feasibility of the method.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cockburn, A.: Writing Effective Use Cases. Pearson Education, London (2001)
Collins, D.: Designing Object-Oriented User Interfaces. Benjamin/Cummings (1995)
Harel, D., Marelly, R.: Come, Let’s Play, Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)
Hoare, C.A.R., He, J.: Unifying theories of programming. Prentice-Hall, Englewood Cliffs (1998)
Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison-Wesley, Reading (1999)
Larman, C.: Applying UML and Patterns. Prentice-Hall International, Englewood Cliffs (2001)
Lee, R.C.: UML and C++: a practical guide to object-oriented development, 2nd. Prentice-Hall, Englewood Cliffs (2001)
Li, X., Liu, Z., He, J.: Formal and use-case driven requirement analysis in UML. In: COMPSAC 2001, Illinois, USA, pp. 215–224. IEEE Computer Society Press, Los Alamitos (2001)
Liu, Z.: Object-oriented software development in UML. Technical Report UNU/IIST Report No. 228, UNU/IIST, P.O. Box 3058, Macau, SAR, P.R. China (March 2001)
Liu, Z., Li, X., He, J.: Using transition systems to unify UML models. In: George, C.W., Miao, H. (eds.) ICFEM 2002. LNCS, vol. 2495, pp. 535–547. Springer, Heidelberg (2002)
Meyer, B.: Object-oriented Software Construction, 2nd edn. Prentice Hall PTR, Englewood Cliffs (1997)
Mitchell, R., McKim, J.: Design by Conctract by Example. Addison-Wesley, Reading (2002)
Plosch, R.: Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software. Springer, Heidelberg (2004)
Smith, M.F.: Software Prototyping: Adoption, Pratice and Management. McGraw-Hill, New York (1991)
Sommerville, I.: Software Engineering, 6th edn. Addison-Wesley, Reading (2000)
Warmer, J., Kleppe, A.: The Object Constraint Language: precise modeling with UML. Addison-Wesley, Reading (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Li, X., Liu, Z., He, J., Long, Q. (2004). Generating a Prototype from a UML Model of System Requirements. In: Ghosh, R.K., Mohanty, H. (eds) Distributed Computing and Internet Technology. ICDCIT 2004. Lecture Notes in Computer Science, vol 3347. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30555-2_30
Download citation
DOI: https://doi.org/10.1007/978-3-540-30555-2_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24075-4
Online ISBN: 978-3-540-30555-2
eBook Packages: Computer ScienceComputer Science (R0)