Towards an integration of syntactic constructs and structural features for formalised object-oriented methods

  • K. S. Cheung
  • K. O. Chow
  • T. Y. Cheung
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1251)


An integration of formal syntactic constructs and object-oriented (OO) structural features is essential to a formalised OO method. It requires the formal semantics to be structured according to OO conventions. It also requires the OO features to be completely and consistently interpreted by formal semantics. In this paper, a list of guidelines for achieving the integration is suggested. These guidelines are derived from a review of the existing formalised OO methods under two categories, OO style formal methods and formal style OO methods. The former possess a strong syntactic foundation but lack a complete coverage of OO features. The latter support all OO features but suffer from incomplete or inconsistent semantics. It is suggested that multiple schemas, on a common syntactic foundation with abstracted syntactic constructs that follow OO conventions, should be adopted.


Formal method Object-oriented method Software specification 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    D. deChampeaux et al, “Formai Techniques for Object-Oriented Software Development”, Proceedings of OOPSLA '91, pp. 166–170, ACM, 1991.Google Scholar
  2. [2]
    S. Stepney et al, “A Survey of Object Orientation in Z”, Software Engineering Journal, Vol. 7, No. 2, pp. 150–160, 1992.Google Scholar
  3. [3]
    S. Stepney et al (eds.), Object Orientation in Z, Springer-Verlag, 1992.Google Scholar
  4. [4]
    K. Lano & H. Haughton (eds.), Object-Oriented Specification Case Studies, Prentice Hall, 1993.Google Scholar
  5. [5]
    A. Ruiz Delgado et al, “A Review of Object-Oriented Approaches in Formal Methods”, Computer Journal, Vol. 38, No. 10, pp. 777–784, 1995.Google Scholar
  6. [6]
    T.H. Tse & L. Pong, An Examination of Requirements Specification Languages, Technical Report TR-89-09, Department of Computer Science, University of Hong Kong, 1989.Google Scholar
  7. [7]
    A. Davis, Software Requirements: Analysis and Specification, Prentice Hall, 1990.Google Scholar
  8. [8]
    V. Berzins et al, “Abstraction-based Software Development”, Communications of the ACM, Vol. 29, No. 5, pp. 402–415, 1986.Google Scholar
  9. [9]
    P.G. Neumann, “Flaws in Specifications and What to do about them”, Proceedings of the 5th International Workshop on Software Specification and Design, pp. xi–xv, IEEE, 1989.Google Scholar
  10. [10]
    D.A. Carrington et al, “Object-Z: An Object-Oriented Extension to Z”, in S. Vuong (ed.), Formal Description Techniques, Vol. 2, pp. 281–296, North Holland, 1990.Google Scholar
  11. [11]
    K. Lano, “Z++: An Object-Oriented Extension to Z”, Proceedings of the 5th Annual Z User Meeting, pp. 151–172, Springer-Verlag, 1991.Google Scholar
  12. [12]
    J.A. Hall, “Using Z as a Calculus for Object-Oriented System”, Proceedings of VDM '90(LNCS, Vol. 428), pp. 290–318, Springer-Verlag, 1990.Google Scholar
  13. [13]
    S.A. Shuman et al, “Object-Oriented Process Specification” in C. Rattray (ed.), Specification and Verification of Concurrent Systems, pp. 21–70, Springer-Verlag, 1990.Google Scholar
  14. [14]
    S.L. Meira, “Modular Object-Oriented Z Specifications”, Proceedings of the 5th Annual Z User Meeting, pp. 173–192, Springer-Verlag, 1991.Google Scholar
  15. [15]
    A.J. Alencar & J.A. Goguen, “OOZE: An Object-Oriented Z Environment”, Proceedings of ECOOP '91 (LNCS, Vol. 512), pp. 180–199, Springer-Verlag, 1991.Google Scholar
  16. [16]
    E. Durr, “VDM++: A Formal Specification Language for Object-Oriented Designs”, Proceedings of IEEE CompEuro'92, pp. 214–219, IEEE, 1992.Google Scholar
  17. [17]
    A. Laorakpong & M. Saeki, “Object-Oriented Formal Specification Development using VDM”, Proceedings of the International Symposium on Object Technologies for Advanced Software (LNCS, Vol. 742), pp. 529–543, Springer-Verlag, 1993.Google Scholar
  18. [18]
    E. Cusack et al, “An Object-Oriented Interpretation of LOTOS”, in S. Vuong (ed.), Formal Description Techniques, Vol. 2, pp. 211–226, North Holland, 1990.Google Scholar
  19. [19]
    S. Cook & J. Daniels, Designing Object Systems: Object-Oriented Modelling with Syntropy, Prentice Hall, 1994.Google Scholar
  20. [20]
    D. Coleman et al, Object-Oriented Development: The Fusion Method, Prentice Hall, 1994.Google Scholar
  21. [21]
    M. Dodani, “Semantically Rich Object-Oriented Software Engineering Methodologies”, Report on Object-Oriented Analysis and Design, Vol. 1, No. 1, pp. 17–21, 1994.Google Scholar
  22. [22]
    A Moreira & R. Clark, “Rigorous Object-Oriented Analysis”, Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (LNCS, Vol. 858), pp. 65–78, Springer-Verlag, 1994.Google Scholar
  23. [23]
    R.H. Bourdeau & B.H.C. Cheng, “A Formal Semantics for Object Model Diagrams”, IEEE Transactions on Software Engineering, Vol. 21, No. 10, pp. 799–832, 1995.Google Scholar
  24. [24]
    J.M. Spivey, The Z Notation: A Reference Manual, Prentice Hall, 1989.Google Scholar
  25. [25]
    C.B. Jones, Systematic Software Development Using VDM, Prentice Hall, 1986.Google Scholar
  26. [26]
    J. Rumbaugh et al, Object-Oriented Modelling and Design, Prentice Hall, 1991.Google Scholar
  27. [27]
    D. Harel, “Statecharts: A Visual Formalism for Complex Systems”, Science of Computer Programming, Vol. 8, pp. 231–274, 1987.Google Scholar
  28. [28]
    G. Booch, Object-Oriented Analysis and Design with Applications, Benjamin-Cummings, 1994.Google Scholar
  29. [29]
    P. Coad & E. Yourdon, Object-Oriented Analysis, Prentice Hall, 1991.Google Scholar
  30. [30]
    M. Broy, “Methodological Objectives for Formal Description Techniques”, in J. Quemada et al (eds.), Formal Description Techniques, Vol. 3, pp. 1–16, Northern Holland, 1991.Google Scholar
  31. [31]
    J.A. Goguen, “More Thoughts on Specification and Verification”, in N. Gehani & A. McGettrick (eds.), Software Specification Techniques, pp. 47–52, Addison-Wesley, 1985.Google Scholar
  32. [32]
    J.C.P. Woodcock, “Structuring Specification in Z”, Software Engineering Journal, Vol. 4, No. 1, pp. 51–66, 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • K. S. Cheung
    • 1
  • K. O. Chow
    • 1
  • T. Y. Cheung
    • 1
  1. 1.Department of Computer ScienceCity University of Hong KongKowloonHong Kong

Personalised recommendations