Abstract
This paper describes actors and summarizes current research in building formal models of actor systems. The Actor model of concurrent computation unifies functional and object-oriented programming. Inheritance is a key aspect of object-oriented programming. We review key concepts used in object-oriented programming and describe how different models of inheritance have been integrated in a single framework. We then discuss reflection and show how it provides a powerful tool for constructing large-scale complex systems. In the concluding section, we argue that a reflective, concurrent object-oriented programming framework will not only radically simplify how systems are built but simplify the task of reasoning about such systems.
| Original language | English (US) |
|---|---|
| Title of host publication | IFIP Transactions C |
| Subtitle of host publication | Communication Systems |
| Editors | Michel Diaz, Roland Groz |
| Publisher | Publ by Elsevier Science Publishers B.V. |
| Pages | 217-228 |
| Number of pages | 12 |
| Edition | C-10 |
| ISBN (Print) | 0444892826 |
| State | Published - 1993 |
| Event | Proceedings of the IFIP TC6/WG6.1 5th International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols - FORTE'92 - Perros-Guirec, Fr Duration: Oct 13 1992 → Oct 16 1992 |
Other
| Other | Proceedings of the IFIP TC6/WG6.1 5th International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols - FORTE'92 |
|---|---|
| City | Perros-Guirec, Fr |
| Period | 10/13/92 → 10/16/92 |
ASJC Scopus subject areas
- General Engineering