Wright (ADL)

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.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.