Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
D. deChampeaux et al, “Formai Techniques for Object-Oriented Software Development”, Proceedings of OOPSLA '91, pp. 166–170, ACM, 1991.
S. Stepney et al, “A Survey of Object Orientation in Z”, Software Engineering Journal, Vol. 7, No. 2, pp. 150–160, 1992.
S. Stepney et al (eds.), Object Orientation in Z, Springer-Verlag, 1992.
K. Lano & H. Haughton (eds.), Object-Oriented Specification Case Studies, Prentice Hall, 1993.
A. Ruiz Delgado et al, “A Review of Object-Oriented Approaches in Formal Methods”, Computer Journal, Vol. 38, No. 10, pp. 777–784, 1995.
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.
A. Davis, Software Requirements: Analysis and Specification, Prentice Hall, 1990.
V. Berzins et al, “Abstraction-based Software Development”, Communications of the ACM, Vol. 29, No. 5, pp. 402–415, 1986.
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.
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.
K. Lano, “Z++: An Object-Oriented Extension to Z”, Proceedings of the 5th Annual Z User Meeting, pp. 151–172, Springer-Verlag, 1991.
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.
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.
S.L. Meira, “Modular Object-Oriented Z Specifications”, Proceedings of the 5th Annual Z User Meeting, pp. 173–192, Springer-Verlag, 1991.
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.
E. Durr, “VDM++: A Formal Specification Language for Object-Oriented Designs”, Proceedings of IEEE CompEuro'92, pp. 214–219, IEEE, 1992.
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.
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.
S. Cook & J. Daniels, Designing Object Systems: Object-Oriented Modelling with Syntropy, Prentice Hall, 1994.
D. Coleman et al, Object-Oriented Development: The Fusion Method, Prentice Hall, 1994.
M. Dodani, “Semantically Rich Object-Oriented Software Engineering Methodologies”, Report on Object-Oriented Analysis and Design, Vol. 1, No. 1, pp. 17–21, 1994.
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.
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.
J.M. Spivey, The Z Notation: A Reference Manual, Prentice Hall, 1989.
C.B. Jones, Systematic Software Development Using VDM, Prentice Hall, 1986.
J. Rumbaugh et al, Object-Oriented Modelling and Design, Prentice Hall, 1991.
D. Harel, “Statecharts: A Visual Formalism for Complex Systems”, Science of Computer Programming, Vol. 8, pp. 231–274, 1987.
G. Booch, Object-Oriented Analysis and Design with Applications, Benjamin-Cummings, 1994.
P. Coad & E. Yourdon, Object-Oriented Analysis, Prentice Hall, 1991.
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.
J.A. Goguen, “More Thoughts on Specification and Verification”, in N. Gehani & A. McGettrick (eds.), Software Specification Techniques, pp. 47–52, Addison-Wesley, 1985.
J.C.P. Woodcock, “Structuring Specification in Z”, Software Engineering Journal, Vol. 4, No. 1, pp. 51–66, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cheung, K.S., Chow, K.O., Cheung, T.Y. (1997). Towards an integration of syntactic constructs and structural features for formalised object-oriented methods. In: Hardy, K., Briggs, J. (eds) Reliable Software Technologies — Ada-Europe '97. Ada-Europe 1997. Lecture Notes in Computer Science, vol 1251. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63114-3_16
Download citation
DOI: https://doi.org/10.1007/3-540-63114-3_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63114-9
Online ISBN: 978-3-540-69150-1
eBook Packages: Springer Book Archive