DMCA
An Actor Algebra for Specifying Distributed Systems: the Hurried Philosophers Case Study (2000)
| Venue: | Concurrent Object-Oriented Programming and Petri Nets, Lecture Notes in Computer Science |
| Citations: | 8 - 3 self |
BibTeX
@INPROCEEDINGS{Gaspari00anactor,
author = {Mauro Gaspari and Gianluigi Zavattaro},
title = {An Actor Algebra for Specifying Distributed Systems: the Hurried Philosophers Case Study},
booktitle = {Concurrent Object-Oriented Programming and Petri Nets, Lecture Notes in Computer Science},
year = {2000},
pages = {428--444},
publisher = {Springer-Verlag}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
In this paper, we introduce an actor language following a "process algebra" notation. The idea is to define a formalism based on a standard process algebraic approach which provides basic object-oriented features, such as object identity, asynchronous message passing, implicit message acceptance and dynamic object creation. This approach allows us to reuse standard results of the theory of concurrency in a context where an high level object oriented specification style is preserved. To illustrate the expressive power of our formalism, we provide a specification of the Hurried Philosophers case study.
Keyphrases
hurried philosopher case study specifying distributed system actor algebra basic object-oriented feature asynchronous message passing implicit message acceptance process algebra notation dynamic object creation standard result specification style standard process object identity actor language expressive power high level object
