Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
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.
H. G. Baker and C. Hewitt. Laws for communicating parallel processes. In IFIP Congress, pages 987–992. IFIP, Aug. 1977.
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: http://maude.csl.sri.com.
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.
C. H. C. Duarte. Proof-theoretic Foundations for the Design of Extensible Software Systems. PhD thesis, Imperial College, University of London, 1999.
F. Durán. A Reflective Module Algebra with Applications to the Maude Language. PhD thesis, University of Malaga, 1999.
F. Duran and J. Meseguer. Structured theories and institutions. In Category Theory in Computer Science, Electronic Notes in Theoretical Computer Science. Elsevier, 1998.
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.
C. Hewitt. Viewing control structures as patterns of passing messages. Journal of Artificial Intelligence, 8(3):323–364, 1977.
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.
C. L. Talcott. Actor theories in rewriting logic, 1999. submitted for publication.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Talcott, C.L. (2000). Towards a Toolkit for Actor System Specification. In: Rus, T. (eds) Algebraic Methodology and Software Technology. AMAST 2000. Lecture Notes in Computer Science, vol 1816. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45499-3_28
Download citation
DOI: https://doi.org/10.1007/3-540-45499-3_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67530-3
Online ISBN: 978-3-540-45499-1
eBook Packages: Springer Book Archive