software architecture Software architecture is the fundamental structure of a software system and the discipline of creating such structures and systems. Each structure comprises software elements, relations among them, and properties of both elements and relations. ...

, Wright is an

architecture description language Architecture description languages (ADLs) are used in several disciplines: system engineering, software engineering, and enterprise modelling and engineering. The system engineering community uses an architecture description language as a langua ...

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 In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or ...

(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 David Garlan from the Carnegie Mellon University was named Fellow of the Institute of Electrical and Electronics Engineers The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) professional association for electronic en ...

References

External links

Wright website
at CMU {{soft-eng-stub Software architecture Formal specification languages Architecture description language