×

zbMATH — the first resource for mathematics

Towards a toolkit for actor system specification. (English) Zbl 0983.68134
Rus, Teodor (ed.), Algebraic methodology and software technology. 8th international conference, AMAST 2000, Iowa City, IA, USA, May 20-27, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1816, 391-406 (2000).
Summary: 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 tracelike 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.
For the entire collection see [Zbl 0939.00039].

MSC:
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q55 Semantics in the theory of computing
Software:
Maude
PDF BibTeX XML Cite