WRIGHT

• WRIGHT provides a formal basis for architectural description (it’s an ADL)

  • Language for precisely defining an architectural specification
  • Basis for analyzing the architecture of individual software systems and families of systems
  • Underlying model in CSP, checkable using standard model checking technology
    • Defines a set of standard consistency and completeness checks

Previous slide

Next slide

Back to first slide

View graphic version