Abstract
We define three semantic models for actor computation starting with a generalization to open systems of Clinger's event diagram model, and forming two abstractions: interaction diagrams and interaction paths. An algebra is defined on each semantic domain with operations for parallel composition, hiding of internal actors, and renaming. We use these models to provide semantics for descriptions of actor components based on actor theories and show that the semantics is a component algebra homomorphism.
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. Concurrent object-oriented programming. Communications of the ACM, 33(9):125–141, September 1990.
G. Agha. Abstracting interaction patterns: A programming paradigm for open distribute systems. In E. Najm and J-B. Stefani, editors, Formal Methods for Open Object-based Distributed Systems, pages 135–153. Chapmn & Hall, 1997.
G. Agha, I. A. Mason, S. F. Smith, and C. L. Talcott. A foundation for actor computation. Journal of Functional Programming, 7:1–72, 1997.
Henry G. Baker and Carl Hewitt. Laws for communicating parallel processes. In IFIP Congress, pages 987–992. IFIP, August 1977.
W. D. Clinger. Foundations of Actor Semantics. PhD thesis, MIT, 1981. MIT Artificial Intelligence Laboratory AI-TR-633.
I. Greif. Semantics of communicating parallel processes. Technical Report 154, MIT, Project MAC, 1975.
C. Hewitt. Viewing control structures as patterns of passing messages. Journal of Artificial Intelligence, 8(3):323–364, 1977.
I. A. Mason and C. L. Talcott. A semantically sound actor translation. In ICALP'97, 1997. to appear.
C. L. Talcott. An actor rewriting theory. In Workshop on Rewriting Logic, number 4 in Electronic Notes in Theoretical Computer Science, 1996.
C. L. Talcott.Interaction semantics for components of distributed systems. In E. Najm and J-B. Stefani, editors, 1st IFIP Workshop on Formal Methods for Open Object-based Distributed Svstems, FMOODS'96, 1996. proceedings published in 1997 by Chapman & Hall.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Talcott, C.L. (1997). Composable semantic models for actor theories. In: Abadi, M., Ito, T. (eds) Theoretical Aspects of Computer Software. TACS 1997. Lecture Notes in Computer Science, vol 1281. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014558
Download citation
DOI: https://doi.org/10.1007/BFb0014558
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63388-4
Online ISBN: 978-3-540-69530-1
eBook Packages: Springer Book Archive