WRIGHT

• WRIGHT provides a formal basis for architectural description (ADL = architectural description language)

• Language for precisely defining an architectural specification, as a basis for analyzing the architecture of individual software systems and families of systems

• Underlying model in CSP (communicating sequential process, Hoare), checkable using standard model checking technology

  • Defines a set of standard consistency and completeness checks

• More on WRIGHT

  • Allen and Garlan. A formal basis for architectural connection. ACM TOSEM 6, 3 (1997)

Previous slide

Next slide

Back to first slide

View graphic version