Abstract
We show how a collection of object-oriented concepts can be directly expressed in predicative programming [6]. We demonstrate how these features can be used in cooperation with the existing real-time and concurrency features of predicative programming in several examples, thus providing a simple integration of object-orientation, real-time, and concurrency.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
M. Abadi and L. Cardelli. A Theory of Objects, Springer-Verlag, 1996.
A. Bunkenburg and J. Morris. Formal Bunch Theory. Draft.
R. Duke, G. Rose, and G. Smith. Object-Z: A Specification Language advocated for the description of standards. Computer Standards and Interfaces 17(5), 1995.
A. Hall.Specifying and Interpreting Class Hierarchies in Z.Proc. Eighth Z User Meeting, Workshops in Computing Series, Springer-Verlag, 1994.
E.C.R. Hehner. Bunch Theory: A Simple Set Theory for Computer Science. Information Processing Letters 12(1), 1981.
E.C.R. Hehner. A Practical Theory of Programming, Springer-Verlag, 1993.
K. Lano. Formal Object-Oriented Development, Springer-Verlag, 1995.
B. Mahony and J.S. Dong. Blending Object-Z and Timed CSP: an introduction to TCOZ. In Proc. ICSE’ 98, IEEE Press, 1998.
B. Meyer. Object-Oriented Software Construction, Second Edition, Prentice-Hall, 1997.
R.F. Paige. Heterogeneous Notations for Pure Formal Method Integration. Formal Aspects of Computing 10(3):233–242, June 1999.
R.F. Paige. Integrating a Program Design Calculus and UML. To appear in The Computer Journal, 1999.
A. Silberschatz and P. Galvin. Operating System Concepts 5e, Addison-Wesley, 1997.
G. Smith. A Semantic Integration of Object-Z and CSP. In Proc. FME’97, LNCS 1313, Springer-Verlag, 1997.
E.V. Sorenson, A.P. Ravn, and H. Rischel. Control Program for a gas burner, Technical Report ID/DTH EVS2, Computer Science Department, Technical University of Denmark, Lyngby, Denmark, 1989.
S. Stepney, R. Barden, and D. Cooper. Object-Orientation in Z, Springer-Verlag, 1992.
M. Utting. An Object-Oriented Refinement Calculus with Modular Reasoning. PhD Dissertation, University of New South Wales, October 1992.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Paige, R.F., Hehner, E.C.R. (1999). Bunches for Object-Oriented, Concurrent, and Real-Time Specification. In: Wing, J.M., Woodcock, J., Davies, J. (eds) FM’99 — Formal Methods. FM 1999. Lecture Notes in Computer Science, vol 1708. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48119-2_30
Download citation
DOI: https://doi.org/10.1007/3-540-48119-2_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66587-8
Online ISBN: 978-3-540-48119-5
eBook Packages: Springer Book Archive