AutoPA: Automatic Prototyping from Requirements

  • Xiaoshan Li
  • Zhiming Liu
  • Martin Schäf
  • Ling Yin
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6415)


We present AutoPA, a tool to analyze and validate the consistency and functional correctness of use case designs. The tool directly generates an executable prototype from the requirements. The requirements are captured from different views of the application. Each view is constructed as UML diagram annotated with OCL specifications. Based on a formal semantics, the tool is implemented so that both syntactic and semantic consistency among the provided views can be guaranteed. Afterwards the requirements are analyzed and translated into an executable prototype, allowing the user to interactively validate the functional properties of the requirements model. We illustrate the benefits of the tool using a real-world sized example.


Formal Semantics Requirements Models Prototyping Validation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Unified modeling language version 2.0 (2005),
  2. 2.
    Use. a uml-based specification environment (2008),
  3. 3.
    Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modelling Language User Guide. Addison-Wesley, Reading (1999)Google Scholar
  4. 4.
    Chen, Z., Liu, Z., Ravn, A.P., Stolz, V., Zhan, N.: Refinement and verification in component-based model-driven design. Sci. Comput. Program. 74(4), 168–196 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Gogolla, M., Büttner, F., Richters, M.: Use: A uml-based specification environment for validating uml and ocl. Sci. Comput. Program. 69(1-3), 27–34 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Harel, D., Marelly, R.: Come, Let’s Play, Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)Google Scholar
  7. 7.
    Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison-Wesley, Reading (1999)Google Scholar
  8. 8.
    Ke, W., Liu, Z., Wang, S., Zhao, L.: A graph-based operational semantics of oo programs. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol. 5885, pp. 347–366. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  9. 9.
    Kruchten, P.: The Rational Unified Process – An Introduction, 2nd edn. Addison-Wesley, Reading (2000)Google Scholar
  10. 10.
    Larman, C.: Applying UML and Patterns. Prentice-Hall International, Englewood Cliffs (2001)Google Scholar
  11. 11.
    Li, X., Liu, Z., He, J.: Formal and use-case driven requirement analysis in uml. In: COMPSAC, pp. 215–224. IEEE Computer Society, Los Alamitos (2001)Google Scholar
  12. 12.
    Liu, Z., He, J., Li, X., Chen, Y.: A relational model for formal object-oriented requirement analysis in uml. In: Dong, J.S., Woodcock, J. (eds.) ICFEM 2003. LNCS, vol. 2885, pp. 641–664. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  13. 13.
    Meyer, B.: Object-oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)zbMATHGoogle Scholar
  14. 14.
    Mitcheel, R., McKim, J.: Design by Conctract by Example. Addison-Wesley, Reading (2002)Google Scholar
  15. 15.
    Plosch, R.: Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software. Springer, Heidelberg (2004)CrossRefzbMATHGoogle Scholar
  16. 16.
    Warmer, J.B., Kleppe, A.G.: The object constraint language: getting your models ready for MDA. Addison-Wesley, Reading (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Xiaoshan Li
    • 1
  • Zhiming Liu
    • 2
  • Martin Schäf
    • 2
  • Ling Yin
    • 2
    • 3
  1. 1.Faculty of Science and TechnologyUniversity of MacauChina
  2. 2.International Institute for Software TechnologyUnited Nations UniversityMacao
  3. 3.Institute of SoftwareEast China Normal UniversityChina

Personalised recommendations