Abstract
OOram is a well-established object-oriented software methodology, but it lacks a precise computational model. In this paper we study the use of Actors — the actor model of computation — as a computational model for OOram. In particular, we study role model synthesis, introducing a new type of synthesis. This could lead to an understanding of OOram in general, and of role model synthesis in particular, that is both more powerful and more precise, making OOram more suitable for analysis and design of object-based distributed systems.
Chapter PDF
Similar content being viewed by others
References
Agha, G. (1986) Actors: a model of concurrent computation in distributed systems. MIT Press, Cambridge, MA.
Agha, G. et al. (1994) A foundation for actor computation. Submitted to Journal of Functional Programming (available by anonymous ftp at sail.stanford.edu: /pub/MT/94actors.ps.Z).
Andersen, E.P. and Reenskaug, T. (1992) System design by composing structures of interacting objects. In Proceedings of ECOOP’92 (Lecture Notes in Computer Science, 615 ), Springer, Berlin, 133–152.
Hewitt, C. (1977) Viewing control structures as patterns of passing messages. Artificial Intelligence, 8, 323–364.
ITU-T. (1992) Message sequence chart (MSC). (ITU-T Recommendation Z.120.) Geneva.
Jacobson, I., Christerson, M., Overgaard, G. (1992) Object-oriented software engineering. Addison-Wesley, Reading, MA.
Orava, F. and Parrow, J. (1992) An algebraic verification of a mobile network. Formal aspects of computing, 4, 497–543.
Reenskaug, T. et al. (1992) OORASS: Seamless support for the creation and maintenance of object oriented systems. Journal of object-oriented programming, 5 (6), 27–41.
Reenskaug, T., Wold, P., Lehne, O.A. (1995) Working with objects: the OOram software engineering method. Manning, Greenwich, CT.
Rumbaugh, J. et al. (1991) Object-oriented modeling and design. Prentice-Hall, Englewood Cliffs, NJ.
Vestli, H. (1994) Visual specification of actor configurations. In Proceedings of Visual Languages 84, IEEE Computer Society Press, Los Alamitos, CA, 110–117.
Vestli, H. (1996) Using Actors as a computational model for OOram. In the Participants proceedings of FMOODS’96.
Yonezawa, A. (ed.) (1990) ABCL. An object-oriented concurrent system. MIT Press, Cambridge, MA.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Vestli, H. (1997). Using Actors as a computational model for OOram. In: Najm, E., Stefani, JB. (eds) Formal Methods for Open Object-based Distributed Systems. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35082-0_12
Download citation
DOI: https://doi.org/10.1007/978-0-387-35082-0_12
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2875-9
Online ISBN: 978-0-387-35082-0
eBook Packages: Springer Book Archive