Towards a Toolkit for Actor System Specification
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 ,, 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.
KeywordsTemporal Logic Actor Theory Internal Actor Operational Semantic Computation Path
Unable to display preview. Download preview PDF.
- 1.G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, Mass., 1986.Google Scholar
- 2.H. G. Baker and C. Hewitt. Laws for communicating parallel processes. In IFIP Congress, pages 987–992. IFIP, Aug. 1977.Google Scholar
- 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: http://maude.csl.sri.com.
- 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.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.F. Durán. A Reflective Module Algebra with Applications to the Maude Language. PhD thesis, University of Malaga, 1999.Google Scholar
- 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.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
- 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.C. L. Talcott. Actor theories in rewriting logic, 1999. submitted for publication.Google Scholar