The introduction to this article provides insufficient context for those unfamiliar with the subject matter. Please help Wikipedia by improving the introduction according to the guidelines laid out at Wikipedia:Guide to layout. 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: Architecture Description Languages (ADLs) are used to describe software architectures. ... In software architecture, Wright is an architecture description language developed at Carnegie Mellon University. ...
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. Imperial College London is a prestigious British academic institution focusing on science, engineering and medicine, complemented by a business school. ...