Axiomatic Architecture Description Language
AADL

    (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)