27
IRUS Total
Downloads
  Altmetric

System structuring: a convergence of theory and practice?

File Description SizeFormat 
system-structure.pdfAccepted version184.71 kBAdobe PDFView/Open
Title: System structuring: a convergence of theory and practice?
Authors: Magee, J
Kramer, J
Eisenbach, S
Item Type: Conference Paper
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 pi-calculus, MilnerÆs calculus of mobile processes. The correspondence between the treatment of names in the pi-calculus and the management of service references in Darwin leads to an elegant and concise pi-calculus model of DarwinÆs operational semantics. The model has proved useful in arguing the correctness of Darwin implementations and in designing extensions to Darwin and reasoning about their behaviour. The paper discusses the reasons why other formalisms fail to capture elegantly the system structuring concepts on which Darwin is based.
Issue Date: 31-Dec-1995
URI: http://hdl.handle.net/10044/1/5787
Publisher Link: http://dblp.uni-trier.de/db/conf/dagstuhl/dagstuhl-ds94.html
Presented At: Dagstuhl International Workshop on Theory and Practice in Distributed Systems
Copyright Statement: © 1995 The Authors
Conference Location: Dagstuhl Castle, Germany
Appears in Collections:Distributed Software Engineering
Faculty of Engineering