POST: A Case Study for an Incremental Development in rCOS

  • Quan Long
  • Zongyan Qiu
  • Zhiming Liu
  • Lingshuang Shao
  • He Jifeng
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3722)


We have recently developed an object-oriented refinement calculus called rCOS to formalize the basic object-orient design principles, patterns and refactoring as refinement laws. The aim is of rCOS is to provide a formal support to the use-cased driven, incremental and iterative Rational Unified Process (RUP). In this paper, we apply rCOS to a step-wised development of a Point of Sale Terminal (POST) system, from a requirement model to a design model, and finally, to the implementation in Visual C#.


Refinement Software design Object-orientation Refactoring UML 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Carrington, D., et al.: Object-Z: an Object-Oriented Extension to Z. North-Holland, Amsterdam (1989)Google Scholar
  2. 2.
    Coleman, D., et al.: Object-Oriented Development: the FUSION Method. Prentice-Hall, Englewood Cliffs (1994)Google Scholar
  3. 3.
    Cook, S., Daniels, J.: Designing Object Systems: Object-Oriented Modelling with Syntropy. Prentice-Hall, Englewood Cliffs (1994)zbMATHGoogle Scholar
  4. 4.
    Davis, J., Woodcock, J.P.: Using Z: Specification, Refinement and Proof. Prentice Hall, Englewood Cliffs (1996)Google Scholar
  5. 5.
    Dijkstra, E.W., Scholten, C.S.: Predicate Calculus and Program semantics. Springer, Heidelberg (1989)Google Scholar
  6. 6.
    Dürr, E., Dusink, E.M.: The role of VDM  + +  in the development of a real-time tracking and tracing system. In: Larsen, P.G., Woodcock, J.C.P. (eds.) FME 1993. LNCS, vol. 670. Springer, Heidelberg (1993)CrossRefGoogle Scholar
  7. 7.
    Fowler, M.: Refectoring, Improving the Design of Existing Code. Addison-Wesley, Reading (2000)Google Scholar
  8. 8.
    He, J., Liu, Z., Li, X.: rCOS: A refinement calculus for object systems. Technical Report 322, UNU/IIST, P.O. Box 3058, Macao SAR China (2005),
  9. 9.
    He, J., Liu, Z., Li, X., Qin, S.: A relational model for object-oriented designs. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol. 3302, pp. 415–436. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  10. 10.
    Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice-Hall, Englewood Cliffs (1998)Google Scholar
  11. 11.
    Jones, C.B.: Software Development: A Rigorous Approach. Prentice Hall International, Englewood Cliffs (1980)zbMATHGoogle Scholar
  12. 12.
    Larman, C.: Applying UML and Patterns, An Introduction to Object-Oriented Analysis and Design and the Unified Process. Prentice-Hall, Englewood Cliffs (2001)Google Scholar
  13. 13.
    Li, X., Liu, Z., He, J.: Formal and use-case driven requirement analysis in UML. In: COMPSAC 2001, Illinois, USA, October 2001, pp. 215–224. IEEE Computer Society, Los Alamitos (2001)Google Scholar
  14. 14.
    Liu, Z.: Object-oriented software development with UML. Technical Report 259, UNU/IIST, P.O. Box 3058, Macao SAR China (2002),
  15. 15.
    Liu, Z., He, J., Li, X., Chen, Y.: A relational model for formal requirements analysis in UML. In: Dong, J.S., Woodcock, J. (eds.) ICFEM 2003. LNCS, vol. 2885, pp. 641–664. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  16. 16.
    Long, Q., He, J., Liu, Z.: Refactoring and pattern directed refactoring: A formal perspective. Technical Report 318, UNU/IIST, P.O. Box 3058, Macao SAR China (2005),

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Quan Long
    • 1
  • Zongyan Qiu
    • 1
  • Zhiming Liu
    • 2
  • Lingshuang Shao
    • 3
  • He Jifeng
    • 2
  1. 1.LMAM and Department of Informatics, School of Mathematical SciencesPeking UniversityBeijingChina
  2. 2.International Institute for Software TechnologyUnited Nations UniversityMacaoChina
  3. 3.Software Engineering InstitutePeking UniversityBeijingChina

Personalised recommendations