Specifying Distributed Software Architectures

DMCA

Specifying Distributed Software Architectures (1995)

Cached

Download Links

Other Repositories/Bibliography

CiteULike
DBLP

by Jeff Magee , Naranker Dulay , Susan Eisenbach , Jeff Kramer

Citations:

425 - 24 self

BibTeX

@INPROCEEDINGS{Magee95specifyingdistributed,
    author = {Jeff Magee and Naranker Dulay and Susan Eisenbach and Jeff Kramer},
    title = {Specifying Distributed Software Architectures},
    booktitle = {},
    year = {1995},
    pages = {137--153},
    publisher = {Springer-Verlag}
}

OpenURL

Abstract

There is a real need for clear and sound design specifications of distributed systems at the architectural level. This is the level of the design which deals with the high-level organisation of computational elements and the interactions between those elements. The paper presents the Darwin notation for specifying this high-level organisation. Darwin 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 supports the specification of both static structures and dynamic structures which may evolve during execution. The central abstractions managed by Darwin are components and services. Services are the means by which components interact. In addition to its use in specifying the architecture of a distributed system, Darwin has an operational semantics for the elaboration of specifications such that they may be used at runtime to di...

Keyphrases

distributed software architecture high-level organisation distributed system dynamic structure architectural level central abstraction static structure interconnected component operational semantics component interact hierarchic composition real need declarative binding language darwin notation computational element sound design specification

DMCA