Book ChapterDOI
Specifying Distributed Software Architectures
Jeff Magee,Naranker Dulay,Susan Eisenbach,Jeff Kramer +3 more
- pp 137-153
Reads0
Chats0
TLDR
The paper presents the Darwin notation for specifying this high-level organisation of computational elements and the interactions between those elements in distributed systems at the architectural level.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 interactread more
Citations
More filters
Journal ArticleDOI
A classification and comparison framework for software architecture description languages
TL;DR: A definition and a classification framework for architecture description languages are presented and the utility of the definition is demonstrated by using it to differentiate ADLs from other modeling notations, enabling us, in the process, to identify key properties ofADLs.
Journal ArticleDOI
A formal basis for architectural connection
Robert J. Allen,David Garlan +1 more
TL;DR: The key idea is to define architectural connectors as explicit semantic entities as a collection of protocols that characterize each of the participant roles in an interaction and how these roles interact.
Book
Real-time object-oriented modeling
TL;DR: ROOM formally constrains the implementation to its architectural specification, and is based on the ROOM mode ling language which combines the object paradigm with mode ling abstractions devised specifically for distributed real-time software.
Proceedings ArticleDOI
Rainbow: architecture-based self-adaptation with reusable infrastructure
TL;DR: The Rainbow framework uses software architectural models to dynamically monitor and adapt a running system and shows that the separation of a generic adaptation infrastructure from system-specific adaptation knowledge makes this reuse possible.
Journal ArticleDOI
A survey of autonomic computing—degrees, models, and applications
TL;DR: An introduction to the motivation and concepts of autonomic computing is provided and some research that has been seen as seminal in influencing a large proportion of early work is described, including the works that have provided significant contributions to an established reference model.
References
More filters
Journal ArticleDOI
Communicating sequential processes
TL;DR: It is suggested that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method.
Book
Communication and Concurrency
TL;DR: This chapter discusses Bisimulation and Observation Equivalence as a Modelling Communication, a Programming Language, and its application to Equational laws.
Book
The Z notation: a reference manual
TL;DR: Tutorial introduction background the Z language the mathematical tool-kit sequential systems syntax summary and how to use it to solve sequential systems problems.
Journal ArticleDOI
A calculus of mobile processes, II
TL;DR: The a-calculus is presented, a calculus of communicating systems in which one can naturally express processes which have changing structure, including the algebraic theory of strong bisimilarity and strong equivalence, including a new notion of equivalence indexed by distinctions.