Dynamic Assembly from Models (DYNAMO)
Abstract
The DYNAMO project is concerned with assembling high-assurance systems from components,
and, specifically, with guaranteeing correct interaction of sets of large, heterogeneous
components. Several problems must be overcome to provide such guarantees: 1)
dealing with the sheer complexity of the individual components and their interoperation;
2) maintaining design integrity and information hiding in the individual components; 3)
providing the desired guarantees; and 4) not compromising efficiency while accomplishing
the other goals. DYNAMO addresses these problems with several techniques: 1) a layered,
implicit-invocation architecture limits complexity by reducing the quantity and
nature of allowed interactions; 2) a declarative specification mechanism abstracts away
low-level details such as event dispatch and handling and variable updates; and 3) compile-
time component wrapper generation removes expensive, inter-layer procedure calls.