Axiomatic Architecture Description Language

Axiomatic Architecture Description Language

(language, architecture, parallel)(AADL) A language allowingconcise modular specification of multiprocessorarchitectures from the compiler/operating-system interfacelevel down to chip level. AADL is rich enough to specifytarget architectures while providing a concise model forclocked microarchitectures.

["AADL: A Net-Based Specification Method for ComputerArchitecture Design", W. Damm et al in Languages for ParallelArchitectures, J.W. deBakker ed, Wiley, 1989].