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

Fingerprint

Formal methods
Object oriented programming
Large scale systems

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Agha, G. A. (1993). Formal methods for actor systems: A progress report. In M. Diaz, & R. Groz (Eds.), IFIP Transactions C: Communication Systems (C-10 ed., pp. 217-228). Publ by Elsevier Science Publishers B.V..

Formal methods for actor systems : A progress report. / Agha, Gul A.

IFIP Transactions C: Communication Systems. ed. / Michel Diaz; Roland Groz. C-10. ed. Publ by Elsevier Science Publishers B.V., 1993. p. 217-228.

Research output: Chapter in Book/Report/Conference proceedingChapter

Agha, GA 1993, Formal methods for actor systems: A progress report. in M Diaz & R Groz (eds), IFIP Transactions C: Communication Systems. C-10 edn, Publ by Elsevier Science Publishers B.V., pp. 217-228, 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, 10/13/92.
Agha GA. Formal methods for actor systems: A progress report. In Diaz M, Groz R, editors, IFIP Transactions C: Communication Systems. C-10 ed. Publ by Elsevier Science Publishers B.V. 1993. p. 217-228
Agha, Gul A. / Formal methods for actor systems : A progress report. IFIP Transactions C: Communication Systems. editor / Michel Diaz ; Roland Groz. C-10. ed. Publ by Elsevier Science Publishers B.V., 1993. pp. 217-228
@inbook{db03c7e81e3845f2bef1f4c1cd396d11,
title = "Formal methods for actor systems: A progress report",
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.",
author = "Agha, {Gul A}",
year = "1993",
month = "12",
day = "1",
language = "English (US)",
isbn = "0444892826",
pages = "217--228",
editor = "Michel Diaz and Roland Groz",
booktitle = "IFIP Transactions C",
publisher = "Publ by Elsevier Science Publishers B.V.",
edition = "C-10",

}

TY - CHAP

T1 - Formal methods for actor systems

T2 - A progress report

AU - Agha, Gul A

PY - 1993/12/1

Y1 - 1993/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0027757402&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0027757402&partnerID=8YFLogxK

M3 - Chapter

AN - SCOPUS:0027757402

SN - 0444892826

SP - 217

EP - 228

BT - IFIP Transactions C

A2 - Diaz, Michel

A2 - Groz, Roland

PB - Publ by Elsevier Science Publishers B.V.

ER -