ADLs are formal languages that describe or represent software architectures.
ACME Architectural Description Language (ADL) - Acme is a simple, generic software Architecture Description Language (ADL) that can be used as a common interchange format for architecture design tools and/or as a foundation for developing new architectural design and analysis tools. This site provides an introduction to Acme along with a collection of useful Acme software and technical information.
Aesop Software Architecture Design Environment Generator - Aesop provides a generic toolkit and communication infrastructure that users can customize with architectural style descriptions and a set of tools that they would like to use for architectural analysis.
Architecture Based Languages and Environments (ABLE) Project - Carnegie Mellon University's ABLE project is concerned with exploring the formal basis for Software Architecture, developing the concept of Architectural Style, and building tools that practicing software architects might find useful. The tool development effort has focused on the Aesop system, a toolkit for rapidly producing software architecture design and analysis environments that are customized to support specific architectural styles. The formal work revolves around the Wright language.
Software Engineering Research Laboratory (SERL) - The Software Engineering Research Laboratory (SERL) in the Department of Computer Science at the University of Colorado at Boulder is pursuing the discovery of principles and the development of technologies to support the engineering of large, complex software systems. Two SERL projects include a formal architecture-based approach to software integration testing and Menage, using versioned software architecture to support configuration management and software deployment.
Structural Architecture Description Language (SADL) - The architectural description language SADL is intended for the definition of software architecture hierarchies that are to be analyzed formally. The SADL language can be used to specify both the structure and the semantics of an architecture.
The Stanford Rapide Project - The Rapide™ Language effort focuses on developing a new technology for
building large-scale, distributed multi-language systems. This technology is
based upon a new generation of computer languages, called Executable
Architecture Definition Languages (EADLs), and an innovative toolset
supporting the use of EADLs in evolutionary development and rigorous analysis
of large-scale systems.
UniCon - UniCon is an architectural description language whose focus is on supporting the variety of architectural parts and styles found in the real world and on constructing systems from their architecture descriptions.
Vitruvius Project - The goal of the Vitruvius project is to elucidate the architectural level of abstraction so that the collective experience of successful architects can be captured, organized, and made available to ordinary practitioners. The Vitruvius project has been working on an Architectural Description Language (ADL) called UniCon.