Abstract
We document the results of a small research project whose aim is to support the object-oriented development lifecycle with the use of a formal method. By means of case studies, we have produced a structural mapping from Object-Z to C++ which is intended to be an aid to creative programming. The mapping is justified in the context of an object model constructed for the purpose. The approach shows promise both in the context of the languages chosen and in the context of other languages and has generated considerable interest within our organisation.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
G-H. Bagherzadeh Rafsanjani, An Abstract Object Model for Application to Mapping from Object Z to CH-, BT Group Technology Development and Procurement, Internal Report, 1991.
D. Carrington, D. Duke, R. Duke, P. King, G Rose and G Smith, Object Z: An Object Oriented Extension to Z, in S. T. Vuong (ed.), Formal Description Techniques II, 281–297, North Holland 1990.
E. Cusack, Inheritance in Object-Oriented Z, in Pierre America (ed.), ECOOP ‘81, European Conference on Object-Oriented Programming, 167179, LNCS 512, Springer-Verlag 1991.
R. Duke, P. King, G. Rose, G. Smith, Technical Report No 91–1, The Object-Z Specification Language Version 1, Software Verification Research Centre, Department of Computing Science, The University of Queensland, May 1991.
J. Gallagher, Basic Concepts (Variations on a Theme), in G. Blair, J. Gallagher, D. Hutchinson and D. Shepherd (eds.), Object-Oriented Languages, Systems and Applications, 42–74, Pitman 1991.
D. Lea, User’s Guide to GNU C++ Library,Free Software Foundation Incremental, 1991.
B. Meyer, Object-Oriented Software Construction, Prentice Hall, 1988.
OSI NM Forum 006 Library Supplement: DIS GDMO Translation Issue 1 Draft 4, June 1990.
S. Rudkin, Modelling information objects in Z, in J. de Meer, V. Heymer, R. Roth (eds.), Open Distributed Processing, 267–280, North Holland, 1992.
M. Sakkinen, A Critique of the Inheritance Principles of CH-, Computing Systems, Vol. 5 No. 1, 1992.
A. Snyder, An Abstract Object Model for Object-Oriented Systems, Hewlett Packard Laboratories Technical Report, HPL-90–22, 1990.
J. M. Spivey, The Z Notation: A Reference Manual, 2nd edition, Prentice-Hall, 1992.
B. Stroustrup, The C++ Programming Language, Addison-Wesley, Reading, MA, 1986.
M. Tiedemann, User’s Guide to Gnu C++, Free Software Foundation Incremental, 1991.
Y. Wand, A Proposal for a Formal Model of Objects, in (W. Kim, F. H. Lochovsky (eds.), Object-Oriented Concepts, Databases and Applications, 537–560, ACM Press, 1989.
A. Wills, Capsules and Types in Fresco: Program Verification in Smalltalk, in Pierre America (ed.), ECOOP ‘81, European Conference on Object-Oriented Programming, 59–76, LNCS 512, Springer-Verlag 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rafsanjani, GH.B., Colwill, S.J. (1993). From Object-Z to C++: A Structural Mapping. In: Bowen, J.P., Nicholls, J.E. (eds) Z User Workshop, London 1992. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3556-2_12
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3556-2_12
Publisher Name: Springer, London
Print ISBN: 978-3-540-19818-5
Online ISBN: 978-1-4471-3556-2
eBook Packages: Springer Book Archive