Dynamic Assembly from Models DYNAMOReport as inadecuate

Dynamic Assembly from Models DYNAMO

Dynamic Assembly from Models DYNAMO - Download this document for free, or read online. Document in PDF available to download.

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

College of Computing Technical Reports -

Author: Rugaber, Spencer - Stirewalt, R. E. Kurt - -

Source: https://smartech.gatech.edu/

Related documents