Axiomatic Architecture Description Language

language, architecture, parallel (AADL) A language allowing

concise modular specification of multiprocessor

architectures from the compiler/operating-system interface

level down to chip level. AADL is rich enough to specify

target architectures while providing a concise model for

clocked microarchitectures.

["AADL: A Net-Based Specification Method for Computer

Architecture Design", W. Damm et al in Languages for Parallel

Architectures, J.W. deBakker ed, Wiley, 1989].

(2003-06-30)