System Structuring: A Convergence of Theory and Practice? (1995)
| Venue: | Theory and Practice in Distributed Systems, Proc. of the Dagstuhl Workshop, volume 938 of LNCS |
| Citations: | 5 - 4 self |
BibTeX
@INPROCEEDINGS{Magee95systemstructuring:,
author = {Jeff Magee and Susan Eisenbach and Jeff Kramer},
title = {System Structuring: A Convergence of Theory and Practice?},
booktitle = {Theory and Practice in Distributed Systems, Proc. of the Dagstuhl Workshop, volume 938 of LNCS},
year = {1995},
publisher = {Springer Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Darwin is a general purpose structuring tool of use in building complex distributed systems from diverse components and diverse component interaction mechanisms. It is in essence a declarative binding language which can be used to define hierarchic compositions of interconnected components. Distribution is dealt with orthogonally to system structuring. The language allows the specification of both static structures and dynamic structures which evolve during execution. The central abstractions managed by Darwin are components and services. Bindings are formed by manipulating references to services. The paper describes the operational semantics of Darwin in terms of the p-calculus, Milner's calculus of mobile processes. The correspondence between the treatment of names in the p-calculus and the management of service references in Darwin leads to an elegant and concise p-calculus model of Darwin's operational semantics. The model has proved useful in arguing the correctness of Darwin imp...
