Source : Free On-Line Dictionary of Computing

Axiomatic Architecture Description Language
     
         (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)