Jump to content

Wright (ADL)

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Bender the Bot (talk | contribs) at 20:57, 29 August 2019 (HTTP → HTTPS for Carnegie Mellon CS, replaced: http://www.cs.cmu.edu/ → https://www.cs.cmu.edu/ (2)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In software architecture, Wright is an architecture description language developed at Carnegie Mellon University. Wright formalizes a software architecture in terms of concepts such as components, connectors, roles, and ports. The dynamic behavior of different ports of an individual component is described using the Communicating Sequential Processes (CSP) process algebra. The roles that different components interacting through a connector can take are also described using CSP. Due to the formal nature of the behavior descriptions, automatic checks of port/role compatibility, and overall system consistency can be performed.

Wright was principally developed by Robert Allen and David Garlan.

References

  • Allen, Robert J. (May 1997). A Formal Approach to Software Architecture (Ph.D. Thesis, CMU-CS-97-144 ed.). Carnegie Mellon University.