Darwin (ADL)

From Wikipedia, the free encyclopedia
Jump to: navigation, search
This article has multiple issues. Please help improve it or discuss these issues on the talk page.
This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. (March 2009)
This article may be confusing or unclear to readers. Please help us clarify the article; suggestions may be found on the talk page. (January 2011)

Darwin is an Architecture Description Language (ADL). It can be used in a software engineering context to describe the organization of a piece of software in terms of components, their interfaces, and the bindings between components. In comparison to others ADLs, such as Wright, the language does not provide the notion of connectors as a first-class concept. The FSP language can be used to describe the behaviour modelling, and LTSA can be used for analysis. The idea is to include the FSP code in the Darwin code like this:

Its use of FSP language allow the verification of the temporal properties of the architecture.

It was developed at Imperial College London.

References [edit]

Stub icon This software engineering-related article is a stub. You can help Wikipedia by expanding it.
Retrieved from "http://en.wikipedia.org/w/index.php?title=Darwin_(ADL)&oldid=551235891"