Darwin (ADL)

From Wikipedia, the free encyclopedia

The introduction to this article provides insufficient context for those unfamiliar with the subject matter.
Please help improve the introduction to meet Wikipedia's layout standards. You can discuss the issue on the talk page.

Darwin is a Computing Architecture Description Language (ADL). Comparing to others ADLs, such as Wright, the language doesn't provide the connector notion. You can use FSP language to describe the behaviour modelling and LTSA for Analysis. The idea is to include the FSP code in the Darwin Code like this:

 component SERVER {
   provide 
     service:Service // Service is a provided interface
   require
     wallet:Wallet // Wallet is a required interface
 /%
 FSP Code
 %/
 }

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

It was developed at Imperial College London.