Abstract
This paper reviews the state of the art in building and reasoning about concurrent system using actors. We first provide a brief definition of actors and discuss the status of actor theory. We then describe a number of programming abstractions that are useful in developing and maintaining complex concurrent systems. Defining such abstractions requires a sort of system decomposition that is not supported by standard models of concurrency, including actors and nets. Rather a suitable meta-architecture is needed and its satisfactory formal definition remains elusive. We currently have only rudimentary semantics for the different programming abstractions that we have developed.
Preview
Unable to display preview. Download preview PDF.
References
G., Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, Mass., 1986.
G. Agha, I. A. Mason, S. F. Smith, and C. L. Talcott. A foundation for actor computation. Journal of Functional Programming, 1996. to appear.
Gul Agha. Concurrent Object-Oriented Programming. Communications of the ACM, 33(9):125–141, September 1990.
C. J. Callsen and G. A. Agha. Open Heterogeneous Computing in ActorSpace. Journal of Parallel and Distributed Computing, pages 289–300, 1994.
S. Frølund and G. Agha. A language framework for multi-object coordination. In Proceedings of ECOOP 1993, volume 707 of Lecture Notes in Computer Science. Springer Verlag, 1993.
S. Frølund and G. Agha. Abstracting interactions based on message sets. In Object-Based Models and Languages for Concurrent Systems, volume 924, pages 107–124. Springer-Verlag, 1996. Lecture Notes in Computer Science.
Svend Frølund. Coordinating Distributed Objects: An Actor-Based Approach to Synchronization. MIT Press, 1996.
W. Kim and G. Agha. Efficient Support of Location Transparency in Concurrent Object-Oriented Programming Languages. In Supercomputing '95. IEEE, 1995.
S. Miriyala, G. Agha, and Y. Sami. Vismalizing actor programs using predicatae transition nets. Journal of Visual Languages and Computation, 3(2):195–220, June 1992.
B. Nielsen and G. Agha. Semantics for an actor-based real-time language. In Fourth International Workshop on Parallel and Distributed Real-Time Systems, Honolulu, April 1996. (to be published).
S. Ren and G. Agha. Rtsynchronizers: Language support for real-time specifications in distributed systems. In Proceedings of ACM SIGPLAN 1995 Workshop on Languages, Compilers, and Tools for Real-time Systems, pages 55–64, 1995.
Y. Sami and Vidal-Naquet. Formalization of the behavior of actors by colored petri nets and some applications. In Conference on Parallel Architectures and Languages Euorpe, PARLE'91, 1991.
D. Sturman and G Agha. A protocol description language for customizing failure semantics. In The 13th Symposium on Reliable Distributed Systems, Dana Point, California. IEEE, October 1994.
N. Venkatasubramanian and C. L. Talcott. Reasoning about Meta Level Activities in Open Distributed Systems. In Principles of Distributed Computation, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Agha, G.A. (1996). Modeling concurrent systems: Actors, nets, and the problem of abstraction and composition. In: Billington, J., Reisig, W. (eds) Application and Theory of Petri Nets 1996. ICATPN 1996. Lecture Notes in Computer Science, vol 1091. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61363-3_1
Download citation
DOI: https://doi.org/10.1007/3-540-61363-3_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61363-3
Online ISBN: 978-3-540-68505-0
eBook Packages: Springer Book Archive