Formal methods for actor systems: A progress report

Research output: Chapter in Book/Report/Conference proceedingChapter

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 languageEnglish (US)
Title of host publicationIFIP Transactions C
Subtitle of host publicationCommunication Systems
EditorsMichel Diaz, Roland Groz
PublisherPubl by Elsevier Science Publishers B.V.
Pages217-228
Number of pages12
EditionC-10
ISBN (Print)0444892826
StatePublished - Dec 1 1993
EventProceedings 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 1992Oct 16 1992

Other

OtherProceedings of the IFIP TC6/WG6.1 5th International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols - FORTE'92
CityPerros-Guirec, Fr
Period10/13/9210/16/92

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Formal methods for actor systems: A progress report'. Together they form a unique fingerprint.

Cite this