Abstract
Facilities for defining generic object types, generic type categories, generic functions and generic procedures in an object-oriented ASM are described in the paper. These facilities permit one to specify algorithms over complex data structures abstracting both from the type of the structure components and the structure itself. The use of the facilities is demonstrated by the specifications of some important parts of Standard Template Library for C++.
This research is supported in part by Russian Foundation for Basic Research under Grant 98-01-00682.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Y. Gurevich. Evolving Algebras 1993: Lipary Guide. In: Börger, E., ed., Specification and Validation Methods, Oxford University Press, 1995, pp. 9–36.
Y. Gurevich. May 1997 Draft of the ASM Guide. University of Michigan EECS Departmental Technical Report CSE-TR-336-97 (available electronically from http://www.eecs.umich.edu/gasm/).
A.V. Zamulin. Object-Oriented Abstract State Machines. Proc. ASM workshop, Magderburg, Germany, 21-22 September, 1998, pp. 1–21 (available electronically from http://www.eecs.umich.edu/gasm/).
D.R. Musser and A. Saini. STL Tutorial and Reference Guide. Addison-Wesley, 1996.
Broy, M., Facchi, C., Grosu, R., ea. The Requirement and Design Specification Lan-guage Spectrum, An Informal Introduction, Version 1.0. Technische Universitaet Muenchen, Institut fuer Informatik, April 1993.
A.V. Zamulin, The Database Specification Language RUSLAN: Main Features. East-West Database Workshop (proc. Second International East-West Database Workshop, Klagenfurt, Austria, September 25-28, 1994), Springer (Workshops in Computing), 1994, 315–327.
P.D. Mosses. CoFI: The Common framework Initiative for Algebraic Specification and Development. In: M. Bidoit and M. Dauchet, eds., TAPSOFT’97: Theory and Practice of Software Development, LNCS, vol. 1214, pp. 115–137.
P. Wadler and S. Blott. How to make ad-hoc polymorphism less ad-hoc. Conf. Record of the 16th ACM Annual Symp. on Principles of Progr. Lang., Austin, Texas, January 1989.
Nakajima, R., Honda, M., and Nakahara, H. Hierarchical Program Specification: a Many-sorted Logical Approach. Acta Informatica 14, pp. 135–155 (1980).
F. Parisi-Presicce and A. Pierantonio. Dynamic behavior of Object Systems. In: Recent trends in Data Type Specification. LNCS, vol. 906, 1995, pp. 406–419.
J.A. Goguen and R. Diaconescu. Towards an Algebraic Semantics for the Object Paradigm. Recent Trends in Data Type Specification, LNCS, 1994, vol. 785, pp. 1–29.
H.-D. Ehrig and A. Sernadas. Local Specification of Distributed Families of Sequential Objects. In: Recent Trends in Data Type Specifications. LNCS, vol. 906, 1994, pp. 219–235.
F. Parisi-Presicce and A. Pierantonio. An Algebraic Theory of Class Specification. ACM Transactions on Software Engineering and Methodology, April 1994, vol. 3, No. 2, pp. 166–169.
C. Cristea. Coalgebra Semantics for Hidden Algebra: Parameterised objects and Inheritance. in: Recent Trends in Algebraic development Techniques. LNCS, vol. 1374, 1997, pp. 174–189.
C. B. Jones. Systematic Software Development using VDM. Prentice Hall, 1990.
J. M. Spivey. understanding Z. A specification language and its formal semantics. Cambridge University Press, 1988.
E.H. D,rr and J. van Katwijk. A Formal Specification Language for Object Oriented Designs. In: Computer Systems and Engineering (Proceedings of CompEuro’92). IEEE Compute Society Press, 1992, pp. 214–219.
R. Duke, P. King, G.A. Rose, and G. Smith. The Object-Z specification language. In: T. Korson, V. Vaishnavi, and B. Meyer, eds., Technology of Object-Oriented Languages and Systems: TOOLS 5, Prentice hall, 1991, pp. 465–483.
K. Lano and H. Houghton, eds., Object-Oriented Specification case Studies. Prentice Hall (object-oriented series), 1994.
K. Lano and H. Houghton. The Z++ manual. October 1994. Available from ftp://theory.doc.ic.ac.uk/theory/papers/Lano/z++.ps.Z
A. Pierantonio. Making Statics Dynamic. In: G. Hommel, editor, Proc. International Workshop on Communication based Systems, Kluwer Academic Publishers, 1995, pp. 19–34.
J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, vol. 96, No 1 (April 1992), pp. 73–155.
R. Diaconescu and K. Futatsugi. CafeOBJ Report.World Scientific Publishing Co. Pte. Ltd, AMAST series in Computing”, vol. 6,1998.
J. Meseguer. A logical theory of concurrent objects and its realization in the Mode language. In: Research Directions in Concurrent Object-Oriented Programming. The MIT Press, Cambridge, Mass., 1993, pp. 314–390.
T. Hartmann, G. Saake, R. Jungclaus, P. Hartel, and J. Kush. Revised Version of the Modelling Language TROLL. Technishe Universitaet Braunschweig, Informatik-Berichte 94–03, 1994.
M. Gogolla and R. Herzig. An Algebraic Semantics for the Object Specification Language TROLL-light. In: Recent Trends in Data Type Specifications, LNCS, vol. 906, 1995, pp. 290–306.
A. Frick, G. Goos, R. Newmann, W. Zimmermann. Construction of Robust Class Hierarchies. Software-Practice and Experience, 2000 (to be published).
M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag, 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zamulin, A.V. (2000). Generic Facilities in Object-Oriented ASMs. In: Gurevich, Y., Kutter, P.W., Odersky, M., Thiele, L. (eds) Abstract State Machines - Theory and Applications. ASM 2000. Lecture Notes in Computer Science, vol 1912. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44518-8_7
Download citation
DOI: https://doi.org/10.1007/3-540-44518-8_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67959-2
Online ISBN: 978-3-540-44518-0
eBook Packages: Springer Book Archive