Abstract
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#.
Supported by NNSFC(No. 60173003) and NKBRPC(2004CB318000).
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
Carrington, D., et al.: Object-Z: an Object-Oriented Extension to Z. North-Holland, Amsterdam (1989)
Coleman, D., et al.: Object-Oriented Development: the FUSION Method. Prentice-Hall, Englewood Cliffs (1994)
Cook, S., Daniels, J.: Designing Object Systems: Object-Oriented Modelling with Syntropy. Prentice-Hall, Englewood Cliffs (1994)
Davis, J., Woodcock, J.P.: Using Z: Specification, Refinement and Proof. Prentice Hall, Englewood Cliffs (1996)
Dijkstra, E.W., Scholten, C.S.: Predicate Calculus and Program semantics. Springer, Heidelberg (1989)
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)
Fowler, M.: Refectoring, Improving the Design of Existing Code. Addison-Wesley, Reading (2000)
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), http://www.iist.unu.edu/newrh/III/1/page.html
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)
Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice-Hall, Englewood Cliffs (1998)
Jones, C.B.: Software Development: A Rigorous Approach. Prentice Hall International, Englewood Cliffs (1980)
Larman, C.: Applying UML and Patterns, An Introduction to Object-Oriented Analysis and Design and the Unified Process. 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, October 2001, pp. 215–224. IEEE Computer Society, Los Alamitos (2001)
Liu, Z.: Object-oriented software development with UML. Technical Report 259, UNU/IIST, P.O. Box 3058, Macao SAR China (2002), http://www.iist.unu.edu/newrh/III/1/page.html
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)
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), http://www.iist.unu.edu/newrh/III/1/page.html
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Long, Q., Qiu, Z., Liu, Z., Shao, L., Jifeng, H. (2005). POST: A Case Study for an Incremental Development in rCOS . In: Van Hung, D., Wirsing, M. (eds) Theoretical Aspects of Computing – ICTAC 2005. ICTAC 2005. Lecture Notes in Computer Science, vol 3722. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11560647_32
Download citation
DOI: https://doi.org/10.1007/11560647_32
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29107-7
Online ISBN: 978-3-540-32072-2
eBook Packages: Computer ScienceComputer Science (R0)