Towards a Toolkit for Actor System Specification

  • Carolyn L. Talcott
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1816)


This paper represents a first step towards developing a toolkit for modular reasoning about components of object-based open distributed systems. Our starting point is the actor theory framework [10],[11], a general semantic framework, based on the actor computation model, for specifying and reasoning about such systems. System components are modeled as actor theory configurations and an actor theory determines both an operational semantics and an abstract trace-like interaction semantics for its configurations. The “tools” presented here take the form of relations, operations, and transformations on actor theories that can be used to establish refinement and interaction equivalence relations between actor theory configurations. The use of these tools is illustrated by simple but representative examples.


Temporal Logic Actor Theory Internal Actor Operational Semantic Computation Path 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, Mass., 1986.Google Scholar
  2. 2.
    H. G. Baker and C. Hewitt. Laws for communicating parallel processes. In IFIP Congress, pages 987–992. IFIP, Aug. 1977.Google Scholar
  3. 3.
    M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, and J. Quesada. Maude: Specification and programming in rewriting logic, 1998. URL:
  4. 4.
    G. Denker and H.-D. Ehrich. Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic. In H. Bowman and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS’97), Volume 2, IFIP TC6 WG6.1 Intern. Workshop, 21–23 July, Canterbury, Kent, UK, pages 89–104. Chapman & Hall, 1997.Google Scholar
  5. 5.
    C. H. C. Duarte. Proof-theoretic Foundations for the Design of Extensible Software Systems. PhD thesis, Imperial College, University of London, 1999.Google Scholar
  6. 6.
    F. Durán. A Reflective Module Algebra with Applications to the Maude Language. PhD thesis, University of Malaga, 1999.Google Scholar
  7. 7.
    F. Duran and J. Meseguer. Structured theories and institutions. In Category Theory in Computer Science, Electronic Notes in Theoretical Computer Science. Elsevier, 1998.Google Scholar
  8. 8.
    M. Gaspari and G. Zavattaro. An algebra of actors. In P. Ciancariani, A. Fantechi, and R. Gorrieri, editors, Formal Methods for Open Object-based Distributed Systems, pages 3–18. Kluwer, 1999.Google Scholar
  9. 9.
    C. Hewitt. Viewing control structures as patterns of passing messages. Journal of Artificial Intelligence, 8(3):323–364, 1977.CrossRefGoogle Scholar
  10. 10.
    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 Systems, FMOODS’96, 1996. Proceedings published in 1997 by Chapman & Hall.Google Scholar
  11. 11.
    C. L. Talcott. Actor theories in rewriting logic, 1999. submitted for publication.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Carolyn L. Talcott
    • 1
  1. 1.Stanford University

Personalised recommendations