Email:
Password: [?] 
  Register with the DACS
Site Search: Advanced Search
Search: Bibliographic Database(SEBD)     Lifecycle Database(SLED)    DoD Acronyms 
DACS Home DACS Services Publications Training About Us DACS Store Suggest A Link
Rate this page's content:
  poor
excellent


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 Institute (SEI) Architecture Description Languages (ADL) - Companies and academic researchers are working on producing Architecture Description Languages (ADLs).
    This SEI resource provides access to numerous ADL sites.

  • 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.

Suggest Supporting Web Sites
Related pages:
sidebar
sidebar
sidebar

s

s

s

s


SISOS cover
DACS Latest Technical Report


TEMS Logo
Visit the DTIC TEMS Initiative

   DACS Gold Practice Initiative ROI Dashboard
 
Acquisition Process Improvement
Architecture-First Approach
Assess Reuse Risks and Costs
Binary Quality Gates at the Inch-Pebble Level
Capture artifacts in rigorous, model-based notation
Commercial Specifications and Standards/Open Systems
Defect Tracking Against Quality Targets
Develop and Maintain a Life-cycle Business Case
Ensure Interoperability
Formal Inspections
Formal Risk Management
Goal-Question-Metric Approach
Integrated Product and Process Development
Manage Requirements
Metrics-based Scheduling
Model Based Testing
Plan for Technology Insertion
Requirements Trade-Off/Negotiation
Statistical Process Control
Track Earned Value
  Access benefit data from software technical and management improvements including SEI CMMI, PSP/TSP, Cleanroom, Inspections, and Agile Development.

View the ROI Dashboard
Copyright © 2010, ITT Corporation    Privacy Policy
webmaster@thedacs.com
775 Daedalian Drive Rome, NY 13441
(800) 214-7921 Fax: 315-838-7130
This site is best viewed in Firefox 1.0+ or IE 6.0+
XHTML